On the Representation of Dependencies by Propositional Logic.

János Demetrovics Lajos Rónyai Hua nam Son

Published in: MFDBS (1991)

Keyphrases

propositional logic
horn logic
belief revision
propositional formulas
first order logic
possibilistic logic
quantified boolean formulae
davis putnam
lattice theory
belief change
multi valued
satisfiability testing
machine learning
search algorithm
query language
horn contraction