Propositional Logic Programming and Priz System.

Grigori Mints Enn Tyugu

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

Keyphrases

propositional logic
belief revision
first order logic
programming language
solving hard
lattice theory
belief change
propositional satisfiability
quantified boolean formulae
horn logic
davis putnam
satisfiability testing
search algorithm
orders of magnitude