The PMA and Relativizing Minimal Change for Action Update.

Patrick Doherty Witold Lukaszewicz Ewa Madalinska-Bugaj

Published in: KR (1998)

Keyphrases

minimal change
reasoning about actions
action theories
belief revision
situation calculus
belief update
belief change
update operations
logic program updates
logic programming
model theoretic
initial state
incomplete information
ctl model update
database
nonmonotonic reasoning