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
- Keys, Nominals, and Concrete Domains + (LuArHoSaJAIR04.ps.gz)
- Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes + (LuKo-DL-2013.pdf)
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference + (LuKo-KR-2014.pdf)
- Brave and Cautious Reasoning in EL + (LuPe-DL14.pdf)
- Error-Tolerant Reasoning in the Description Logic EL + (LuPe-JELIA14.pdf)
- Error-Tolerant Reasoning in the Description Logic EL + (LuPe-LTCS-14-11.pdf)
- The Complexity of Finite Model Reasoning in Description Logics + (LuSaTe-CADE03.ps.gz)
- The Complexity of Finite Model Reasoning in Description Logics + (LuSaTe-IandC05.ps.gz)
- Tableaux for Temporal Description Logic with Constant Domain + (LuStuWoZa-IJCAR.ps.gz)
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case + (LuStuWoZa-LTCS-01-01.ps.gz)
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains + (LuStuWoZa-StudiaLogica.pdf)
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (LuWa-DL-14.pdf)
- PDL with Negation of Atomic Programs + (LuWa-LTCS-03-04.ps.gz)
- Conservative Extensions in Expressive Description Logics + (LuWaWo-IJCAI07.pdf)
- Quantitative Temporal Logics: PSpace and below + (LuWaWo-IandC06.ps.gz)
- Reasoning about concepts and similarity + (LuWoZa-DL2003.ps.gz)
- A tableau algorithm for reasoning about concepts and similarity + (LuWoZa-Tableaux2003.ps.gz)
- Temporal Description Logics: A Survey + (LuWoZa-Time08.pdf)
- Keys, Nominals, and Concrete Domains + (LutAreHorSat-LTCS-02-04.ps.gz)
- Finite Model reasoning in ALCQI is ExpTime-complete + (LutSatTen-DL2003.ps.gz)
- Complexity and Succinctness of Public Announcement Logic + (Lutz-AAMAS06.pdf)
- Description Logics with Concrete Domains—A Survey + (Lutz-AiML02.ps.gz)
- Description Logics with Concrete Domains—A Survey + (Lutz-AiML4.ps.gz)
- 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)