Optimal Proof Systems for Propositional Logic and Complete Sets.

Jochen Meßner Jacobo Torán

Published in: STACS (1998)

Keyphrases

propositional logic
belief revision
proof procedure
expert systems
first order logic
domain knowledge
knowledge representation
artificial intelligence
horn logic
belief change
horn contraction
lattice theory
davis putnam
truth maintenance systems
propositional formulas
possibilistic logic
optimal solution