Keyphrases
- action descriptions
- action language
- speech acts
- action theories
- communicative acts
- semantic information
- transformation rules
- argumentation semantics
- logical language
- proof theory
- reasoning about actions
- real time
- specification language
- semantic representation
- logic programming
- programming language
- databases
- data sets