-
3
-
-
0002582257
-
Formal specification of multi-agent systems: A real-world case
-
San Francisco, CA, June
-
F. Brazier, B. Dunin-Keplicz, N. R. Jennings, and J. Treur, "Formal specification of multi-agent systems: a real-world case," in Proc. First Int. Conf. on Mult-Agent Systems (ICMAS-95), San Francisco, CA, June 1995, pp. 25-32.
-
(1995)
Proc. First Int. Conf. on Mult-Agent Systems (ICMAS-95)
, pp. 25-32
-
-
Brazier, F.1
Dunin-Keplicz, B.2
Jennings, N.R.3
Treur, J.4
-
5
-
-
0002755418
-
Commitments: From individual intentions to groups and organizations
-
San Francisco, CA, June
-
C. Castelfranchi, "Commitments: from individual intentions to groups and organizations," in Proc. First Int. Conf. on Multi-Agent Systems (ICMAS-95), San Francisco, CA, June 1995, pp. 41-48.
-
(1995)
Proc. First Int. Conf. on Multi-Agent Systems (ICMAS-95)
, pp. 41-48
-
-
Castelfranchi, C.1
-
6
-
-
0003691163
-
-
Prentice Hall International: Hemel Hempstead, England
-
D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes, Object-Oriented Development: The FUSION Method. Prentice Hall International: Hemel Hempstead, England, 1994.
-
(1994)
Object-Oriented Development: The FUSION Method
-
-
Coleman, D.1
Arnold, P.2
Bodoff, S.3
Dollin, C.4
Gilchrist, H.5
Hayes, F.6
Jeremaes, P.7
-
7
-
-
0346675491
-
Agent oriented design of a soccer robot team
-
Kyoto, Japan
-
A. Collinot, A. Drogoul, and P. Benhamou, "Agent oriented design of a soccer robot team," in Proc. Second Int. Conf. on Multi-Agent Systems (ICMAS-96), Kyoto, Japan, 1996.
-
(1996)
Proc. Second Int. Conf. on Multi-Agent Systems (ICMAS-96)
-
-
Collinot, A.1
Drogoul, A.2
Benhamou, P.3
-
8
-
-
84961379308
-
A formal specifications of dMARS
-
M. P. Singh, A. Rao, and M. J. Wooldridge, (Eds.), Springer- Verlag: Berlin, Germany
-
M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge, "A formal specifications of dMARS," in Intelligent Agents IV (LNAI vol. 1365), M. P. Singh, A. Rao, and M. J. Wooldridge, (Eds.), Springer- Verlag: Berlin, Germany, 1997, pp. 155-176.
-
(1997)
Intelligent Agents IV
, vol.1365 LNAI
, pp. 155-176
-
-
D'Inverno, M.1
Kinny, D.2
Luck, M.3
Wooldridge, M.4
-
9
-
-
85027180910
-
A meta-model for the analysis and design of organizations in multiagent systems
-
Paris, France
-
J. Ferber, and O. Gutknecht, "A meta-model for the analysis and design of organizations in multiagent systems," in Proc. Third Int. Conf. on Multi-Agent Sytstems (ICMAS-98), Paris, France, 1998, pp. 128-135.
-
(1998)
Proc. Third Int. Conf. on Multi-Agent Sytstems (ICMAS-98)
, pp. 128-135
-
-
Ferber, J.1
Gutknecht, O.2
-
10
-
-
26644453020
-
On the formal specification and verification of multi-agent systems
-
M. Fisher and M.Wooldridge, "On the formal specification and verification of multi-agent systems," Int. J. Cooperative Inf. Syst., vol. 6(1), pp. 37-65, 1997.
-
(1997)
Int. J. Cooperative Inf. Syst.
, vol.6
, Issue.1
, pp. 37-65
-
-
Fisher, M.1
Wooldridge, M.2
-
11
-
-
0043242726
-
-
The Foundation for Intelligent Physical Agents, see http://www.fipa.org/.
-
-
-
-
12
-
-
0004189634
-
-
Addison-Wesley: Reading, MA
-
E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns, Addison-Wesley: Reading, MA, 1995.
-
(1995)
Design Patterns
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
13
-
-
0025957718
-
Social conceptions of knowledge and action: DAI foundations and open systems semantics
-
L. Gasser. "Social conceptions of knowledge and action: DAI foundations and open systems semantics," Artif. Intell., vol. 47, pp. 107-138, 1991.
-
(1991)
Artif. Intell.
, vol.47
, pp. 107-138
-
-
Gasser, L.1
-
14
-
-
0001118465
-
MACE: A flexible testbed for distributed AI research
-
M. Huhns, Ed., Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA
-
L. Gasser, C. Braganza, and N. Hermann, "MACE: A flexible testbed for distributed AI research," in Distributed Artificial Intelligence, M. Huhns, Ed., Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1987, pp. 119-152.
-
(1987)
Distributed Artificial Intelligence
, pp. 119-152
-
-
Gasser, L.1
Braganza, C.2
Hermann, N.3
-
15
-
-
0025960932
-
Open information systems semantics for distributed artificial intelligence
-
C. Hewitt. "Open information systems semantics for distributed artificial intelligence," Artif. Intell., vol. 47, pp. 79-106, 1991.
-
(1991)
Artif. Intell.
, vol.47
, pp. 79-106
-
-
Hewitt, C.1
-
16
-
-
84961318108
-
A survey of agent-oriented methodologies
-
Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), J. P. Müller, M. P. Singh, and A. S. Rao, (Eds.), Springer-Verlag: Heidelberg
-
C. A. Iglesias, M. Garijo, and J. C. Gonzalez, "A survey of agent-oriented methodologies," in Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence, J. P. Müller, M. P. Singh, and A. S. Rao, (Eds.), Springer-Verlag: Heidelberg, 1999.
-
(1999)
Lecture Notes in Artificial Intelligence
-
-
Iglesias, C.A.1
Garijo, M.2
Gonzalez, J.C.3
-
17
-
-
84961306668
-
Analysis and design of multiagent systems using MAS-CommonKADS
-
M. P. Singh, A. Rao, and M. J. Wooldridge, (Eds.), Springer-Verlag: Berlin, Germany
-
C. Iglesias, M. Garijo, J. C. Gonzalez, and J. R. Velasco, "Analysis and design of multiagent systems using MAS-CommonKADS," in Intelligent Agents IV (LNAI Volume 1365), M. P. Singh, A. Rao, and M. J. Wooldridge, (Eds.), Springer-Verlag: Berlin, Germany, 1998, pp. 313-326.
-
(1998)
Intelligent Agents IV
, vol.1365 LNAI
, pp. 313-326
-
-
Iglesias, C.1
Garijo, M.2
Gonzalez, J.C.3
Velasco, J.R.4
-
18
-
-
0026854612
-
Organization self design of production systems
-
April
-
T. Ishida, L. Gasser, and M. Yokoo, "Organization self design of production systems," IEEE Tran. Knowledge Data Eng., vol. 4(2), pp. 123-134, April 1992.
-
(1992)
IEEE Tran. Knowledge Data Eng.
, vol.4
, Issue.2
, pp. 123-134
-
-
Ishida, T.1
Gasser, L.2
Yokoo, M.3
-
19
-
-
0003132772
-
Using ARCHON to develop real-world DAI applications for electricity transportation management and particle acceleration control
-
December
-
N. R. Jennings, J. Corera, I. Laresgoiti, E. H. Mamdani, F. Perriolat, P. Skarek, and L. Z. Varga, "Using ARCHON to develop real-world DAI applications for electricity transportation management and particle acceleration control," IEEE Expert, vol. 11(6), pp. 60-88, December 1996.
-
(1996)
IEEE Expert
, vol.11
, Issue.6
, pp. 60-88
-
-
Jennings, N.R.1
Corera, J.2
Laresgoiti, I.3
Mamdani, E.H.4
Perriolat, F.5
Skarek, P.6
Varga, L.Z.7
-
20
-
-
0001622522
-
Agent-based business process management
-
N. R. Jennings, P. Faratin, M. J. Johnson, T. J. Norman, P. O'Brien, and M. E. Wiegand, "Agent-based business process management," Int. J. Cooperative Inf. Syst., vol. 5(2-3), pp. 105-130, 1996.
-
(1996)
Int. J. Cooperative Inf. Syst.
, vol.5
, Issue.2-3
, pp. 105-130
-
-
Jennings, N.R.1
Faratin, P.2
Johnson, M.J.3
Norman, T.J.4
O'Brien, P.5
Wiegand, M.E.6
-
22
-
-
84961295089
-
The AGENTIS agent interaction model
-
Intelligent Agents V - Proc. Fifth Int. Workshop on Agent Theories, Architectures, and Languages (ATAL-98), J. P. Müller, M. P. Singh, and A. S. Rao (Eds.), Springer-Verlag: Heidelberg
-
D. Kinny, "The AGENTIS agent interaction model," in Intelligent Agents V - Proc. Fifth Int. Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence, J. P. Müller, M. P. Singh, and A. S. Rao (Eds.), Springer-Verlag: Heidelberg, 1999.
-
(1999)
Lecture Notes in Artificial Intelligence
-
-
Kinny, D.1
-
23
-
-
84926333544
-
Modelling and design of multi-agent systems
-
J. P. Müller, M. Wooldridge, and N. R. Jennings (Eds.), Springer-Verlag: Berlin, Germany
-
D. Kinny and M. Georgeff, "Modelling and design of multi-agent systems," in Intelligent Agents III (LNAI Vol. 1193), J. P. Müller, M. Wooldridge, and N. R. Jennings (Eds.), Springer-Verlag: Berlin, Germany, 1997, pp. 1-20.
-
(1997)
Intelligent Agents III
, vol.1193 LNAI
, pp. 1-20
-
-
Kinny, D.1
Georgeff, M.2
-
24
-
-
84883596939
-
A methodology and modelling technique for systems of BDI agents
-
W. Van de Velde and J. W. Perram, (Eds.), Springer-Verlag: Berlin, Germany
-
D. Kinny, M. Georgeff, and A. Rao, "A methodology and modelling technique for systems of BDI agents," in Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Vol. 1038), W. Van de Velde and J. W. Perram, (Eds.), Springer-Verlag: Berlin, Germany, 1996, pp. 56-71.
-
(1996)
Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World
, vol.1038 LNAI
, pp. 56-71
-
-
Kinny, D.1
Georgeff, M.2
Rao, A.3
-
25
-
-
0003987308
-
-
Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia
-
D. Kinny, The Distributed Multi-Agent Reasoning System Architecture and Language Specification, Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia, 1993.
-
(1993)
The Distributed Multi-Agent Reasoning System Architecture and Language Specification
-
-
Kinny, D.1
-
26
-
-
84926334777
-
From agent theory to agent construction: A case study
-
J. P. Müller, M. Wooldridge, and N. R. Jennings (Eds.), Springer-Verlag: Berlin, Germany
-
M. Luck, N. Griffiths, and M. d'Inverno, "From agent theory to agent construction: A case study," in Intelligent Agents III (LNAI Vol. 1193), J. P. Müller, M. Wooldridge, and N. R. Jennings (Eds.), Springer-Verlag: Berlin, Germany, 1997, pp. 49-64.
-
(1997)
Intelligent Agents III
, vol.1193 LNAI
, pp. 49-64
-
-
Luck, M.1
Griffiths, N.2
D'Inverno, M.3
-
27
-
-
0003198663
-
Specification and development of reactive systems
-
Elsevier Science Publishers B.V: Amsterdam, The Netherlands
-
A. Pnueli, "Specification and development of reactive systems," in Information Processing 86, Elsevier Science Publishers B.V: Amsterdam, The Netherlands, 1986.
-
(1986)
Information Processing 86
-
-
Pnueli, A.1
-
28
-
-
0027560432
-
Agent-oriented programming
-
Y. Shoham, "Agent-oriented programming," Artif. Intell., 60(1), pp. 1-92, 1993.
-
(1993)
Artif. Intell.
, vol.60
, Issue.1
, pp. 1-92
-
-
Shoham, Y.1
-
31
-
-
0004268551
-
-
Prentice Hall International: Hemel Hempstead, England
-
M. Spivey, The Z Notation, 2nd ed., Prentice Hall International: Hemel Hempstead, England, 1992.
-
(1992)
The Z Notation, 2nd Ed.
-
-
Spivey, M.1
-
32
-
-
0031074051
-
Agent-based software engineering
-
February
-
M. Wooldridge, "Agent-based software engineering," IEEE Proc. Software Eng., 144(1):26-37, February 1997.
-
(1997)
IEEE Proc. Software Eng.
, vol.144
, Issue.1
, pp. 26-37
-
-
Wooldridge, M.1
-
33
-
-
84972263711
-
Intelligent agents: Theory and practice
-
M. Wooldridge and N. R. Jennings, "Intelligent agents: theory and practice," Knowledge Eng. Rev., vol. 10(2), pp. 115-152, 1995.
-
(1995)
Knowledge Eng. Rev.
, vol.10
, Issue.2
, pp. 115-152
-
-
Wooldridge, M.1
Jennings, N.R.2
-
34
-
-
0031655885
-
Pitfalls of agent-oriented development
-
Minneapolis/St Paul, MN, May
-
M. Wooldridge and N. R. Jennings, "Pitfalls of agent-oriented development," in Proc. Second Int. Conf. on Autonomous Agents (Agents 98), Minneapolis/St Paul, MN, May 1998, pp. 385-391.
-
(1998)
Proc. Second Int. Conf. on Autonomous Agents (Agents 98)
, pp. 385-391
-
-
Wooldridge, M.1
Jennings, N.R.2
-
35
-
-
0032645693
-
A methodology for agent-oriented analysis and design
-
Seattle, WA, May
-
M. Wooldridge, N. R. Jennings, and D. Kinny, "A methodology for agent-oriented analysis and design," in Proc. Third Int. Conf. on Autonomous Agents (Agents 99), Seattle, WA, May 1999, pp. 69-76.
-
(1999)
Proc. Third Int. Conf. on Autonomous Agents (Agents 99)
, pp. 69-76
-
-
Wooldridge, M.1
Jennings, N.R.2
Kinny, D.3
|