Pseudo-Propositional Logic.

Ahmad-Saher Azizi-Sultan

Published in: ARQNL@IJCAR (2018)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
possibilistic logic
quantified boolean formulae
belief change
proof procedure
satisfiability testing
propositional formulas
orders of magnitude
solving hard
knowledge base
horn logic