11 citations · 11 across the 1 of their papers we have counts for
3 papers
cs.HC2020
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
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…