Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Yolum, P. & Singh, M. P. Ann. Math. Artif. Intell., 42(1-3):227–253, 2004.
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols [link]Paper  doi  bibtex   
@article{DBLP:journals/amai/YolumS04,
  author       = {Pinar Yolum and
                  Munindar P. Singh},
  title        = {Reasoning about Commitments in the Event Calculus: An Approach for
                  Specifying and Executing Protocols},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {42},
  number       = {1-3},
  pages        = {227--253},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AMAI.0000034528.55456.d9},
  doi          = {10.1023/B:AMAI.0000034528.55456.D9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/YolumS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0