Search by property

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)