Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Navigation Approaches for Answer Sets +
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik +
- On the Computation of Naive-based Argumentation Semantics +
- EnTS - a new Entropy-based Tree-indexing System +
- From Logic Programs to Iterated Function Systems +
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze +
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband +
- Real-Time Structure from Motion Using Kalman Filtering +
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping +
- Decidability of Reasoning under the Well-Founded Semantics +
- Proof by Pointing and Selecting +
- Monadic Reasoning with Weak Completion Semantics +
- Monadic Reasoning with Weak Completion Semantics +
- First-Order Rule Learning Through a Pulsed Neural Network +
- Grounded Circumscription in Description Logics +
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning +
- Combining A1 and AC1 Unification +
- Properties of a Logical System in the Calculus of Structures +
- A Camera Sensor Model for Sensor Fusion +
- An Integrative Approach to Object Recognition in VSLAM +
- Backdoors for SAT +
- Chase-Based Computation of Cores for Existential Rules +
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules +
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +
- Reasoning with Text Annotations +
- Solving Angry Birds with Reinforcement Learning +
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation +
- Genetische Algorithmen und SAT-Probleme +
- A Constructive Connectionist Approach Towards Continual Robot Learning +
- Polynomial Reduction from PESP to SAT +
- Inkrementelle Fuzzy-Entscheidungsbäume +
- A Layered Architecture for Robot Control Using the Fluent Calculus +
- Using (Deep) Reinforcement Learning To Play Angry Birds +
- Menschliches räumliches Schließen und Ansätze aus der Computational Logic +
- Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten +
- Planning problems in Petri Nets and Fluent Calculus +
- Ein massiv paralleles Berechnungsmodell für normale logische Programme +
- Scheduling Complex Oral Exams in Answer Set Programming +
- Analyse und Implementierung der scf2 Argumentation Semantik +
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Morphisms in Logic, Topology, and Formal Concept Analysis +
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks +
- Solving Angry Birds with Reinforcement Learning +
- Aktionen, Bedingungen und Ressourcen +
- Concept Learning in Description Logics +
- Extracting Logic Programs from Artificial Neural Networks +
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme +
- Memory Hierarchy Utilization of a SAT Solver +
- Improving SAT Solvers Using State-of-the-Art Techniques +
