Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.

Luca Console, Attilio Giordana, Lorenza Saitta

Browse the full ISMIS paper archive.