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 +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- A Correspondence between Temporal Description Logics +
- A Generator for Description Logic Formulas +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs +
- A Tableau System for the Description Logic SHIO +
- A Translation of Looping Alternating Automata to Description Logics +
- A tableau algorithm for reasoning about concepts and similarity +
- Applying Formal Concept Analysis to Description Logics +
- Approximating ALCN-Concept Descriptions +
- Basic Description Logics +
- Combining Decision Procedures for Positive Theories Sharing Constructors +
- Combining Interval-based Temporal Reasoning with General TBoxes +
- Computing least common subsumers for FLE^+ +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics +
- Concrete Domains and Nominals United. +
- Connecting Many-Sorted Structures and Theories through Adjoint Functions +
- Connecting Many-Sorted Theories +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Deciding the Word Problem in the Union of Equational Theories +
- Description Logic Terminology +
- Description Logics +
- Description Logics for Ontologies +
- Description Logics for the Semantic Web +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Concrete Domains and Functional Dependencies +
- Description Logics with Concrete Domains—A Survey +
- E-Connections of Abstract Description Systems +
- 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 +
- From Tableaux to Automata for Description Logics +
- From Tableaux to Automata for Description Logics +
- Fusions of Description Logics and Abstract Description Systems +
- Implementing Matching in ALN +
- Implementing Matching in ALE—First Results +
- Keys, Nominals, and Concrete Domains +
- Keys, Nominals, and Concrete Domains +
- Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +
- Line Drawing, Leap Years, and Euclid +
- Modal Logics of Topological Relations +
- Mona as a DL Reasoner +
- NExpTime-complete Description Logics with Concrete Domains +
