Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

Pinar Yolum, Munindar P. Singh. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and Artificial Intelligence, 42(1-3):227-253, 2004. [doi]

Abstract

Abstract is missing.