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
- Optimised Reasoning for SHIQ + (HorrocksSattler-ECAI2002.pdf)
- Ontology Reasoning in the SHOQ(D) Description Logic + (HorrocksSattler-IJCAI.ps.gz)
- Decidability of SHIQ with Complex Role Inclusion Axioms + (HorrocksSattler-IJCAI03.pdf)
- Optimised Reasoning for SHIQ + (HorrocksSattler-LTCS-01-08.ps.gz)
- Decidability of SHIQ with Complex Role Inclusion Axioms + (HorrocksSattler-LTCS-02-06.ps.gz)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (HorrocksSattler-LTCS-98-05.ps.gz)
- Practical Reasoning for Expressive Description Logics + (HorrocksSattlerTobies-LPAR-99.ps.gz)
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability + (HorrocksSattlerTobies-LTCS-98-08.ps.gz)
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions + (HorrocksSattlerTobies-LTCS-99-08.ps.gz)
- Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies + (HorrocksSattlerTobies-M4M-99.ps.gz)
- Optimisation of Terminological Reasoning + (HorrocksTobies-DL-2000.ps.gz)
- Reasoning with Axioms: Theory and Practice + (HorrocksTobies-KR-2000.ps.gz)
- Optimisation of Terminological Reasoning + (HorrocksTobies-LTCS-99-14.ps.gz)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (Hrsiq-datalog-extended-abstract.pdf)
- Introduction to Automatic Structures + (IAS2016-exercise01.pdf)
- Introduction to Automatic Structures + (IAS2016-exercise02.pdf)
- Introduction to Automatic Structures + (IAS2016-exercise03.pdf)
- Introduction to Automatic Structures + (IAS2016-exercise04.pdf)
- Introduction to Automatic Structures + (IAS2016-exercise05.pdf)
- Morphisms in Context + (ICCS05 context-morphisms long.pdf)
- Web-Mining Defeasible Knowledge from Concessional Statements + (ICCS2016-Petrova-Rudolph.pdf)
- Generalizing multi-context systems for reactive stream reasoning applications + (ICCSW-6.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T08.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T09.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Introduction to Formal Concept Analysis + (ICFCA-2017-T10.pdf)
- Towards a General Argumentation System based on Answer-Set Programming + (ICLP-DC2010 Gaggl.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T01.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T02.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T03.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T03.pdf)
- Introduction to Formal Concept Analysis + (IFCA-2017-T03.pdf)
