A logical framework for knowledge base maintenance.
Wei LiPublished in: J. Comput. Sci. Technol. (1995)
Keyphrases
- logical framework
- knowledge base
- belief revision
- reasoning tasks
- possibilistic logic
- inference rules
- description logics
- knowledge acquisition
- logic programming
- linear logic
- expert systems
- higher order logic
- epistemic logic
- knowledge representation
- normative systems
- knowledge engineers
- machine learning
- temporal logic
- temporal reasoning
- decision makers
- data model
- lower bound
- multi agent systems
- artificial intelligence