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
- Atomic Cut Elimination for Classical Logic + (WV-02-11)
- Contexts, Concepts, and Logic of Domains + (WV-02-12)
- Circular Belief in Logic Programming Semantics + (WV-02-13)
- A uniform approach to logic programming semantics + (WV-02-14)
- Consistency Without Cut Elimination + (WV-02-16 (updated April 2003))
- A robot control system integrating reactive control, reasoning, and execution monitoring + (WV-03-02)
- A Visual-Sensor Model for Mobile Robot Localisation + (WV-03-03)
- Locality for Classical Logic + (WV-03-04)
- The Undecidability of System NEL + (WV-03-05)
- Intelligent execution monitoring in dynamic environments + (WV-03-06)
- A semi-supervised method for learning the structure of robot-environment interaction + (WV-03-07)
- A Systematic Proof Theory for Several Modal Logics + (WV-03-08)
- A Finitary System for First Order Logic + (WV-03-09)
- On Structuring Proof Search for First Order Linear Logic + (WV-03-10)
- Reducing Nondeterminism in the Calculus of Structures + (WV-06-01)
- The Fuzzy Linguistic Description Logic ALC_FL + (WV-06-02)
- Neural-Symbolic Integration – Constructive Approaches + (WV-06-03)
- Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems + (WV-08-01)
- Logics and Networks for Human Reasoning + (WV-09-01)
- Logic Programs under Three-Valued Lukasiewicz Semantics + (WV-09-02)
- Situations, Actions, and Causality in the Fluent Calculus + (WV-1997-01)
- A framework for connection calculi + (WV-1997-09)
- Anschlus̈bericht über das Verbundvorhaben FABEL + (WV-1997-10)
- The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus + (WV-1999-02)
- Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract) + (WV-1999-03)
- A Calculus of Order and Interaction + (WV-1999-04)
- Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams + (WV-1999-05)
- Rule Extraction from Trained ANN: A Survey + (WV-2000-03)
- Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze + (WV-96-07)
- Constraint Equational Logic Programming and Resource-Based Partial Order Planning + (WV-96-08)
- Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz + (WV-96-09)
- An Adequate Connectionist System for Reflexive Reasoning + (WV-98-12)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation System + (abs/1108.4942)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (arXiv:2311.07233)
- Winning Snake: Design Choices in Multi-Shot ASP + (arXiv:2408.08150)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + ({RR}-90-01)
- A Formal Definition for Expressive Power of Knowledge Representation Languages + ({RR}-90-05)
- Concept Logic + ({RR}-90-10)
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles + ({RR}-90-13)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + ({RR}-90-16)
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations + ({RR}-91-01)
- Qualifying Number Restrictions in Concept Languages + ({RR}-91-03)
- A Scheme for Integrating Concrete Domains into Concept Languages + ({RR}-91-10)
- Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures + ({RR}-91-33)
- Unification Theory + ({RR}-92-33)
- Extensions of Concept Languages for a Mechanical Engineering Application + ({RR}-92-36)
- How to Prefer More Specific Defaults in Terminological Default Logic + ({RR}-92-58)
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on + ({RR}-93-03)
- Combination Techniques and Decision Problems for Disunification + ({RR}-93-05)
- A Semantics for Open Normal Defaults via a Modified Preferential Approach + ({RR}-93-13)
- Embedding Defaults into Terminological Representation Systems + ({RR}-93-20)