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]
@article{YolumS04:0,
title = {Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols},
author = {Pinar Yolum and Munindar P. Singh},
year = {2004},
url = {http://www.springerlink.com/index/10.1023/B:AMAI.0000034528.55456.d9},
tags = {protocol, systematic-approach},
researchr = {https://researchr.org/publication/YolumS04%3A0},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {42},
number = {1-3},
pages = {227-253},
}