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
- 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)
- A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (LTCS-99-05)
- 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)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (WV--04--02)
- From the Calculus of Structures to Term Rewriting Systems + (WV--04--03)
- Plans as Formulae with a Non-commutative Logical Operator - Planning as Concurrency + (WV--04--06)
- A Calculus of Order and Interaction + (WV-01-01)
- MELL in the Calculus of Structures + (WV-01-03)
- Properties of a Logical System in the Calculus of Structures + (WV-01-06)
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks + (WV-01-07)
- A1-Unification + (WV-01-08)
- Combining A1- and AC1-Unification Sharing Unit + (WV-01-09)
- Convergence Classes and Spaces of Partial Functions + (WV-02-02)
- Two Restrictions on Contraction + (WV-02-04)
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults + (WV-02-05)
- A System of Interaction and Structure + (WV-02-10)
- Atomic Cut Elimination for Classical Logic + (WV-02-11)
- Contexts, Concepts, and Logic of Domains + (WV-02-12)
- Circular Belief in Logic Programming Semantics + (WV-02-13)
