Deductive reasoning and computing based on propositional logic.

Guiming Luo Chongyuan Yin

Published in: ICCI*CC (2016)

Keyphrases

propositional logic
deductive reasoning
first order logic
belief revision
knowledge representation
possibilistic logic
davis putnam
satisfiability testing
quantified boolean formulae
horn logic
propositional satisfiability
lattice theory
knowledge base
automated reasoning