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 New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (LTCS-96-01)
- Number Restrictions on Complex Roles in Description Logics + (LTCS-96-02)
- Description Logics with Symbolic Number Restrictions + (LTCS-96-03)
- Optimisation Techniques for Combining Constraint Solvers + (LTCS-96-04)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (LTCS-96-05)
- Description Logics with Aggregates and Concrete Domains + (LTCS-97-01)
- Unification of Concept Terms in Description Logics + (LTCS-97-02)
- On the Complexity of Boolean Unification + (LTCS-97-03)
- Characterizing the semantics of terminological cycles in ALN using finite automata + (LTCS-97-04)
- A rule based data manipulation language for OLAP systems + (LTCS-97-05)
- A Description Logic for Vague Knowledge + (LTCS-98-01)
- Description Logics with Aggregates and Concrete Domains, Part II (extended) + (LTCS-98-02)
- Structural Subsumption for ALN + (LTCS-98-03)
- Structural Subsumption Considered from an Automata Theoretic Point of View + (LTCS-98-04)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (LTCS-98-05)
- Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions + (LTCS-98-06)
- Unification of Concept Terms in Description Logics: Revised Version + (LTCS-98-07)
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability + (LTCS-98-08)
- Computing Least Common Subsumers in Description Logics with Existential Restrictions + (LTCS-98-09)
- The Guarded Fragment of Conceptual Graphs + (LTCS-98-10)
- On the Relation between Descripion Logics and Conceptual Graphs + (LTCS-98-11)
- The Complexity of Reasoning with Concrete Domains (Revised Version) + (LTCS-99-01)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (LTCS-99-02)
- A Database Approach for Modeling and Querying Video Data + (LTCS-99-03)
- On the Complexity of Terminological Reasoning + (LTCS-99-04)
- Rewriting Concepts using Terminologies + (LTCS-99-06)
- Matching in Description Logics with Existential Restrictions + (LTCS-99-07)
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions + (LTCS-99-08)
- A PSpace-algorithm for ALCQI-satisfiability + (LTCS-99-09)
- PSpace Reasoning for DLs with Qualifying Number Restrictions + (LTCS-99-11)
- Matching Concept Descriptions with Existential Restrictions Revisited + (LTCS-99-13)
- Optimisation of Terminological Reasoning + (LTCS-99-14)
- Query Containment Using a DLR ABox + (LTCS-99-15)
- Techreport3049 + (LTCS-Report 19-09)
- On the Complexity and Expressiveness of Description Logics with Counting + (LTCS-Report 19-09)
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) + (LTCS-Report 23-02)
- A Multi-Dimensional Terminological Knowledge Representation Language + (MPI-I-93-212)
- A Multi-Dimensional Terminological Knowledge Representation Language + (MPI-I-95-2-005)
- LATPub37 + (SWP--92--12)
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 + (TUD--FI03--03)
- Different Approaches to the Semantics of Workflow + (TUD-FI01-04)
- riss 2010 Solver Description + (Technical Report 2010-02)
- Search Space Splitting with Lookahead + (Technical Report 2012-04)
- An Efficient Encoding of the at-most-one Constraint + (Technical Report 2013-04)
- Deciding the Word Problem in the Union of Equational Theories + (UIUCDCS-R-98-2073)
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (WV--02--09)
- A generalized resolution theorem + (WV--03--13)
- Default reasoning over domains and concept hierarchies + (WV--03--14)
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion + (WV--03--15)
- A Normalization Algorithm for Automated First-Order Value Iteration + (WV--03--16)
