Preferential Action Semantics (Preliminary Report).
John-Jules Ch. MeyerPatrick DohertyPublished in: ModelAge Workshop (1997)
Keyphrases
- action descriptions
- action language
- logic programming
- formal semantics
- speech acts
- fluent calculus
- default reasoning
- action theories
- situation calculus
- reasoning about actions
- specification language
- tableau calculus
- transformation rules
- data sets
- preference relations
- nonmonotonic reasoning
- spatio temporal
- learning algorithm