Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP.

Published in: J. Artif. Intell. Res. (2019)

Keyphrases

belief base
inconsistent information
linear programming
linear program
belief merging
classical logic
user centric
belief revision
possibilistic logic
database
learning algorithm
integrity constraints
boolean functions
real numbers