The 5th IJCAR automated theorem proving system competition - CASC-J5.

Geoff Sutcliffe

Published in: AI Commun. (2011)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
first order logic
inference rules
classical logic
knowledge base
knowledge representation
logic programs
default logic
nonmonotonic reasoning
international competition