1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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.AI2018
ABox Abduction via Forgetting in ALC (Long Version)
Warren Del-Pinto, Renate A. Schmidt
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. This paper investigates the use of forgetting, also known as uniform interpolation,…