On Inconsistency and Unsatisfiability.

Till Mossakowski Lutz Schröder

Published in: Int. J. Softw. Informatics (2015)

Keyphrases

classical logic
integrity checking
knowledge representation
orders of magnitude
semidefinite programming
max sat
inconsistent information