Becoming Aware of Propositional Variables.

Hans van Ditmarsch Tim French

Published in: ICLA (2011)

Keyphrases

propositional variables
logic programming
propositional logic
boolean games
propositional formulas
logic programs
knowledge base
conjunctive normal form
programming language
cooperative
natural language
game theory