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 Tableau Calculus for Temporal Description Logic: The Constant Domain Case + (LuFG Theoretical Computer Science, RWTH Aachen)
- Optimised Reasoning for SHIQ + (LuFG Theoretical Computer Science, RWTH Aachen)
- Approximation and Difference in Description Logics + (LuFG Theoretical Computer Science, RWTH Aachen)
- The Inverse Method Implements the Automata Approach for Modal Satisfiability + (LuFG Theoretical Computer Science, RWTH Aachen)
- Unification in a Description Logic with Transitive Closure of Roles + (LuFG Theoretical Computer Science, RWTH Aachen)
- Matching under Side Conditions in Description Logics + (LuFG Theoretical Computer Science, RWTH Aachen)
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (LuFG Theoretical Computer Science, RWTH Aachen)
- Structural Subsumption for ALN + (LuFG Theoretical Computer Science, RWTH Aachen, Germany)
- Description Logics with Symbolic Number Restrictions + (LuFg Theoretical Computer Science, RWTH Aachen)
- Number Restrictions on Complex Roles in Description Logics + (LuFg Theoretical Computer Science, RWTH Aachen)
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (LuFg Theoretical Computer Science, RWTH Aachen)
- A rule based data manipulation language for OLAP systems + (LuFg Theoretical Computer Science, RWTH Aachen)
- A Description Logic for Vague Knowledge + (LuFg Theoretical Computer Science, RWTH Aachen)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (LuFg Theoretical Computer Science, RWTH Aachen)
- A Database Approach for Modeling and Querying Video Data + (LuFg Theoretical Computer Science, RWTH Aachen)
- Matching in Description Logics with Existential Restrictions + (LuFg Theoretical Computer Science, RWTH Aachen)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Characterizing the semantics of terminological cycles in ALN using finite automata + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Unification of Concept Terms in Description Logics + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- On the Complexity of Boolean Unification + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Description Logics with Aggregates and Concrete Domains + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Description Logics with Aggregates and Concrete Domains, Part II (extended) + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- Unification of Concept Terms in Description Logics: Revised Version + (LuFg Theoretical Computer Science, RWTH Aachen, Germany)
- A Multi-Dimensional Terminological Knowledge Representation Language + (Max-Planck-Institut für Informatik)
- A Multi-Dimensional Terminological Knowledge Representation Language + (Max-Planck-Institut für Informatik, Saarbrücken)
- Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend! + (Oxford University)
- Truth—A Platform for Verification of Distributed Systems + (RWTH Aachen)
- What's in an Attribute? Consequences for the Least Common Subsumer + (Rutgers University, USA)
- What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases + (Rutgers University, USA)
- PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF + (TU Dresden)
- PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF + (TU Dresden)
- riss 2010 Solver Description + (TU Dresden)
- Search Space Splitting with Lookahead + (TU Dresden)
- Abduction in Logic Programming as Second-Order Quantifier Elimination + (TU Dresden)
- An Efficient Encoding of the at-most-one Constraint + (TU Dresden)
- Characterization of the Expressivity of Existential Rule Queries + (TU Dresden)
- Reasonable Highly Expressive Query Languages: Extended Technical Report + (TU Dresden)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Extended Version) + (TU Dresden)
- Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic + (TU Dresden)
- Refining Unsatisfiable Cores in Incremental SAT Solving + (TU Dresden)
- An A-Maze-ing SAT Solving Visualization + (TU Dresden)
- The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version + (TU Dresden)
- Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux + (TU Dresden)
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 + (TU Dresden, 01062 Dresden)
- Abduction in Human Reasoning + (TU Dresden, International Center for Computational Logic)
- Modern Parallel SAT-Solvers + (TU Dresden, Knowledge Representation and Reasoning)
- Solver submission of riss 1.0 to the SAT Competition 2011 + (TU Dresden, Knowledge Representation and Reasoning)
- Polynomial Reduction from PESP to SAT + (TU Dresden, Knowledge Representation and Reasoning)
- A More Efficient Parallel Unit Propagation + (TU Dresden, Knowledge Representation and Reasoning)
