Compilability and compact representations of revision of Horn knowledge bases.
Paolo LiberatorePublished in: ACM Trans. Comput. Log. (2000)
Keyphrases
- compact representations
- knowledge base
- theory revision
- belief revision
- np hard
- horn contraction
- propositional logic
- description logics
- horn logic
- expert systems
- concept learning
- knowledge based systems
- probabilistic inference
- knowledge acquisition
- knowledge representation
- belief base
- possibilistic logic
- background knowledge
- horn theories
- learning algorithm
- revision operators
- knowledge compilation
- semantic network
- knowledge sources
- logic programming
- belief change
- default reasoning
- wordnet