The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Logic Programming and Automated Reasoning
Editors:Pfenning, F.
Book#: 0 387 58216 9
Publisher:Springer-Verlag, Berlin
Pages: 54-68

Paper in Conference Proceedings #718

Title:Proof Plans for the Correction of False Conjectures
Authors:Monroy-Borja,R; Bundy,A; Ireland,A
Date: 1994
Keywords:proof plans, abduction, false conjectures

[Search These Pages] [DAI Home Page] [Comment]