Keyphrases
- knowledge base
- logic programming
- propositional knowledge base
- closed world reasoning
- nonmonotonic reasoning
- description logics
- knowledge acquisition
- belief base
- tableau calculus
- knowledge representation
- update semantics
- multiple inheritance
- knowledge based systems
- minimal models
- semantic network
- nonmonotonic logics
- default reasoning
- wordnet
- meta knowledge
- modal logic
- reasoning process
- possibilistic logic
- defeasible logic
- expert systems
- autoepistemic logic
- default logic
- model theoretic
- formal representation
- data sets
- knowledge sources
- logic programs
- domain specific
- bayesian networks
- artificial intelligence
- machine learning