Independence Of Countable Sets Of Formulas Of The Propositional Logic.
Tahsin OnerMehmet TerzilerPublished in: Ars Comb. (2013)
Keyphrases
- propositional logic
- propositional formulas
- first order logic
- belief revision
- horn clauses
- quantified boolean formulae
- lattice theory
- possibilistic logic
- conjunctive normal form
- davis putnam
- proof procedure
- propositional satisfiability
- propositional variables
- sat problem
- belief change
- machine learning
- belief base
- inference rules
- logic programs
- satisfiability testing
- knowledge representation