2 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2018
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
The aim of this paper is to introduce a new framework for defining abductive reasoning operators based on a notion of retraction in arbitrary logics defined as satisfaction systems…
cs.AI2015
Relaxation-based revision operators in description logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime impor…