The use of proof planning for cooperative theorem proving

Abstract: "We describe BARNACLE: a cooperative interface to an inductive theorem prover. The cooperative nature of the BARNACLE interface is made possible by proof planning. Proof planning is a technique for guiding the search for a proof in automatic theorem proving. Common patterns of reasoni...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lowe, Helen (VerfasserIn), Bundy, Alan (VerfasserIn), McLean, Duncan (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1995
Schriftenreihe:	University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 745
Schlagworte:	Bionics and artificial intelligence Computer software Automatic theorem proving > Computer programs
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!