Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
