Reasoning-Supported Interactive Revision of Knowledge Bases.
Nadeschda NikitinaSebastian RudolphBirte GlimmPublished in: Description Logics (2011)
Keyphrases
- knowledge base
- belief revision
- knowledge representation
- knowledge based systems
- description logics
- knowledge representation systems
- reasoning process
- expert systems
- inference engine
- theory revision
- knowledge acquisition
- semantic network
- reasoning engine
- meta knowledge
- formal representation
- production rules
- abductive logic programming
- open world
- reasoning tasks
- user interaction
- logical framework
- computer algebra systems
- logic programming
- possibilistic logic
- virtual reality
- automated reasoning
- qualitative reasoning
- computer graphics
- rule base