Classical Negation and Game-Theoretical Semantics.
Tero TulenheimoPublished in: Notre Dame J. Formal Log. (2014)
Keyphrases
- logic programming
- logic programs
- game theory
- computer games
- formal semantics
- game theoretic
- theoretical analysis
- compositional semantics
- containment of conjunctive queries
- fixed point semantics
- stable model semantics
- abstract argumentation
- fixpoint semantics
- quantum mechanics
- game playing
- game design
- optimal strategy
- stable models
- derivation rules
- video games
- extended logic programs
- game based learning
- semantics for logic programs
- predicate logic
- imperfect information
- nash equilibria
- game play
- serious games
- nash equilibrium
- deductive databases
- model theoretic
- normal logic programs
- natural language
- open world
- default reasoning
- query evaluation
- multi agent systems