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
- PDL with Intersection and Converse is Decidable + (Lutz-CSL-05.ps.gz)
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (Lutz-DL.ps.gz)
- Inverse Roles Make Conjunctive Queries Hard + (Lutz-DL07.pdf)
- NExpTime-Complete Description Logics with Concrete Domains + (Lutz-ESSLLI-2000.ps.gz)
- PSpace Reasoning with the Description Logic ALCF(D) + (Lutz-IGPL02.ps.gz)
- Reasoning with Concrete Domains + (Lutz-IJCAI-99.ps.gz)
- Interval-based Temporal Reasoning with General TBoxes + (Lutz-IJCAI.ps.gz)
- NExpTime-complete Description Logics with Concrete Domains + (Lutz-IJCAR.ps.gz)
- Complexity of Terminological Reasoning Revisited + (Lutz-LPAR-99.ps.gz)
- NExpTime-complete Description Logics with Concrete Domains + (Lutz-LTCS-00-01.ps.gz)
- Interval-based Temporal Reasoning with General TBoxes + (Lutz-LTCS-00-06.ps.gz)
- Adding Numbers to the SHIQ Description Logic—First Results + (Lutz-LTCS-01-07.ps.gz)
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (Lutz-LTCS-02-01.ps.gz)
- PDL with Intersection and Converse is Decidable + (Lutz-LTCS-05-05.ps.gz)
- The Complexity of Reasoning with Concrete Domains (Revised Version) + (Lutz-LTCS-99-01.ps.gz)
- Complexity and Succinctness of Public Announcement Logic + (Lutz-LTCS05-09.ps.gz)
- Reasoning Support for Ontology Design + (Lutz-et-al-OWLED06.pdf)
- Combining Interval-based Temporal Reasoning with General TBoxes + (LutzAI03.ps.gz)
- Two Upper Bounds for Conjunctive Query Answering in SHIQ + (LutzDL08.pdf)
- The Complexity of Conjunctive Query Answering in Expressive Description Logics + (LutzIJCAR08.pdf)
- A Tableau Algorithm for DLs with Concrete Domains and GCIs + (LutzMilicic-DL-2005.pdf)
- Description Logics with Concrete Domains and Functional Dependencies + (LutzMilicic-ECAI-2004.ps.gz)
- A Tableau Algorithm for DLs with Concrete Domains and GCIs + (LutzMilicic-JAR-07.pdf)
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes + (LutzMilicic-JAR06.pdf)
- Description Logics with Concrete Domains and Functional Dependencies + (LutzMilicic-LTCS-04-06.pdf)
- A Tableau Algorithm for DLs with Concrete Domains and GCIs + (LutzMilicic-LTCS-05-07.ps.gz)
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs + (LutzMilicic-Tableaux2005.pdf)
- The Complexity of Reasoning with Boolean Modal Logics + (LutzSattler-AiML.ps.gz)
- Mary likes all Cats + (LutzSattler-DL-2000.ps.gz)
- A Proposal for Describing Services with DLs + (LutzSattler-DL02.ps.gz)
- The Complexity of Reasoning with Boolean Modal Logics (Extended Version) + (LutzSattler-LTCS-00-02.ps.gz)
- The Complexity of Finite Model Reasoning in Description Logics + (LutzSattlerTendera-LTCS-02-05.ps.gz)
- A Suggestion for an n-ary Description Logic + (LutzSattlerTobies-DL-99.ps.gz)
- Modal Logics and the two-variable fragment + (LutzSattlerWolter-CSL.ps.gz)
- Description Logics and the Two-Variable Fragment + (LutzSattlerWolter-DL2001.ps.gz)
- Modal Logic and the two-variable fragment + (LutzSattlerWolter-LTCS-01-04.ps.gz)
- PDL with Negation of Atomic Programs + (LutzWaltherIJCAR04.ps.gz)
- PDL with Negation of Atomic Programs + (LutzWaltherJANCL05.ps.gz)
- Quantitative Temporal Logics: PSpace and below + (LutzWaltherWolter-LTCS-05-03.ps.gz)
- Quantitative Temporal Logics: PSpace and below + (LutzWaltherWolter-TIME-05.pdf)
- Conservative Extensions in the Lightweight Description Logic EL + (LutzWolter-CADE07.pdf)
- Modal Logics of Topological Relations + (LutzWolter-LMCS06.ps.gz)
- Modal Logics of Topological Relations + (LutzWolter-LTCS-04-05.ps.gz)
- Modal Logics of Topological Relations + (LutzWolterAiML04.ps.gz)
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement + (Lyo-TAB-2021.pdf)
- On Upper and Lower Bounds on the Length of Alternating Towers + (MFCS2014.pdf)
- SQID: Towards Ontological Reasoning for Wikidata + (MK2017-SQID-Demo.pdf)
- A Multi-Dimensional Terminological Knowledge Representation Language + (MPI-I-95-2-05.ps.gz)
- Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs + (MRW-WOMO-13.pdf)
- Morphisms in Logic, Topology, and Formal Concept Analysis + (MSc Thesis Kroetzsch.pdf)
- Learning Formal Definitions for Snomed CT from Text + (MaDi-AIME13.pdf)
