Correcting Inconsistency in Linear Inequalities by Minimal Change in the Right Hand Side Vector.
Saeed KetabchiMaziar SalahiPublished in: Comput. Sci. J. Moldova (2009)
Keyphrases
- linear inequalities
- minimal change
- belief revision
- belief base
- linear programming
- belief change
- linear program
- integer linear programming
- convex hull
- real numbers
- ctl model update
- update operations
- model theoretic
- reasoning about actions
- action theories
- propositional logic
- nonmonotonic reasoning
- np hard
- relational databases
- high dimensional
- learning algorithm