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
- Specification of a common framework for characterizing alignment + (Knowledge Web Deliverable)
- Optimisation Techniques for Combining Constraint Solvers + (LTCS-Report)
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (LTCS-Report)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (LTCS-Report)
- Characterizing the semantics of terminological cycles in ALN using finite automata + (LTCS-Report)
- A rule based data manipulation language for OLAP systems + (LTCS-Report)
- Unification of Concept Terms in Description Logics + (LTCS-Report)
- On the Complexity of Boolean Unification + (LTCS-Report)
- Description Logics with Aggregates and Concrete Domains + (LTCS-Report)
- A Description Logic for Vague Knowledge + (LTCS-Report)
- Structural Subsumption for ALN + (LTCS-Report)
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability + (LTCS-Report)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (LTCS-Report)
- Description Logics with Aggregates and Concrete Domains, Part II (extended) + (LTCS-Report)
- On the Relation between Descripion Logics and Conceptual Graphs + (LTCS-Report)
- The Guarded Fragment of Conceptual Graphs + (LTCS-Report)
- Computing Least Common Subsumers in Description Logics with Existential Restrictions + (LTCS-Report)
- Structural Subsumption Considered from an Automata Theoretic Point of View + (LTCS-Report)
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions + (LTCS-Report)
- Unification of Concept Terms in Description Logics: Revised Version + (LTCS-Report)
- PSpace Reasoning for DLs with Qualifying Number Restrictions + (LTCS-Report)
- A PSpace-algorithm for ALCQI-satisfiability + (LTCS-Report)
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (LTCS-Report)
- On the Complexity of Terminological Reasoning + (LTCS-Report)
- The Complexity of Reasoning with Concrete Domains (Revised Version) + (LTCS-Report)
- Optimisation of Terminological Reasoning + (LTCS-Report)
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions + (LTCS-Report)
- Query Containment Using a DLR ABox + (LTCS-Report)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (LTCS-Report)
- A Database Approach for Modeling and Querying Video Data + (LTCS-Report)
- Rewriting Concepts using Terminologies + (LTCS-Report)
- Rewriting Concepts Using Terminologies – Revisited + (LTCS-Report)
