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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	227-253
Journal	Annals of Mathematics and Artificial Intelligence
Volume	42
Issue number	1-3
DOIs	https://doi.org/10.1023/B:AMAI.0000034528.55456.d9
Publication status	Published - 2004

journals/amai/YolumS04

Access to Document

@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",

}

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

SN - 1012-2443

VL - 42

SP - 227

EP - 253

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

IS - 1-3

ER -