-
1
-
-
34247185859
-
Contextualizing commitment protocols
-
Chopra, A. K., and Singh, M. P. 2006. Contextualizing commitment protocols. In AAMAS, 1345-1352.
-
(2006)
AAMAS
, pp. 1345-1352
-
-
Chopra, A.K.1
Singh, M.P.2
-
2
-
-
35248825934
-
A modular action description language for protocol composition
-
Desai, N., and Singh, M. P. 2007. A modular action description language for protocol composition. In AAAI.
-
(2007)
AAAI
-
-
Desai, N.1
Singh, M.P.2
-
3
-
-
33745865103
-
Interaction protocols as design abstractions for business processes
-
Desai, N.; Mallya, A. U.; Chopra, A. K.; and Singh, M. P. 2005. Interaction protocols as design abstractions for business processes. IEEE T. Soft. Engg. 31(12):1015-1027.
-
(2005)
IEEE T. Soft. Engg
, vol.31
, Issue.12
, pp. 1015-1027
-
-
Desai, N.1
Mallya, A.U.2
Chopra, A.K.3
Singh, M.P.4
-
4
-
-
1142280927
-
Defining interaction protocols using a commitment-based agent communication language
-
Fornara, N., and Colombetti, M. 2003. Defining interaction protocols using a commitment-based agent communication language. In AAMAS, 520-527.
-
(2003)
AAMAS
, pp. 520-527
-
-
Fornara, N.1
Colombetti, M.2
-
5
-
-
33749077288
-
Model-based analysis of obligations in web service choreography
-
Foster, H.; Uchitel, S.; Magee, J.; and Kramer, J. 2006. Model-based analysis of obligations in web service choreography. In ICIW.
-
(2006)
ICIW
-
-
Foster, H.1
Uchitel, S.2
Magee, J.3
Kramer, J.4
-
6
-
-
9544247758
-
Conversation protocols: A formalism for specification and verification of reactive electronic services
-
Fu, X.; Bultan, T.; and Su, J. 2004. Conversation protocols: A formalism for specification and verification of reactive electronic services. Theoret. Comp. Sci. 328(1-2): 19-37.
-
(2004)
Theoret. Comp. Sci
, vol.328
, Issue.1-2
, pp. 19-37
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
7
-
-
1642484543
-
Nonmonotonic causal theories
-
Giunchiglia, E.; Lee, J.; Lifschitz, V.; McCain, N.; and Turner, H. 2004. Nonmonotonic causal theories. Artificial Intelligence 153(1-2)49-104.
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
Lifschitz, V.3
McCain, N.4
Turner, H.5
-
8
-
-
3543146027
-
SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions
-
Grosof, B. N., and Poon, T. C. 2004. SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. Intl. J. Electronic Commerce 8(4):61-98.
-
(2004)
Intl. J. Electronic Commerce
, vol.8
, Issue.4
, pp. 61-98
-
-
Grosof, B.N.1
Poon, T.C.2
-
13
-
-
0032675444
-
An ontology for commitments in multiagent systems
-
Singh, M. P. 1999. An ontology for commitments in multiagent systems Artificial Intelligence and Law 7:97-113.
-
(1999)
Artificial Intelligence and Law
, vol.7
, pp. 97-113
-
-
Singh, M.P.1
-
14
-
-
0008692054
-
A logical model of directed obligations and permissions to support electronic contracting
-
Tan, Y.-H., and Thoen, W. 1998. A logical model of directed obligations and permissions to support electronic contracting. Intl. J. Electronic Commerce 3(2):87-104.
-
(1998)
Intl. J. Electronic Commerce
, vol.3
, Issue.2
, pp. 87-104
-
-
Tan, Y.-H.1
Thoen, W.2
-
16
-
-
56249091024
-
Implementing commitment-based interaction
-
Winikoff, M. 2007. Implementing commitment-based interaction. In AAMAS.
-
(2007)
AAMAS
-
-
Winikoff, M.1
|