Abduction in Labelled Deductive Systems - A Conceptual Abstract.

Dov M. Gabbay

Browse the full ECSQARU paper archive.