Login / Signup
Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective.
Katrine Thoft
Nina Gierasimczuk
Published in:
CogSci (2019)
Keyphrases
</>
logical reasoning
automated theorem proving
theorem prover
formal semantics
theorem proving
computational complexity
worst case
information processing
game theory
answer set programming
classical logic
search strategies
game design
game playing