On modeling planning problems in tabled logic programming.
Roman BartákAgostino DovierNeng-Fa ZhouPublished in: PPDP (2015)
Keyphrases
- logic programming
- planning problems
- logic programs
- domain independent
- state space
- answer set programming
- heuristic search
- knowledge representation
- planning systems
- reasoning tasks
- programming language
- deductive databases
- stable models
- logic programming language
- ai planning
- inductive logic programming
- knowledge base
- reasoning about actions
- answer sets
- planning domains
- default logic
- domain specific
- constraint logic programming
- reinforcement learning
- relational databases
- multi agent
- classical planning
- machine learning