Quantified Propositional Logic and Translations.
Bo ChenCheng WuBing ZhangChanghui MaYuefei SuiPublished in: SKG (2017)
Keyphrases
- propositional logic
- first order logic
- belief revision
- lattice theory
- machine translation
- quantified boolean formulae
- proof procedure
- possibilistic logic
- propositional satisfiability
- satisfiability testing
- solving hard
- horn logic
- davis putnam
- belief change
- propositional formulas
- theorem proving
- domain knowledge
- machine learning