A Game Semantics Foundation for Logic Programming (Extended Abstract).
Roberto Di CosmoJean-Vincent LoddoStephane NicoletPublished in: PLILP/ALP (1998)
Keyphrases
- logic programming
- extended abstract
- logic programs
- logic programming language
- deductive databases
- answer set programming
- reasoning tasks
- knowledge base
- nonmonotonic reasoning
- knowledge representation language
- knowledge representation
- computational logic
- answer sets
- knowledge representation and reasoning
- classical logic
- inductive logic programming
- programming language
- default logic
- declarative semantics
- game theory
- extended logic programs
- normal logic programs
- reasoning about actions
- stable model semantics
- stable models
- fixpoint
- disjunctive logic programming
- default reasoning
- linear logic
- autoepistemic logic
- propositional variables
- general purpose
- machine learning
- semantics of logic programs
- answer set semantics
- game theoretic
- artificial intelligence