Keyphrases
- np complete
- declarative programming
- answer set programming
- logic programming
- logic programs
- class diagrams
- sequence diagrams
- object oriented
- modeling language
- metamodel
- software systems
- database design
- uml models
- conceptual modeling
- software development
- software engineering
- uml class diagrams
- formal methods
- unified modeling language
- class diagram
- stable model semantics
- uml diagrams
- petri net
- artificial intelligence
- tool support
- software design
- stable models
- conceptual models
- search problems