2 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
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…