Sign in
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