HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefan Borgwardt

Publications
Finding Small Proofs for Description Logic Entailments: Theory and Practice
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Temporal Query Answering in DL-Lite with Negation
Stefan Borgwardt and Veronika Thost
In:GCAI 2015. Global Conference on Artificial Intelligence
Recent Advances in Unification for the EL Family
Franz Baader, Stefan Borgwardt and Barbara Morawska
In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification

Keyphrases

complexity, Computing Unifiers, data complexity, Description Logic, Description Logics2, DL-Lite, explanation, General Concept Inclusions, Minimal Unifiers, proofs, Temporal Queries, unification.

Copyright © 2012-2025 easychair.org. All rights reserved.