Automated Theorem Proving for General Game Playing.

Stephan Schiffel Michael Thielscher

Published in: IJCAI (2009)

Keyphrases

automated theorem proving
general game playing
theorem prover
theorem proving
game playing
answer set programming
game tree search
game players
evaluation function
classical logic
first order logic
video games
knowledge base
expert systems
programming language
logic programs