Reason on UML Diagrams with Answer Set Programming.
Wenjun DengYiwen LiangPublished in: CSSE (1) (2008)
Keyphrases
- answer set programming
- uml diagrams
- software design
- logic programming
- logic programs
- answer sets
- unified modeling language
- constraint language
- causal theories
- design patterns
- answer set programs
- software engineers
- stable models
- stable model semantics
- knowledge representation
- production rules
- software engineering
- xml schema
- software systems
- artificial intelligence
- general purpose
- state space
- disjunctive logic programming
- haplotype inference
- search space