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 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- 6th Workshop on Unification +
- A Description Logic Based Approach to Reasoning about Web Services +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Formal Definition for Expressive Power of Knowledge Representation Languages +
- A Formal Definition for Expressive Power of Knowledge Representation Languages +
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- 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 New n-ary Existential Quantifier in Description Logics +
- A New n-ary Existential Quantifier in Description Logics +
- A Note on Unification Type Zero +
- A Novel Architecture for Situation Awareness Systems +
- A Scheme for Integrating Concrete Domains into Concept Languages +
- A Scheme for Integrating Concrete Domains into Concept Languages +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Terminological Knowledge Representation System with Complete Inference Algorithms +
- A finite basis for the set of EL-implications holding in a finite model +
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics +
- Adding Causal Relationships to DL-based Action Formalisms +
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification +
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification +
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems +
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on +
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on +
- An Overview of Tableau Algorithms for Description Logics +
- Applying Formal Concept Analysis to Description Logics +
- Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable? +
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles +
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles +
- Automata Can Show PSPACE Results for Description Logics +
- Automata-Based Axiom Pinpointing +
- Automata-based Axiom Pinpointing +
- Axiom Pinpointing in General Tableaux +
- Axiom Pinpointing in General Tableaux +
- Axiom Pinpointing in General Tableaux +
