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

Published in: IJCAI (2020)

Keyphrases

extended abstract
belief base
inconsistent information
linear programming
belief merging
possibilistic logic
real time
belief change
inconsistent knowledge
integrity checking
classical logic
belief revision
knowledge base
stochastic programming
search algorithm
optimal solution
objective function