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 +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Local System for Classical Logic +
- A Local System for Linear Logic +
- 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 Computational Logic Approach to Reason with Conditionals +
- A New n-ary Existential Quantifier in Description Logics +
- A Non-commutative Extension of MELL +
- A Purely Logical Account of Sequentiality in Proof Search +
- A Theory of Hypothesis Finding in Clausal Logic +
- A Translation of Looping Alternating Automata to Description Logics +
- A cartesian closed category of approximable concept structures +
- A formal assessment result for fluent calculus using the action description language A_k +
- Acquiring Generalized Domain-Range Restrictions +
- Advances in Artificial Intelligence +
- An Abstract Machine for Reasoning about Situations, Actions, and Causality +
- An Approach to Exploring Description Logic Knowledge Bases +
- Applying Formal Concept Analysis to Description Logics +
- Automata-Based Axiom Pinpointing +
- BDD-Based Decision Procedures for K +
- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis +
- CEL—A Polynomial-time Reasoner for Life Science Ontologies +
- Combination of Constraint Solving Techniques: An Algebraic Point of View +
- Complexity of Planning in Action Formalisms Based on Description Logics +
- Complexity of Terminological Reasoning Revisited +
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR +
- Computing extensions of terminological default theories +
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics +
- Connecting Many-Sorted Structures and Theories through Adjoint Functions +
- Connecting Many-Sorted Theories +
- Conservative Extensions in the Lightweight Description Logic EL +
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks +
- Data Complexity in the EL family of Description Logics +
- Decidable Description Logics of Context with Rigid Roles +
- Default reasoning over domains and concept hierarchies +
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets +
- Description Logics as Ontology Languages for the Semantic Web +
- Error-Tolerant Reasoning in the Description Logic EL +
- Exploring Finite Models in the Description Logic ELgfp +
- Hardness of Enumerating Pseudo-Intents in the Lectic Order +
- How Fuzzy is my Fuzzy Description Logic? +
- How to decide Query Containment under Constraints using a Description Logic +
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment +
- Incremental Fuzzy Decision Trees +
- KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) +
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement +
