Suche mittels Attribut

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

Model Exploration by Confidence with Completely Specified Counterexamples + (See http://lat.inf.tu-dresden.de/research/reports.html.)
A General Form of Attribute Exploration + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Verification of Golog Programs over Description Logic Actions + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Reasoning with Temporal Properties over Axioms of DL-Lite + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Matching with respect to general concept inclusions in the Description Logic EL + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Dismatching and Local Disunification in EL + (See http://lat.inf.tu-dresden.de/research/reports.html.)
LATPub702 + (See http://lat.inf.tu-dresden.de/research/reports.html.)
LATPub703 + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Most Specific Generalizations w.r.t. General EL-TBoxes + (See http://lat.inf.tu-dresden.de/research/reports.html.)
LATPub721 + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Hybrid Unification in the Description Logic EL + (See http://lat.inf.tu-dresden.de/research/reports.html.)
On the Complexity of Temporal Query Answering + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Conjunctive Query Answering in Rough EL + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Towards Parallel Repair Using Decompositions + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Error-Tolerant Reasoning in the Description Logic EL + (See http://lat.inf.tu-dresden.de/research/reports.html.)
The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Runtime Verification Using a Temporal Description Logic Revisited + (See http://lat.inf.tu-dresden.de/research/reports.html.)
Combining Constraint Solving + (See http://link.springer.de/link/service/series/0558/tocs/t2002.htm)
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles + (See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-53/)
The Guarded Fragment of Conceptual Graphs + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html)
Representing and Reasoning on Conceptual Queries Over Image Databases + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html)
A Database Approach for Modeling and Querying Video Data + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html)
Computing Least Common Subsumers in Description Logics with Existential Restrictions + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.)
PSpace Reasoning for DLs with Qualifying Number Restrictions + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.)
A PSpace-algorithm for ALCQI-satisfiability + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.)
The Complexity of Reasoning with Concrete Domains (Revised Version) + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html.)

A Description Logic for Vague Knowledge + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html)
Matching in Description Logics with Existential Restrictions + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html)
Optimisation of Terminological Reasoning + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html)
Rewriting Concepts using Terminologies + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html)

On the Relation between Descripion Logics and Conceptual Graphs + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Structural Subsumption Considered from an Automata Theoretic Point of View + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Query Containment Using a DLR ABox + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Matching Concept Descriptions with Existential Restrictions Revisited + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
The Complexity of Reasoning with Boolean Modal Logics (Extended Version) + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Interval-based Temporal Reasoning with General TBoxes + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
NExpTime-complete Description Logics with Concrete Domains + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Computing Least Common Subsumers in ALEN + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Rewriting Concepts Using Terminologies – Revisited + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Modal Logic and the two-variable fragment + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Adding Numbers to the SHIQ Description Logic—First Results + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Optimised Reasoning for SHIQ + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
The Inverse Method Implements the Automata Approach for Modal Satisfiability + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Unification in a Description Logic with Transitive Closure of Roles + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Matching under Side Conditions in Description Logics + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Unification Theory + (See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/ voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).)
Concept Dissimilarity with Triangle Inequality + (Short Paper. To appear.)
Open-World Probabilistic Databases: An Abridged Report + (Sister Conference Best Paper Track)
Semantic Wikipedia (software demo) + (Software demo)
Unification in the Description Logic EL + (Special Issue of the 20th International Conference on Rewriting Techniques and Applications; also available at http://arxiv.org/abs/1006.2289)