The 3rd IJCAR Automated Theorem Proving Competition.

Geoff Sutcliffe

Published in: AI Commun. (2007)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
logic programs
inference rules
classical logic
international competition
real time
neural network
expert systems
search space
fixed point
search strategies