Generalized support and formal development of constraint propagators.
James L. CaldwellIan P. GentPeter NightingalePublished in: AI Commun. (2017)
Keyphrases
- support systems
- global constraints
- decision support
- support environment
- active participation
- case study
- agent oriented
- formal methods
- design tools
- software engineering
- constraint propagation
- development process
- knowledge based systems
- special purpose
- end users
- knowledge creation
- user interface
- web services
- enabling technologies
- web based collaborative