Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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 +
