Belief Merging Using Normal Forms.
Pilar Pozos ParraLaurent PerrusselJean-Marc ThéveninPublished in: MICAI (1) (2011)
Keyphrases
- normal form
- belief merging
- belief revision
- database design
- relational databases
- functional dependencies
- database theory
- relational algebra
- nested relations
- formal definitions
- data dependencies
- belief change
- default reasoning
- propositional logic
- logical framework
- belief base
- database applications
- merging operators
- case study
- relational calculus
- logical properties
- database systems