R-Calculus: a Logical Approach for Knowledge Base Maintenance.
Wei LiNingchuan ShenJu WangPublished in: Int. J. Artif. Intell. Tools (1995)
Keyphrases
- knowledge base
- knowledge acquisition
- knowledge based systems
- expert systems
- knowledge representation
- knowledge engineers
- software maintenance
- description logics
- logic programming
- automated deduction
- incremental maintenance
- domain experts
- belief revision
- knowledge structures
- inference engine
- computer algebra
- provably correct
- background knowledge
- reasoning engine
- real time
- wordnet
- data sets