A Measure of Logical Inference and Its Game Theoretical Applications.

Mamoru Kaneko Nobu-Yuki Suzuki

Published in: LORI (2011)

Keyphrases

logical inference
theorem proving
game theory
game playing
computer games
video games
logical structure
information retrieval
artificial intelligence
natural language
nash equilibrium