Proof = Guarantee + Explanation.

John Alan Robinson

Published in: Intellectics and Computational Logic (2000)

Keyphrases

cost based abduction
theorem prover
theorem proving
linear logic
belief revision
explanation based learning
automated theorem proving
artificial intelligence
image segmentation
three dimensional
high level
multiscale
logic programming
real time
counter intuitive
complete axiomatization
mathematical proofs