Integrating Knowledge Engineering for Planning with Validation and Verification Tools.
Andrea OrlandiniGiulio BernardiAmedeo CestaAlberto FinziPublished in: AI*IA (2013)
Keyphrases
- knowledge engineering
- mixed initiative
- expert systems
- knowledge acquisition
- knowledge representation
- case based reasoning
- knowledge elicitation
- decision support
- rule based expert systems
- knowledge based systems
- knowledge engineers
- machine learning
- domain knowledge
- reasoning under uncertainty
- artificial intelligence
- expert knowledge
- software engineering
- model checking
- formal methods
- knowledge management
- decision support system
- knowledge base
- planning problems
- decision trees
- semantic wiki
- data mining
- domain independent
- database