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 Finitary System for First Order Logic +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A Normalization Algorithm for Automated First-Order Value Iteration +
- A Resolution Theorem for Algebraic Domains +
- A Systematic Proof Theory for Several Modal Logics +
- A Translation of Looping Alternating Automata to Description Logics +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Visual-Sensor Model for Mobile Robot Localisation +
- A formal assessment result for fluent calculus using the action description language A_k +
- A generalized resolution theorem +
- A purely logical account of sequentiality in proof search – extended abstract +
- A robot control system integrating reactive control, reasoning, and execution monitoring +
- A semi-supervised method for learning the structure of robot-environment interaction +
- A tableau algorithm for reasoning about concepts and similarity +
- An FCA Method for the Extensional Exploration of Relational Data +
- Atomic Cut Elimination for Classical Logic +
- Ausgezeichnete Informatikdissertationen 2002 +
- Basic Description Logics +
- Characterizing logic programming semantics with level mappings +
- Comparative Branching-Time Semantics +
- Completness of E-unification with eager Variable Elimination +
- Computing least common subsumers for FLE^+ +
- Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics +
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks +
- Convergence Classes and Spaces of Partial Functions +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Deep Inference and Symmetry in Classical Proofs +
- Default reasoning over domains and concept hierarchies +
- Description Logic Terminology +
- Description Logics for Ontologies +
- Description Logics with Aggregates and Concrete Domains +
- Description Logics with Concrete Domains—A Survey +
- 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 +
- Formal Concept Analysis and Resolution in Algebraic Domains +
- Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies +
- From Tableaux to Automata for Description Logics +
- From Tableaux to Automata for Description Logics +
- Generalized Metrics and Uniquely Determined Logic Programs +
- ILP Operators for Propositional Connectionist Networks +
- Implementing Matching in ALE—First Results +
- Intelligent execution monitoring in dynamic environments +
- Keys, Nominals, and Concrete Domains +
- Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles +
- Linear Logic and Noncommutativity in the Calculus of Structures +
