More AGM Inequalities: 11347 [2008, 167].
Mihály BenczeJulien GrivauxPublished in: Am. Math. Mon. (2009)
Keyphrases
- belief revision
- belief change
- sufficient conditions
- linear inequalities
- horn logic
- propositional logic
- mixed integer
- databases
- cutting plane algorithm
- facet defining inequalities
- integer solution
- planar graphs
- minimal change
- mixed integer linear programs
- objective function
- facet defining
- valid inequalities
- belief update
- real time
- neural network
- data sets