30 citations · 116 across the 24 of their papers we have counts for
Showing 2018Show 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.AI2018★ 6 cited
Morphologic for knowledge dynamics: revision, fusion, abduction
Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez +1
Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this…