Search by property

From International Center for Computational Logic

Jump to:navigation, search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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)

Retrieved from "https://iccl.inf.tu-dresden.de/web/Spezial:Suche_mittels_Attribut/:Download/ICFCA-2D2017-2DT09.pdf/en"