11 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.AI2020★ 1 cited
Signature-Based Abduction for Expressive Description Logics -- Technical Report
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret +1
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of…
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…