G._Neelakantan__Kartha
A simple formalization of actions using circumscription
Actions with indirect effects (preliminary report
Soundness and completeness theorems for three formalizations of action
Two counterexamples related to Baker's approach to the frame problem