Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.
Christoph LangeManfred KerberColin RowatPublished in: GI-Jahrestagung (2013)
Keyphrases
- domain experts
- knowledge base
- reasoning systems
- domain knowledge
- knowledge acquisition
- knowledge representation systems
- domain specific
- knowledge engineers
- procedural knowledge
- expert knowledge
- knowledge elicitation
- clinical data
- automated reasoning
- domain dependent
- human experts
- semi automatically
- ontology reasoning
- game theory
- knowledge representation
- domain ontology
- computational intelligence
- general purpose
- expert systems
- domain independent
- reasoning engine
- reasoning services