A logic of games and propositional control.

Nicolas Troquard Wiebe van der Hoek Michael J. Wooldridge

Published in: AAMAS (2) (2009)

Keyphrases

multi valued
sound and complete axiomatization
control system
neural network
logic programming
computer games
horn clauses
truth maintenance systems
game theory
video games
probabilistic logic