Filtering With Logic Programs and Its Application to General Game Playing.
Michael ThielscherPublished in: AAAI (2013)
Keyphrases
- logic programs
- general game playing
- logic programming
- game playing
- answer set programming
- stable models
- answer sets
- fixpoint
- game tree search
- computational properties
- evaluation function
- inductive logic programming
- game players
- normal logic programs
- prolog programs
- term rewriting systems
- logic program updates
- game description language
- stable model semantics
- constraint satisfaction
- partial deduction
- machine learning