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