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
- A Simplified Tableau Calculus for Standpoint LTL +
- Navigation Approaches for Answer Sets +
- On the Computation of Naive-based Argumentation Semantics +
- From Logic Programs to Iterated Function Systems +
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband +
- Big Data in SAT Solving - Heuristiken von Beweisen lernen +
- Decidability of Reasoning under the Well-Founded Semantics +
- Proof by Pointing and Selecting +
- First-Order Rule Learning Through a Pulsed Neural Network +
- Grounded Circumscription in Description Logics +
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning +
- 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 +
- Reasoning with Text Annotations +
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation +
- A Constructive Connectionist Approach Towards Continual Robot Learning +
- Inkrementelle Fuzzy-Entscheidungsbäume +
- A Layered Architecture for Robot Control Using the Fluent Calculus +
- Ill-Founded Linear Nested Sequents for LTL +
- Planning problems in Petri Nets and Fluent Calculus +
- Ein massiv paralleles Berechnungsmodell für normale logische Programme +
- Intelligent Shift Scheduling +
- Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit +
- Analyse und Implementierung der scf2 Argumentation Semantik +
- Morphisms in Logic, Topology, and Formal Concept Analysis +
- Aktionen, Bedingungen und Ressourcen +
- Lösen des Stundenplanproblems mit SAT +
- Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern +
- Improving SAT Solvers Using State-of-the-Art Techniques +
- Increasing the Robustness of SAT Solving with Machine Learning Techniques +
- Combining Belief Revision and Abstract Dialectical Frameworks +
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks +
- Application of a Monocular Camera as a Motion Sensor for Mobile Robots +
- Logic Programs and Three-Valued Consequence Operators +
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator +
- θ-subsumption algorithms +
- Towards a Categorical Semantics for the Open Calculus of Constructions +
- Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation +
- Predicting the Performance of Wireless Communication Networks +
- Reaching Definability via Abduction +
- Towards Automated Symbolic Dynamic Programming +
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben +
- The Design of Modal Proof Theories: the case of S5 +
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata +
- Bedingte und rekursive Aktionen im Fluent-Kalkül +
- Iterative Ontology Update with Minimum Change +
- Justifications under the Fixed-Domain Semantics +
- Hybrid Logic in the Calculus Structures +
