Computing Minimal Axiomatizations in Gödel Propositional Logic.
Stefano AguzzoliOttavio M. D'AntonaVincenzo MarraPublished in: J. Log. Comput. (2011)
Keyphrases
- propositional logic
- minimal models
- belief revision
- first order logic
- valued logic
- lattice theory
- quantified boolean formulae
- possibilistic logic
- propositional satisfiability
- decision procedures
- artificial intelligence
- belief change
- horn logic
- davis putnam
- satisfiability testing
- propositional formulas
- knowledge base