Keyphrases
- action language
- description language
- reasoning about actions
- software architecture
- action descriptions
- metamodel
- answer set programming
- concurrent actions
- sequence diagrams
- object oriented
- modeling language
- software systems
- software engineering
- situation calculus
- action theories
- software development
- high level
- artificial intelligence
- machine learning
- relational databases