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
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Local System for Classical Logic +
- A Local System for Linear Logic +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A New Computational Logic Approach to Reason with Conditionals +
- A New n-ary Existential Quantifier in Description Logics +
- A Non-commutative Extension of MELL +
- A Purely Logical Account of Sequentiality in Proof Search +
- A Theory of Hypothesis Finding in Clausal Logic +
- A Translation of Looping Alternating Automata to Description Logics +
- A cartesian closed category of approximable concept structures +
- A formal assessment result for fluent calculus using the action description language A_k +
- Acquiring Generalized Domain-Range Restrictions +
- Advances in Artificial Intelligence +
- An Abstract Machine for Reasoning about Situations, Actions, and Causality +
- An Approach to Exploring Description Logic Knowledge Bases +
- Applying Formal Concept Analysis to Description Logics +
- Automata-Based Axiom Pinpointing +
- BDD-Based Decision Procedures for K +
- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis +
- CEL—A Polynomial-time Reasoner for Life Science Ontologies +
- Combination of Constraint Solving Techniques: An Algebraic Point of View +
- Complexity of Planning in Action Formalisms Based on Description Logics +
- Complexity of Terminological Reasoning Revisited +
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR +
- Computing extensions of terminological default theories +
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics +
- Connecting Many-Sorted Structures and Theories through Adjoint Functions +
- Connecting Many-Sorted Theories +
- Conservative Extensions in the Lightweight Description Logic EL +
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks +
- Data Complexity in the EL family of Description Logics +
- Decidable Description Logics of Context with Rigid Roles +
- Default reasoning over domains and concept hierarchies +
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets +
- Description Logics as Ontology Languages for the Semantic Web +
- Error-Tolerant Reasoning in the Description Logic EL +
- Exploring Finite Models in the Description Logic ELgfp +
- Hardness of Enumerating Pseudo-Intents in the Lectic Order +
- How Fuzzy is my Fuzzy Description Logic? +
- How to decide Query Containment under Constraints using a Description Logic +
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment +
- Incremental Fuzzy Decision Trees +
- KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) +
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement +
