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
- 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 +
