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
- 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 New n-ary Existential Quantifier in Description Logics +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A nice Cycle Rule for Goal-Directed E-Unification +
- An Approach for Optimizing ALE-Approximation of ALC-Concepts +
- Axiom Pinpointing in General Tableaux +
- Blocking and Pinpointing in Forest Tableaux +
- Complementation and Inclusion of Weighted Automata on Infinite Trees +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Completness of E-unification with eager Variable Elimination +
- Complexity and Succinctness of Public Announcement Logic +
- Computing Boundaries for Reasoning in Sub-Ontologies +
- Connecting Many-Sorted Theories +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Description Logic Actions with general TBoxes: a Pragmatic Approach +
- Description Logics with Concrete Domains and Functional Dependencies +
- Expressive Non-Monotonic Description Logics Based on Circumscription +
- Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
- Integrate Action Formalisms into Linear Temporal Description Logics +
- Integrating Description Logics and Action Formalisms for Reasoning about Web Services +
- Keys, Nominals, and Concrete Domains +
- LATPub702 +
- LATPub703 +
- LTL over Description Logic Axioms +
- Least Common Subsumers, Most Specific Concepts, and Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles +
- Modal Logics of Topological Relations +
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies +
- On Language Equations with One-sided Concatenation +
- On the Complexity of Axiom Pinpointing in Description Logics +
- PDL with Intersection and Converse is Decidable +
- PDL with Negation of Atomic Programs +
- PSPACE Automata with Blocking for Description Logics +
- Pinpointing in Tableaus +
- Pinpointing in Terminating Forest Tableaux +
- Pushing the EL Envelope +
- Putting ABox Updates into Action +
- Quantitative Temporal Logics: PSpace and below +
- Reasoning in ELH w.r.t. General Concept Inclusion Axioms +
- Some Computational Problems Related to Pseudo-intents +
- Subsumption and Instance Problem in ELH w.r.t. General TBoxes +
- Terminological Cycles in a Description Logic with Existential Restrictions +
- The Complexity of Finite Model Reasoning in Description Logics +
- The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics +
- Updating Description Logic ABoxes +
