Skip to main content

1 Result(s)

within Cioni G. Remove this filter

and

  1. No Access

    Article

    Intuitive minimal abduction in sequent calculi

    Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of “good” abduction, a new criterion of abduction called intuitive-mi...

    Bo Yi, ** Tao, Cioni G., Colagrossi A. in Journal of Computer Science and Technology (1998)