Programming Rational Agents in a Modal Action Logic
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols