The 7th IJCAR automated theorem proving system competition - CASC-J7.

Geoff Sutcliffe

Published in: AI Commun. (2015)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
international competition
first order logic
information systems
classical logic
database
competitive market
neural network
relational databases
programming language