Search by property

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

Unification in Modal and Description Logics + (Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract)
Tableau Systems for SHIO and SHIQ + (Available from ceur-ws.org)
A Tableau System for the Description Logic SHIO + (Available from ceur-ws.org)
A Generator for Description Logic Formulas + (Available from ceur-ws.org)
Medizinische Aus- und Weiterbildung: Mit dem Computer lernen + (Braun Fachverlage)
Logics for Reasoning about Preferences, Uncertainty, and Vagueness + (Co-located with the 7th International Joint Conference on Automated Reasoning (IJCAR 2014))
Molekularbiologisches Verfahren zur Lösung von NP-Problemen + (Deutsches Patent DE 198 53 726 A 1, IPC C12N 15/10, Deutsches Patentamt München)
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification + (Dissertation)
Unifikation und Reduktionssysteme für Halbgruppenvarietäten + (Dissertation)
Reifying RDF: What Works Well With Wikidata? + (Errata: The published version contains an … Errata: The published version contains an error in Table 5 and Figure 3: columns for standard reification and n-ary relations were switched there. Moreover, the minimum y-value (100 ms) used for Figure 3 was higher than the runtime of two query executions for Virtuoso (Q7: NR & SP), which thus did not show despite having been run successfully. These errors have been corrected in the PDF published here.have been corrected in the PDF published here.)
Efficient Model Construction for Horn Logic with VLog + (Erratum: This version fixes two typos that … Erratum: This version fixes two typos that were present in the publication in Algorithm 1: line 1.5 now also includes a set difference to avoid adding existing facts (necessary since heads can be multi-atom); line 1.8 now uses the correct index (i instead of i+1) uses the correct index (i instead of i+1))
A Generic Model for Video Content Based Retrieval + (Extended Abstract)
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) + (Extended Abstract of https://doi.org/10.24963/ijcai.2024/375)
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (Extended Abstract of https://iccl.inf.tu-dresden.de/web/Inproceedings3348)
On the Decidability of Verifying LTL Properties of Golog Programs + (Extended version. See http://lat.inf.tu-dresden.de/research/reports.html.)
The Complexity of Reasoning with Boolean Modal Logic + (Final version appeared in Advanced in Modal Logic Volume 3, 2001.)
A Tableau Algorithm for the Clique Guarded Fragment + (Final version appeared in Advanced in Modal Logic Volume 3, 2001.)
Description Logics with Concrete Domains—A Survey + (Final version appeared in Advanced in Modal Logic Volume 4, 2003.)
Concrete Results on Abstract Rules + (Full proofs can be found in the [[Media:Kroetzsch_Magka_Horrocks_Abstract_Rules_TR_2013.pdf|extended technical report]] of this work.)
Künstliche Intelligenz, quo vadis? + (Gastbeitrag)
Learning Terminological Knowledge with High Confidence from Erroneous Data + (Gemeinsamer Workshop der Graduiertenkollegs, Dagstuhl)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Honorable mention)
Termersetzungssysteme, Skript zur Vorlesung + (ISBN 3-86073-148-3)
Begabtenförderung im MINT-Bereich + (ISBN 3-87005-053-5)
A Short Overview on Modern Parallel SAT-Solvers + (ISBN 978-979-1421-11-9)

A Heuristic Search Algorithm for Solving First-Order MDPs + (ISBN-0-9749039-1-4,)

A Method of Estimating Oriented Surface Elements from Stereo Images + (ISBN-1-901725-29-4,)
Symbolic Dynamic Programming within the Fluent Calculus + (ISBN: 0-88986-358-X)
Completing Incomplete Bayesian Networks + (ISBN: 3-540-25332-7)
What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases + (ISSN 0940-1121)
Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005) + (ISSN 1430-211X,)
Implementing Deep Inference in TOM + (ISSN 1430-211X,)
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference + (ISSN 1430-211X,)
A purely logical account of sequentiality in proof search – extended abstract + (ISSN 1430–211X)
Linear Logic and Noncommutativity in the Calculus of Structures + (ISSN 1430–211X)
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 + (ISSN 1430–211X)
Solving Hidokus using SAT Solvers + (ISSN 2219-293X)
Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (In English: Terminology and the Multilingual Semantic Web in Symbiosis – TBX, RDF and OWL)
Die Beweisentwicklungsumgebung Omega-MKRP + (In German)
Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web + (In German.)
FCPlanner: A Planning Strategy for First-Order MDPs + (In Notes for the International Planning Competition 2004 at the14th International Conference on Automated Planning and Scheduling(ICAPS'2004))
LATPub437 + (In german)
Similarity-based Relaxed Instance Queries + (In press.)
Temporal Query Entailment in the Description Logic SHQ + (In press.)
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor + (In press.)
goDIAMOND 0.6.6 - ICCMA 2017 System Description + (International Competition on Computational Models of Argumentation)
Ontology-Based Monitoring of Dynamic Systems + (Invited contribution.)
A Tutorial on Proof Theoretic Foundations of Logic Programming + (Invited tutorial)
Integrated view and comparison of alignment semantics + (KnowledgeWeb Deliverable)
Report on realizing practical approximate and distributed reasoning for ontologies + (KnowledgeWeb Deliverable D2.1.2.2v2)
Recent Advances in Integrating OWL and Rules + (Lecture Notes in Computer Science)