Keyphrases
- answer set programming
- software requirements
- systems development
- logic programs
- logic programming
- requirements specification
- software systems
- software development
- functional requirements
- answer sets
- software architecture
- constraint logic programming
- development process
- knowledge based systems
- requirements engineering
- causal theories
- model checking
- stable model semantics
- answer set programs
- software engineering
- life cycle
- software design
- qualitative spatial and temporal reasoning
- information systems
- project management
- modulo theories
- haplotype inference
- databases
- knowledge representation
- e learning
- real world