R-calculus: A Logical Approach for Knowledge Base Maintenance.
Wei LiNingchuan ShenJu WangPublished in: ICTAI (1994)
Keyphrases
- semantic network
- knowledge base
- wordnet
- knowledge representation
- knowledge acquisition
- expert systems
- inference engine
- software maintenance
- rule base
- domain experts
- knowledge based systems
- description logics
- automated deduction
- genetic algorithm
- databases
- preventive maintenance
- relevant knowledge
- proof procedure
- tableau calculus
- reasoning process
- knowledge structures
- logic programming
- logic programs
- artificial intelligence
- machine learning