Solving Open Questions with an Automated Theorem-Proving Program.

Published in: CADE (1982)

Keyphrases

open questions
automated theorem proving
theorem prover
theorem proving
future directions
answer set programming
classical logic
neural network
data model
artificial intelligence
case study
linear programming
test cases
incomplete information
solving problems
program execution