Rewrite Rule Systems for Modal Propositional Logic.

Published in: J. Log. Program. (1992)

Keyphrases

propositional logic
nonmonotonic logics
first order logic
belief revision
expert systems
computational intelligence
davis putnam
lattice theory
machine learning
domain knowledge
knowledge based systems
logic programming
modal logic
possibilistic logic