11 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.HC2020★ 4 cited
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems
Frederik Wiehr, Anke Hirsch, Florian Daiber +7
For mixed-initiative control between cyber-physical systems (CPS) and its users, it is still an open question how machines can safely hand over control to humans. In this work, we…
cs.LO2020★ 11 cited
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +2
Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if su…
cs.LO2020★ 2 cited
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
Stefan Borgwardt, Veronika Thost
Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to…