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

P. Yolum, M. Singh

Research output: Contribution to JournalArticleAcademicpeer-review

LanguageEnglish
Pages227-253
JournalAnnals of Mathematics and Artificial Intelligence
Volume42
Issue number1-3
DOIs
Publication statusPublished - 2004

Bibliographical note

journals/amai/YolumS04

Cite this

@article{dd5d796f26e94197bbf1010288d812e9,
title = "Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols",
author = "P. Yolum and M. Singh",
note = "journals/amai/YolumS04",
year = "2004",
doi = "10.1023/B:AMAI.0000034528.55456.d9",
language = "English",
volume = "42",
pages = "227--253",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "1-3",

}

Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. / Yolum, P.; Singh, M.

In: Annals of Mathematics and Artificial Intelligence, Vol. 42, No. 1-3, 2004, p. 227-253.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

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

AU - Yolum, P.

AU - Singh, M.

N1 - journals/amai/YolumS04

PY - 2004

Y1 - 2004

U2 - 10.1023/B:AMAI.0000034528.55456.d9

DO - 10.1023/B:AMAI.0000034528.55456.d9

M3 - Article

VL - 42

SP - 227

EP - 253

JO - Annals of Mathematics and Artificial Intelligence

T2 - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 1-3

ER -