Reasoning on choreographies and capability requirements.
Matteo BaldoniCristina BaroglioAlberto MartelliViviana PattiClaudio SchifanellaPublished in: Int. J. Bus. Process. Integr. Manag. (2007)
Keyphrases
- reasoning systems
- knowledge base
- spatial reasoning
- qualitative reasoning
- functional requirements
- reasoning process
- machine learning
- domain knowledge
- knowledge representation
- production rules
- model based reasoning
- deductive reasoning
- resource bounded
- knowledge representation and reasoning
- reasoning tasks
- user requirements
- decision making
- search engine