Keyphrases
- valued semantics
- logic programming
- consistent query answering
- proof theory
- inference rules
- valued logic
- conditional logic
- propositional dynamic logic
- classical logic
- default logic
- nonmonotonic logics
- game playing
- epistemic logic
- modal logic
- game theory
- proof procedures
- integrity constraints
- game play
- game theoretic
- computer games
- possibilistic logic
- expressive power
- nash equilibrium
- belief revision
- theoretical analysis
- formal semantics
- truth values
- logic programs
- higher order logic
- proof theoretic
- default reasoning
- video games
- inconsistent knowledge
- semantic information
- autoepistemic logic
- imperfect information
- game development
- nash equilibria
- intuitionistic logic
- multi valued
- educational games