-
1
-
-
0028430255
-
Partial-order planning: Evaluating possible efficiency gains
-
May
-
D.Barrett and D. S. Weld. Partial-order planning: Evaluating possible efficiency gains. Artificial Intelligence, 67(1):71-112, May 1994.
-
(1994)
Artificial Intelligence
, vol.67
, Issue.1
, pp. 71-112
-
-
Barrett, D.1
Weld, D.S.2
-
2
-
-
0346942368
-
Decision-theoretic planning: Structural assumptions and computational leverage
-
C. Boutilier, T. Dean, and S. Hanks. Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research, 11:1 94, 1999.
-
(1999)
Journal of Artificial Intelligence Research
, vol.11
, Issue.1
, pp. 94
-
-
Boutilier, C.1
Dean, T.2
Hanks, S.3
-
3
-
-
84976763701
-
Branching time temporal logic
-
School/Workshop, volume 354 of LNAI, Springer-Verlag
-
E. Emerson and J. Srinivasan. Branching time temporal logic. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, volume 354 of LNAI, pages 123-172. Springer-Verlag, 1988.
-
(1988)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
, pp. 123-172
-
-
Emerson, E.1
Srinivasan, J.2
-
4
-
-
84949214276
-
On commitments, roles, and obligations
-
B. Dunin-Keplicz and E. Nawarecki, editors, volume 2296 of LNAI, Springer-Verlag Berlin Heidelberg
-
M. Fasli. On commitments, roles, and obligations. In B. Dunin-Keplicz and E. Nawarecki, editors, CEE MAS 2001, volume 2296 of LNAI, pages 93-102. Springer-Verlag Berlin Heidelberg, 2002.
-
(2002)
CEE MAS 2001
, pp. 93-102
-
-
Fasli, M.1
-
5
-
-
84985048295
-
On acting together
-
Cambridge, MA, USA, MIT Press
-
H. Levesque, P. Cohen, and J. Nunes. On acting together. In AAAI-90 Proceedings, Eighth National Conference on Artificial Intelligence, volume 2, pages 94-99, Cambridge, MA, USA, 1990. MIT Press.
-
(1990)
AAAI-90 Proceedings, Eighth National Conference on Artificial Intelligence
, vol.2
, pp. 94-99
-
-
Levesque, H.1
Cohen, P.2
Nunes, J.3
-
7
-
-
23144454066
-
Resolving commitments among autonomous agents
-
F. Dignum, editor, Advances in Agent Communication., volume 2922 of LNCS, Springer-Verlag, Berlin, Germany
-
A. Mallya, P. Yolum, and M. Singh. Resolving commitments among autonomous agents. In F. Dignum, editor, Advances in Agent Communication. International Workshop on Agent Communication Languages, ACL 2003, volume 2922 of LNCS, pages 166-82. Springer-Verlag, Berlin, Germany, 2003.
-
(2003)
International Workshop on Agent Communication Languages, ACL 2003
, pp. 166-182
-
-
Mallya, A.1
Yolum, P.2
Singh, M.3
-
8
-
-
0027694049
-
CIRCA: A cooperative intelligent real time control architecture
-
D. J. Musliner, E. H. Durfee, and K. G. Shin. CIRCA: A cooperative intelligent real time control architecture. IEEE Transactions on Systems, Man, and Cybernetics, 23(6):1561-1574, 1993.
-
(1993)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.23
, Issue.6
, pp. 1561-1574
-
-
Musliner, D.J.1
Durfee, E.H.2
Shin, K.G.3
-
9
-
-
84899823337
-
Multiagent systems a modern approach to distributed artificial intelligence, chapter formal methods
-
MIT Press, Cambridge, MA
-
M. P. Singh, A. S. Rao, and M. P. Georgeff. Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, chapter Formal Methods in DAI: Logic Based Representation and Reasoning, pages 201-258. MIT Press, Cambridge, MA., 1999.
-
(1999)
DAI: Logic Based Representation and Reasoning
, pp. 201-258
-
-
Singh, M.P.1
Rao, A.S.2
Georgeff, M.P.3
-
10
-
-
0019180974
-
The contract net protocol: High level communication and control in a distributed problem solver
-
R. G. Smith. The contract net protocol: High level communication and control in a distributed problem solver. In IEEE Transactions on Computers, C-29(12): 1104-1113, 1980.
-
(1980)
IEEE Transactions on Computers
, vol.C-29
, Issue.12
, pp. 1104-1113
-
-
Smith, R.G.1
-
14
-
-
0011175116
-
Incorporating uncertainty in agent commitments
-
Springer-Verlag
-
P. Xuan and V. R. Lesser. Incorporating uncertainty in agent commitments. In In: Proc. of ATAL-99, pages 221-234. Springer-Verlag, 1999.
-
(1999)
Proc. of ATAL-99
, pp. 221-234
-
-
Xuan, P.1
Lesser, V.R.2
|