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.
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
{"_id":"ktGTJADrMMTJSfLXP","bibbaseid":"yolum-singh-reasoningaboutcommitmentsintheeventcalculusanapproachforspecifyingandexecutingprotocols-2004","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["Yolum, P.","Singh, M. P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Pinar"],"propositions":[],"lastnames":["Yolum"],"suffixes":[]},{"firstnames":["Munindar","P."],"propositions":[],"lastnames":["Singh"],"suffixes":[]}],"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","bibtex":"@article{DBLP:journals/amai/YolumS04,\n author = {Pinar Yolum and\n Munindar P. Singh},\n title = {Reasoning about Commitments in the Event Calculus: An Approach for\n Specifying and Executing Protocols},\n journal = {Ann. Math. Artif. Intell.},\n volume = {42},\n number = {1-3},\n pages = {227--253},\n year = {2004},\n url = {https://doi.org/10.1023/B:AMAI.0000034528.55456.d9},\n doi = {10.1023/B:AMAI.0000034528.55456.D9},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/amai/YolumS04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yolum, P.","Singh, M. P."],"key":"DBLP:journals/amai/YolumS04","id":"DBLP:journals/amai/YolumS04","bibbaseid":"yolum-singh-reasoningaboutcommitmentsintheeventcalculusanapproachforspecifyingandexecutingprotocols-2004","role":"author","urls":{"Paper":"https://doi.org/10.1023/B:AMAI.0000034528.55456.d9"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.304Z","downloads":0,"keywords":[],"search_terms":["reasoning","commitments","event","calculus","approach","specifying","executing","protocols","yolum","singh"],"title":"Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols","year":2004,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}