Giles's Game and the Proof Theory of Lukasiewicz Logic.

Christian G. Fermüller George Metcalfe

Published in: Stud Logica (2009)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
modal logic
reasoning problems
game theory
machine learning
belief revision
temporal logic
decision procedures
knowledge representation