Belief Revision and Paraconsistency in a Logic Programming Framework.
Stephen G. PimentelWilliam L. RodiPublished in: LPNMR (1991)
Keyphrases
- logic programming
- nonmonotonic reasoning
- belief revision
- logic programs
- logical framework
- possibilistic logic
- plausible inference
- knowledge base
- reasoning tasks
- answer set programming
- default logic
- default reasoning
- cooperative multi agent
- conditional logic
- classical logic
- belief change
- deductive databases
- abductive reasoning
- propositional logic
- knowledge representation
- stable models
- inductive logic programming
- integrity constraints
- probabilistic reasoning
- possibility theory
- answer sets
- knowledge representation and reasoning
- nonmonotonic logics
- update operators
- programming language