Next Steps in Propositional Horn Contraction.

Richard Booth Thomas Andreas Meyer Ivan José Varzinczak

Published in: IJCAI (2009)

Keyphrases

propositional logic
horn contraction
horn logic
first order logic
belief change
belief revision