Representing Actions in Logic-based Languages.
Fangkai YangPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- expressive power
- cross lingual
- explicitly represent
- language identification
- reasoning about actions
- language independent
- knowledge representation
- decision theoretic
- databases
- human activities
- database
- query translation
- object oriented languages
- modal logic
- situation calculus
- action selection
- state transitions
- mobile robot
- real time