Measuring Inconsistency Through Subformula Forgetting.

Published in: SUM (2019)

Keyphrases

incremental learning
classical logic
expert systems
database systems
relational databases
upper bound
propositional formulas
boolean satisfiability
inconsistent information