Mapping Action Language BC to Logic Programs: A Characterization by Postulates.
Haodi ZhangFangzhen LinPublished in: AAAI (2016)
Keyphrases
- logic programs
- action language
- answer set programming
- logic program updates
- logic programming
- reasoning about actions
- answer sets
- minimal change
- stable models
- description language
- fixpoint
- background knowledge
- computational properties
- reasoning tasks
- action theories
- update operators
- belief update
- inductive logic programming
- deductive databases
- situation calculus
- belief revision
- search space