Intuitive minimal abduction in sequent calculi.

Bo Yi XianPing Tao Gianna Cioni Attilio Colagrossi

Published in: J. Comput. Sci. Technol. (1998)

Keyphrases

sequent calculi
logic programming
general purpose
conditional logic
abductive reasoning
causal networks