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
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- A Calculus of Order and Interaction +
- A Calculus of Order and Interaction +
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Suppression Task +
- A Database Approach for Modeling and Querying Video Data +
- A Description Logic Primer +
- A Description Logic for Vague Knowledge +
- A Description Logic with Transitive and Converse Roles and Role Hierarchies +
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
- A Finitary System for First Order Logic +
- A Formal Definition for Expressive Power of Knowledge Representation Languages +
- A General Form of Attribute Exploration +
- 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 More Efficient Parallel Unit Propagation +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 +
- 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 n-ary Existential Quantifier in Description Logics +
- A Normalization Algorithm for Automated First-Order Value Iteration +
- A Note on Relative Observability in Coordination Control +
- A Note on Undecidability of Observation Consistency for Non-Regular Languages +
- A PSpace-algorithm for ALCQI-satisfiability +
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability +
- A Scheme for Integrating Concrete Domains into Concept Languages +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A System of Interaction and Structure +
- A Systematic Proof Theory for Several Modal Logics +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version +
- A Visual-Sensor Model for Mobile Robot Localisation +
- A finite basis for the set of EL-implications holding in a finite model +
- A framework for connection calculi +
- A generalized resolution theorem +
- A nice Cycle Rule for Goal-Directed E-Unification +
- A robot control system integrating reactive control, reasoning, and execution monitoring +
- A rule based data manipulation language for OLAP systems +
- A semi-supervised method for learning the structure of robot-environment interaction +
- A uniform approach to logic programming semantics +
- A1-Unification +
- Abduction in Human Reasoning +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Adding Causal Relationships to DL-based Action Formalisms +
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification +
- Adding Numbers to the SHIQ Description Logic—First Results +
