Using Answer Sets to Solve Belief Change Problems.

Aaron Hunter James P. Delgrande Joel Faber

Published in: LPNMR (2007)

Keyphrases

belief change
answer sets
logic programs
belief revision
belief update
artificial intelligence
logic programming
answer set programming
fixpoint
np complete
decision problems
normal logic programs
update operators