TAL: Temporal Action Logics Language Specification and Tutorial.
Patrick DohertyJoakim GustafssonLars KarlssonJonas KvarnströmPublished in: Electron. Trans. Artif. Intell. (1998)
Keyphrases
- action language
- specification language
- linear temporal logic
- temporal ordering
- formal language
- description language
- reasoning about actions
- temporal data
- programming language
- language learning
- operational semantics
- conditional logic
- formal languages
- high level
- modal logic
- spatial and temporal
- spatio temporal
- order sorted
- transition systems
- expressive power
- inference rules
- temporal information
- natural language
- temporal databases
- temporal patterns
- temporal constraints
- definition language
- language constructs
- modelling language
- temporal logic
- proof theory
- first order logic
- e learning