Login / Signup
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.
Louise A. Dennis
Alan Bundy
Ian Green
Published in:
Ann. Math. Artif. Intell. (2000)
Keyphrases
</>
artificial intelligence
case study
database systems
theorem prover
theorem proving
open ended
natural deduction
machine learning
decision making
high quality
data structure
collaborative learning
generation method
linear logic