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
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- A Finitary System for First Order Logic +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A Normalization Algorithm for Automated First-Order Value Iteration +
- A Resolution Theorem for Algebraic Domains +
- A Systematic Proof Theory for Several Modal Logics +
- A Translation of Looping Alternating Automata to Description Logics +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Visual-Sensor Model for Mobile Robot Localisation +
- A formal assessment result for fluent calculus using the action description language A_k +
- A generalized resolution theorem +
- A purely logical account of sequentiality in proof search – extended abstract +
- A robot control system integrating reactive control, reasoning, and execution monitoring +
- A semi-supervised method for learning the structure of robot-environment interaction +
- A tableau algorithm for reasoning about concepts and similarity +
- An FCA Method for the Extensional Exploration of Relational Data +
- Atomic Cut Elimination for Classical Logic +
- Ausgezeichnete Informatikdissertationen 2002 +
- Basic Description Logics +
- Characterizing logic programming semantics with level mappings +
- Comparative Branching-Time Semantics +
- Completness of E-unification with eager Variable Elimination +
- Computing least common subsumers for FLE^+ +
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics +
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks +
- Convergence Classes and Spaces of Partial Functions +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Deep Inference and Symmetry in Classical Proofs +
- Default reasoning over domains and concept hierarchies +
- Description Logic Terminology +
- Description Logics for Ontologies +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Concrete Domains—A Survey +
- E-connections of Description Logics +
- Enumerating Satisfiable Propositional Formulae +
- Extensions of Non-standard Inferences to Description Logics with transitive Roles +
- Extensions to Description Logics +
- Finite Model reasoning in ALCQI is ExpTime-complete +
- Formal Concept Analysis and Resolution in Algebraic Domains +
- Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
- From Tableaux to Automata for Description Logics +
- From Tableaux to Automata for Description Logics +
- Generalized Metrics and Uniquely Determined Logic Programs +
- ILP Operators for Propositional Connectionist Networks +
- Implementing Matching in ALE—First Results +
- Intelligent execution monitoring in dynamic environments +
- Keys, Nominals, and Concrete Domains +
- Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +
- Linear Logic and Noncommutativity in the Calculus of Structures +
