Characterizing causal action theories and their implementations in answer set programming.
Haodi ZhangFangzhen LinPublished in: Artif. Intell. (2017)
Keyphrases
- answer set programming
- causal theories
- action theories
- situation calculus
- logic programming
- reasoning about actions
- default theories
- logic programs
- action language
- answer sets
- initial state
- incomplete information
- answer set programs
- stable model semantics
- knowledge representation
- model theoretic
- nonmonotonic reasoning
- inductive logic programming
- minimal change
- learning algorithm
- fixed point
- bayesian networks
- database systems
- knowledge base
- artificial intelligence