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 Proposal for Describing Services with DLs +
- A Suggestion for an n-ary Description Logic +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- A tableau algorithm for reasoning about concepts and similarity +
- Adding Numbers to the SHIQ Description Logic—First Results +
- Combining Interval-based Temporal Reasoning with General TBoxes +
- Complexity and Succinctness of Public Announcement Logic +
- Complexity and Succinctness of Public Announcement Logic +
- Complexity of Terminological Reasoning Revisited +
- Conservative Extensions in Expressive Description Logics +
- Conservative Extensions in the Lightweight Description Logic EL +
- Description Logics and the Two-Variable Fragment +
- Description Logics with Concrete Domains and Functional Dependencies +
- Description Logics with Concrete Domains and Functional Dependencies +
- Description Logics with Concrete Domains—A Survey +
- Description Logics with Concrete Domains—A Survey +
- Finite Model reasoning in ALCQI is ExpTime-complete +
- Interval-based Temporal Reasoning with General TBoxes +
- Interval-based Temporal Reasoning with General TBoxes +
- Inverse Roles Make Conjunctive Queries Hard +
- Keys, Nominals, and Concrete Domains +
- Keys, Nominals, and Concrete Domains +
- Keys, Nominals, and Concrete Domains +
- LATPub226 +
- Mary likes all Cats +
- Modal Logic and the two-variable fragment +
- Modal Logics and the two-variable fragment +
- Modal Logics of Topological Relations +
- Modal Logics of Topological Relations +
- Modal Logics of Topological Relations +
- NExpTime-Complete Description Logics with Concrete Domains +
- NExpTime-complete Description Logics with Concrete Domains +
- NExpTime-complete Description Logics with Concrete Domains +
- NExpTime-complete Description Logics with Concrete Domains +
- On the Complexity of Terminological Reasoning +
- PDL with Intersection and Converse is Decidable +
- PDL with Intersection and Converse is Decidable +
- PDL with Negation of Atomic Programs +
- PDL with Negation of Atomic Programs +
- PDL with Negation of Atomic Programs +
- PSpace Reasoning with the Description Logic ALCF(D) +
- Quantitative Temporal Logics: PSpace and below +
- Quantitative Temporal Logics: PSpace and below +
- Quantitative Temporal Logics: PSpace and below +
