Incorporating Specificity in Extended Logic Programs for Belief Revision.
Berilhes Borges GarciaJosé Gabriel Pereira LopesPublished in: FLAIRS Conference (1998)
Keyphrases
- belief revision
- nonmonotonic reasoning
- extended logic programs
- default reasoning
- defeasible logic
- propositional logic
- belief change
- belief update
- logic programming
- minimal change
- temporal logic
- knowledge base
- logical properties
- answer sets
- conflict resolution
- incomplete information
- logic programs
- default logic
- fixpoint
- default theories
- nonmonotonic logics
- belief merging
- access control policies
- relational databases
- artificial intelligence