Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond.
Haodi ZhangFangzhen LinPublished in: IJCAI (2015)
Keyphrases
- answer set programming
- action theories
- causal theories
- reasoning about actions
- highly expressive
- logic programming
- situation calculus
- action language
- indirect effects
- default theories
- action descriptions
- logic programs
- initial state
- answer sets
- incomplete information
- domain description
- minimal change
- knowledge representation
- event calculus
- model theoretic
- deductive databases
- nonmonotonic reasoning
- knowledge base
- answer set programs
- high level
- fixpoint
- programming language