Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.

James P. Delgrande Renata Wassermann

Published in: KR (2010)

Keyphrases

belief change
belief set
belief revision
belief base
belief update
horn clauses
horn logic
minimal change
propositional logic
domain knowledge
horn contraction
logic programs
probability theory