Dealing with Concurrent Actions in Modal Action Logics.
Laura GiordanoAlberto MartelliCamilla SchwindPublished in: ECAI (1998)
Keyphrases
- concurrent actions
- modal logic
- situation calculus
- action language
- temporal logic
- nonmonotonic logics
- planning problems
- description language
- modal operators
- initial state
- reasoning about actions
- action theories
- decision procedures
- indirect effects
- event calculus
- inference rules
- external events
- classical logic
- reasoning tasks
- default logic
- expressive power
- artificial intelligence
- temporal information
- video sequences
- reinforcement learning
- web services
- knowledge base
- machine learning