Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material).
Deepak DhunganaChing Hoo TangChristoph WeidenbachPatrick WischnewskiPublished in: CoRR (2013)
Keyphrases
- automated verification
- expert systems
- model checking
- automated reasoning
- social networks
- intelligent systems
- distributed systems
- learning systems
- complex systems
- management system
- rule based systems
- interactive systems
- product configuration
- information retrieval
- data driven
- knowledge based systems
- user interaction
- computer graphics
- knowledge representation
- formal verification