Login / Signup
Representing Paraconsistent Reasoning via Quantified Propositional Logic.
Philippe Besnard
Torsten Schaub
Hans Tompits
Stefan Woltran
Published in:
Inconsistency Tolerance (2005)
Keyphrases
</>
propositional logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
lattice theory
belief change
solving hard
davis putnam
artificial intelligence
fuzzy logic
multi context systems
satisfiability testing