Login / Signup
Horn Clause Belief Change: Contraction Functions.
James P. Delgrande
Published in:
KR (2008)
Keyphrases
</>
belief change
horn clauses
belief revision
belief update
propositional logic
horn logic
first order logic
probability theory
logic programs
prime implicates
fixpoint
minimal change
belief set
inference rules
inductive logic programming
database
agm postulates
rationality postulates
state space