Publications by Rafael H. Bordini
-
- Bordini et al.
2008
-
Bordini, R. H., Dennis, L. A., Farwer, B., and Fisher, M.
2008.
Automated verification of multi-agent programs.
In 23rd IEEE/ACM International Conference on Automated Software
Engineering (ASE2008), 15-19 September, L'Aquila, Italy, 69-78.
IEEE.
- Bordini, Sierhuis, and
Fisher 2008
-
Bordini, R. H., Sierhuis, M., and Fisher, M.
2008.
Analysing human-agent teamwork.
In 10th ESA Workshop on Advanced Space Technologies for Robotics
and Automation (ASTRA 2008), 11-13 November, ESA/ESTEC, Noordwijk, The
Netherlands.
- Klapiscak, and
Bordini 2008
-
Klapiscak, T., and Bordini, R. H.
2008.
JASDL: A practical programming approach combining agent and
semantic web technologies.
In Baldoni, M., Son, T. C., van Riemsdijk, M. B., and Winikoff, M.,
eds., Sixth International Workshop on Declarative Agent Languages and
Technologies (DALT-2008), to held as part of AAMAS-2008, 12th May, Estoril,
Portugal.
To appear in Springer's LNAI series.
- Bordini 2008
-
Bordini, R. H.
2008.
Programming and verifying complex systems.
AISB Quarterly (The Newsletter of the Society for the Study of
Artificial Intelligence and Simulation of Behaviour) 126:3-5.
(Available online
here).
- Okuyama, Bordini, and da
Rocha Costa 2008
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2008.
A distributed normative infrastructure for situated multi-agent
organisations.
In Baldoni, M., Son, T. C., van Riemsdijk, M. B., and Winikoff, M.,
eds., Sixth International Workshop on Declarative Agent Languages and
Technologies (DALT-2008), to held as part of AAMAS-2008, 12th May, Estoril,
Portugal.
To appear in Springer's LNAI series.
- Bordini 2008
-
Bordini, R. H.
2008.
Simulating rational goal-directed behaviour using a logic-based
programming language for multi-agent systems (extended abstract for an
invited talk).
In Proceedings of the AISB 2008 Convention (Communication,
Interaction and Social Intelligence) -- Symposium on Logic and the
Simulation of Interaction and Reasoning, 3-4 April, Aberdeen, UK, volume 9.
AISB.
- Ricci et al.
2008
-
Ricci, A., Piunti, M., Acay, L. D., Bordini, R. H., Hübner, J. F., and
Dastani, M.
2008.
Integrating heterogeneous agent-programming platforms within
artifact-based environments.
In Padgham, L., Parkes, D., Müller, J., and Parsons, S., eds.,
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2008), 12-16 May, Estoril, Portugal, 225-232.
International Foundation for Autonomous Agents and Multiagent Systems
(www.ifaamas.org).
- Shaw, Farwer, and
Bordini 2008
-
Shaw, P. H., Farwer, B., and Bordini, R. H.
2008.
Theoretical and experimental results on the goal-plan tree problem
(short paper).
In Padgham, L., Parkes, D., Müller, J., and Parsons, S., eds.,
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2008), 12-16 May, Estoril, Portugal, 1379-1382.
International Foundation for Autonomous Agents and Multiagent Systems
(www.ifaamas.org).
- Okuyama, Bordini, and da
Rocha Costa 2008
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2008.
A distributed normative infrastructure for situated multi-agent
organisations (short paper).
In Padgham, L., Parkes, D., Müller, J., and Parsons, S., eds.,
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2008), 12-16 May, Estoril, Portugal, 1501-1504.
International Foundation for Autonomous Agents and Multiagent Systems
(www.ifaamas.org).
- Dennis et al.
2008a
-
Dennis, L. A., Farwer, B., Bordini, R. H., and Fisher, M.
2008a.
A flexible framework for verifying agent programs (short paper).
In Padgham, L., Parkes, D., Müller, J., and Parsons, S., eds.,
Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2008), 12-16 May, Estoril, Portugal, 1303-1306.
International Foundation for Autonomous Agents and Multiagent Systems
(www.ifaamas.org).
- Dennis et al.
2008b
-
Dennis, L. A., Bordini, R. H., Farwer, B., and Fisher, M.
2008b.
Model checking agent programming languages.
In Dennis, L. A., and Sorge, V., eds., 15th Workshop on
Automated Reasoning (ARW-2008) -- Bridging the Gap between Theory and
Practice. Birmingham, UK, 30-31 July, 16-17.
(Extended Abstract).
- Hübner, Bordini, and
Picard 2008
-
Hübner, J. F., Bordini, R. H., and Picard, G.
2008.
Using jason to develop a team of cowboys (a preliminary
design).
In Hindriks, K., Pokahr, A., and Sardina, S., eds., Sixth
International Workshop on Programming Multi-Agent Systems (ProMAS-2008), held
with AAMAS 2008, 13th May, Estoril, Portugal.
(Agent Contest Paper) To appear in Springer's LNAI series.
- Dennis et al.
2008
-
Dennis, L. A., Farwer, B., Bordini, R. H., Fisher, M., and Wooldridge, M.
2008.
A common semantic basis for bdi languages.
In Dastani, M., El Fallah Seghrouchni, A., Ricci, A., and Winikoff,
M., eds., Fifth international Workshop on Programming Multi-Agent
Systems (ProMAS-2007) - Revised and Invited Papers, held with AAMAS 2007,
May 15th, Honolulu, HI, volume 4908 of Lecture Notes in Computer
Science, 124-139.
Springer.
- Shaw, and
Bordini 2008
-
Shaw, P. H., and Bordini, R. H.
2008.
Towards alternative approaches to reasoning about goals.
In Baldoni, M., Son, T. C., van Riemsdijk, M. B., and Winikoff, M.,
eds., Fifth International Workshop on Declarative Agent Languages and
Technologies (DALT-2007) - Revised Selected and Invited Papers, held with of
AAMAS-2007, Honolulu, HI, 14th May, volume 4897 of Lecture Notes in
Computer Science, 104-121.
Springer.
- Hübner, and
Bordini 2008
-
Hübner, J. F., and Bordini, R. H.
2008.
Developing a team of gold miners using jason.
In Dastani, M., El Fallah Seghrouchni, A., Ricci, A., and Winikoff,
M., eds., Fifth International Workshop on Programming Multi-Agent
Systems (ProMAS-2007) - Revised and Invited Papers, held with AAMAS 2007,
15th May, Honolulu, HI, volume 4908 of Lecture Notes in Computer
Science, 241-245.
Springer.
(Agent Contest Paper).
-
- Bordini, Hübner, and Wooldridge 2007
-
Bordini, R. H., Hübner, J. F., and Wooldridge, M.
2007.
Programming Multi-Agent Systems in AgentSpeak Using
Jason.
Wiley Series in Agent Technology. John Wiley & Sons.
- Dennis et al.
2007
-
Dennis, L. A., Farwer, B., Bordini, R. H., Fisher, M., and Wooldridge, M.
2007.
A common semantic basis for bdi languages.
In Dastani, M., El Fallah Seghrouchni, A., Ricci, A., and Winikoff,
M., eds., Fifth international Workshop on Programming Multi-Agent
Systems (ProMAS-2007), held with AAMAS 2007, May 15th, Honolulu, HI.
To appear in Springer's LNCS series.
- Shaw, and Bordini 2007
-
Shaw, P. H., and Bordini, R. H.
2007.
Towards alternative approaches to reasoning about goals.
In Baldoni, M., Son, T. C., van Riemsdijk, M. B., and Winikoff, M.,
eds., Fifth International Workshop on Declarative Agent Languages and
Technologies (DALT-2007), held with of AAMAS-2007, Honolulu, HI, 14th May.
To appear in Springer's LNAI series.
- Okuyama, Bordini, and da
Rocha Costa 2007
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2007.
Spatially distributed normative infrastructure (invited paper).
In Weyns, D., Parunak, H. V. D., and Michel, F., eds., Third
International Workshop on Environments for Multi-Agent Systems (E4MAS-2006),
Hakodate, Japan, 8th May 2006 - Selected Revised and Invited Papers, volume
4389 of LNAI, 203-220.
Berlin: Springer.
- Hübner, and
Bordini 2007
-
Hübner, J. F., and Bordini, R. H.
2007.
Developing a team of gold miners using jason (a preliminary
design).
In Dastani, M., El Fallah Seghrouchni, A., Ricci, A., and Winikoff,
M., eds., Fifth International Workshop on Programming Multi-Agent
Systems (ProMAS-2007), held with AAMAS 2007, 15th May, Honolulu, HI.
(Agent Contest Paper) To appear in Springer's LNAI series.
- Dennis et al.
2007
-
Dennis, L. A., Farwer, B., Bordini, R. H., and Fisher, M.
2007.
A common semantic basis for bdi languages.
In Fourteenth Workshop on Automated Reasoning (ARW-2007) --
Bridging the Gap between Theory and Practice. Imperial College, London,
19-20th April.
(Extended Abstract).
- Okuyama, Bordini, and da
Rocha Costa 2007
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2007.
Augmenting multi-agent environment descriptions with a normative
infrastructure.
In Proceedings of the VI Brazilian Meeting on Artificial
Intelligence (ENIA'2007), held with XXVII Congress of the Brazilian Computing
Society, 3-6 July, Rio de Janeiro, Brazil, 1391-1400.
- Bordini 2007
-
Bordini, R. H.
2007.
Everything you always wanted to know about multi-agent systems but
were too afraid to ask.
Foundation (The Annual Periodical of the St. Chad's College
Foundation, UK) IV(1).
- Bordini, Hübner, and
Tralamazza 2007
-
Bordini, R. H., Hübner, J. F., and Tralamazza, D. M.
2007.
Using Jason to implement a team of gold miners.
In Inoue, K., Satoh, K., and Toni, F., eds., Proceedings of the
Seventh International Workshop on Computational Logic in Multi-Agent Systems
(CLIMA VII), held with AAMAS 2006, 8-9th May 2006, Hakodate, Japan -
Revised Selected and Invited Papers, volume 4371 of LNAI, 304-313.
Berlin: Springer.
(CLIMA Contest paper).
- Okuyama, Bordini, and da
Rocha Costa 2007a
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2007a.
Spatially distributed normative objects.
In Boella, G., van der Torre, L. W. N., and Verhagen, H., eds., Normative Multi-Agent Systems, Informal Proceedings of Dagstuhl Seminar
07122, 18-23 March.
IBFI, Schloss Dagstuhl, Germany.
(Available online
here).
- Okuyama, Bordini, and da
Rocha Costa 2007b
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2007b.
Spatially distributed normative objects.
In Noriega, P., Vázquez-Salceda, J. G. B., Boissier, O., Dignum,
V., Fornara, N., and Matson, E., eds., Coordination, Organizations,
Institutions, and Norms in Agent Systems II -- AAMAS 2006 and ECAI 2006
International Workshops, COIN 2006 Hakodate, Japan, May 9, Riva del Garda,
Italy, August 28 -- Revised Selected Papers, volume 4386 of LNAI,
133-146.
Berlin: Springer.
- Bordini, Dastani, and
Winikoff 2007
-
Bordini, R. H., Dastani, M., and Winikoff, M.
2007.
Current issues in multi-agent systems development (invited paper).
In O'Hare, G. M. P., Ricci, A., O'Grady, M. J., and Dikenelli, O.,
eds., Proceedings of the Seventh Annual International Workshop on
Engineering Societies in the Agents World (ESAW 2006), 6-8 September,
Dublin, Ireland - Revised Selected and Invited Papers, volume 4457 of LNAI, 38-61.
Berlin: Springer.
- Vieira et al. 2007
-
Vieira, R., Moreira, A., Wooldridge, M., and Bordini, R. H.
2007.
On the formal semantics of speech-act based communication in an
agent-oriented programming language.
Journal of Artificial Intelligence Research 29:221-267.
(Available online
here).
- Hübner, Bordini, and
Wooldridge 2007
-
Hübner, J. F., Bordini, R. H., and Wooldridge, M.
2007.
Programming declarative goals using plan patterns.
In Baldoni, M., and Endriss, U., eds., Proceedings of the Fourth
International Workshop on Declarative Agent Languages and Technologies (DALT
2006), held with AAMAS 2006, 8th May, Hakodate, Japan - Selected, Revised
and Invited Papers, volume 4327 of Lecture Notes in Computer Science,
123-140.
Springer.
- Alechina et al.
2007
-
Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., and Logan, B.
2007.
Automating belief revision for agentspeak.
In Baldoni, M., and Endriss, U., eds., Proceedings of the Fourth
International Workshop on Declarative Agent Languages and Technologies (DALT
2006), held with AAMAS 2006, 8th May, Hakodate, Japan - Selected, Revised
and Invited Papers, volume 4327 of Lecture Notes in Computer Science,
61-77.
Springer.
-
- Fisher et al. 2007
-
Fisher, M., Bordini, R. H., Hirsch, B., and Torroni, P.
2007.
Computational logics and agents: a road map of current technologies
and future trends.
Computational Intelligence 23(1):61-91.
(Available online
here, for subscribers.).
- Bordini, Dastani, and Winikoff 2006
-
Bordini, R. H., Dastani, M., and Winikoff, M.
2006.
Current issues in multi-agent systems development (extended abstract
for invited paper).
In O'Hare, G., O'Grady, M., Dikenelli, O., and Ricci, A., eds., Proceedings of the Seventh Annual International Workshop on Engineering
Societies in the Agents World (ESAW 2006), 6-8 September, Dublin, Ireland.
- Okuyama et al.
2006
-
Okuyama, F. Y., Vieira, R., Bordini, R. H., and da Rocha Costa, A. C.
2006.
An ontology for defining environments within multi-agent simulations.
In Guizzardi, G., and de Farias, C. R. G., eds., First Workshop
on Ontologies and Metemodeling in Software and Data Engineering, held with
XXI SBBD and XX SBES, 16-20 October, Florianópolis, Brazil.
- Okuyama, Bordini, and da
Rocha Costa 2006
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2006.
Spatially distributed normative objects.
In Boella, G., Boissier, O., Matson, E., and Vázquez-Salceda, J.,
eds., Proceedings of the Workshop on Coordination, Organization,
Institutions and Norms in Agent Systems (COIN), held with ECAI 2006, 28th
August, Riva del Garda, Italy.
- Vieira et al.
2006
-
Vieira, R., Moreira, Á. F., Bordini, R. H., and Hübner, J.
2006.
An agent-oriented programming language for computing in context.
In Debenham, J., ed., Proceedings of Second IFIP Symposium on
Professional Practice in Artificial Intelligence, held with the 19th IFIP
World Computer Congress, TC-12 Professional Practice Stream, 21-24 August,
Santiago, Chile, number 218 in IFIP International Federation for Information
Processing, 61-70.
Berlin: Springer.
- Bordini, and Hübner 2006
-
Bordini, R. H., and Hübner, J. F.
2006.
An overview of Jason.
Association for Logic Programming Newsletter 19(3).
(Available online
here).
- Shaw, and
Bordini 2006
-
Shaw, P. H., and Bordini, R. H.
2006.
Using decision theoretic techniques for reasoning about declarative
goals.
In Student Session Poster Presentation, Eighth European Agent
Systems Summer School (EASSS-06), 17-21 July, Annecy, France.
(Unpublished).
- Bordini et al. 2006
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds.
2006.
Proceedings of the Fourth International Workshop on Programming
Multi-Agent Systems (ProMAS 2006).
To appear in Springer's LNAI Series.
(ProMAS06 webpage).
- Bordini, Hübner, and
Tralamazza 2006
-
Bordini, R. H., Hübner, J. F., and Tralamazza, D. M.
2006.
Using Jason to implement a team of gold miners
(a preliminary design).
In Inoue, K., Satoh, K., and Toni, F., eds., Proceedings of the
Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII),
held with AAMAS 2006, 8-9th May, Hakodate, Japan, 233-237.
(CLIMA Contest paper).
- Hübner, Bordini, and
Wooldridge 2006
-
Hübner, J. F., Bordini, R. H., and Wooldridge, M.
2006.
Programming declarative goals using plan patterns.
In Baldoni, M., and Endriss, U., eds., Proceedings of the Fourth
International Workshop on Declarative Agent Languages and Technologies (DALT
2006), held with AAMAS 2006, 8th May, Hakodate, Japan, 65-81.
- Alechina et al.
2006
-
Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., and Logan, B.
2006.
Automating belief revision for agentspeak.
In Baldoni, M., and Endriss, U., eds., Proceedings of the Fourth
International Workshop on Declarative Agent Languages and Technologies (DALT
2006), held with AAMAS 2006, 8th May, Hakodate, Japan, 1-16.
- Hübner, Bordini, and
Wooldridge 2006
-
Hübner, J. F., Bordini, R. H., and Wooldridge, M.
2006.
Plan patterns for declarative goals in agentspeak.
In Stone, P., and Weiss, G., eds., Proceedings of the Fifth
International Joint Conference on Autonomous Agents and Multi-Agent Systems,
Hakodate, Japan, May 8-12, 2006, 1291-1293.
ACM Press.
Short paper.
- Alechina et al.
2006
-
Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., and Logan, B.
2006.
Belief revision for agentspeak agents.
In Stone, P., and Weiss, G., eds., Proceedings of the Fifth
International Joint Conference on Autonomous Agents and Multi-Agent Systems,
Hakodate, Japan, May 8-12, 2006, 1298-1290.
ACM Press.
Short paper.
- Bordini et al. 2006
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds.
2006.
Proceedings of the Third International Workshop on Programming
Multi-Agent Systems (ProMAS 2005), held with the Fourth International Joint
Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), 26th
July, Utrecht, Netherlands, number 3862 in LNAI. Berlin: Springer-Verlag.
(Available online
here, for subscribers.).
- Moreira et al.
2006
-
Moreira, Á. F., Vieira, R., Bordini, R. H., and Hübner, J. F.
2006.
Agent-oriented programming with underlying ontological reasoning.
In Baldoni, M., Endriss, U., Omicini, A., and Torroni, P., eds., Proceedings of the Third International Workshop on Declarative Agent
Languages and Technologies (DALT-05), held with AAMAS-05, 25th of July,
Utrecht, Netherlands, number 3904 in Lecture Notes in Computer Science,
155-170.
Springer.
- Bordini, and
Hübner 2006
-
Bordini, R. H., and Hübner, J. F.
2006.
BDI agent programming in agentspeak using
Jason.
In Toni, F., and Torroni, P., eds., Proceedings of the Sixth
International Workshop on Computational Logic in Multi-Agent Systems
(CLIMA VI), London, UK, 27-29 June, 2005, Revised Selected and Invited
Papers, number 3900 in Lecture Notes in Computer Science, 143-164.
Berlin: Springer-Verlag.
(Tutorial Paper).
- Bordini et al. 2006a
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2006a.
Verifying multi-agent programs by model checking.
Journal of Autonomous Agents and Multi-Agent Systems
12(2):239-256.
(Available online
here, for subscribers.).
- Bordini et al. 2006b
-
Bordini, R. H., Braubach, L., Dastani, M., Seghrouchni, A. E. F., Gomez-Sanz,
J. J., Leite, J., O'Hare, G., Pokahr, A., and Ricci, A.
2006b.
A survey of programming languages and platforms for multi-agent
systems.
Informatica 30(1):33-44.
(Available online
here.).
-
- Fisher et al.
2005
-
Fisher, M., Pearce, E., Wooldridge, M., Sierhuis, M., Visser, W., and Bordini,
R. H.
2005.
Towards the verification of human-robot teams.
In IEEE ISoLA Workshop on Leveraging Applications of Formal
Methods, Verification, and Validation, 23-24 September 2005, Loyola College
Graduate Center, Columbia, MD.
- Moreira et al.
2005
-
Moreira, Á. F., Vieira, R., Bordini, R. H., and Hübner, J.
2005.
Agent-oriented programming with underlying ontological reasoning.
In Baldoni, M., Endriss, U., Omicini, A., and Torroni, P., eds., Proceedings of the Third International Workshop on Declarative Agent
Languages and Technologies (DALT-05), held with AAMAS-05, 25th of July,
Utrecht, Netherlands, 132-147.
To appear as a volume of Springer's LNAI series.
- Bordini 2005
-
Bordini, R. H.
2005.
A recent experience in teaching multi-agent systems using
Jason.
In Fasli, M., Denzinger, J., and Verhagen, H., eds., Proceedings
of the Workshop on Workshop on Teaching Multi-Agent Systems (TeachMAS 2005),
held with AAMAS-05, 26th of July, Utrecht, Netherlands.
- Bordini, Hübner, and
Vieira 2005
-
Bordini, R. H., Hübner, J. F., and Vieira, R.
2005.
Jason and the Golden Fleece of
agent-oriented programming.
In Bordini, R. H., Dastani, M., Dix, J., and El Fallah Seghrouchni,
A., eds., Multi-Agent Programming: Languages, Platforms and
Applications. Springer-Verlag.
chapter 1, 3-37.
- Bordini et al. 2005a
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah Seghrouchni, A., eds.
2005a.
Multi-Agent Programming: Languages, Platforms and Applications.
Number 15 in Multiagent Systems, Artificial Societies, and Simulated
Organizations. Springer.
(This book is available for sale
here).
- Bordini et al.
2005b
-
Bordini, R. H., da Rocha Costa, A. C., Hübner, J. F., Moreira, Á. F.,
Okuyama, F. Y., and Vieira, R.
2005b.
MAS-SOC: a social simulation platform based on agent-oriented
programming.
Journal of Artificial Societies and Social Simulation 8(3).
JASSS Forum, < http://jasss.soc.surrey.ac.uk/8/3/7.html>.
(Please access the paper on-line
here).
- Bordini et al. 2005c
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds.
2005c.
Proceedings of the Third International Workshop on Programming
Multi-Agent Systems (ProMAS 2005).
To appear in Springer's LNAI Series.
(ProMAS05 webpage).
- Okuyama, Bordini, and da
Rocha Costa 2005
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2005.
ELMS: an environment description language for multi-agent
simulations.
In Weyns, D., van Dyke Parunak, H., Michel, F., Holvoet, T., and
Ferber, J., eds., Environments for Multiagent Systems, State-of-the-art
and Research Challenges. Proceedings of the First International Workshop on
Environments for Multiagent Systems (E4MAS), held with AAMAS-04, 19th of
July, number 3374 in Lecture Notes in Artificial Intelligence, 91-108.
Berlin: Springer-Verlag.
- Bordini et al. 2005
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds.
2005.
Programming Multi-Agent Systems: Second International Workshop
(ProMAS 2004), held with AAMAS-2004, 20th of July 2004, New York City, NY
(Revised Selected and Invited Papers), number 3346 in LNAI. Berlin:
Springer-Verlag.
(Available online
here, for subscribers.).
-
- Bordini et al. 2004
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2004.
Model checking rational agents.
IEEE Intelligent Systems 19(5):46-52.
(The article is accessible on-line
here, for subscribers.).
- Bordini, and Moreira 2004
-
Bordini, R. H., and Moreira, Á. F.
2004.
Proving BDI properties of agent-oriented programming languages: The
asymmetry thesis principles in AgentSpeak(L).
Annals of Mathematics and Artificial Intelligence
42(1-3):197-226.
Special Issue on Computational Logic in Multi-Agent Systems.
(The article is accessible on-line for subscribers at
here).
- Bordini et al. 2004a
-
Bordini, R. H., Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds.
2004a.
Proceedings of the Second International Workshop on
``Programming Multi-Agent Systems: Languages and Tools'' (ProMAS 2004).
To appear in Springer's LNAI Series.
(ProMAS04 webpage).
- Bordini et al.
2004b
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2004b.
State-space reduction techniques in agent verification.
In Proceedings of the Second European Workshop on Multi-Agent
Systems (EUMAS-2004), 16-17 December, Barcelona, Spain.
(EUMAS has no formal publication, this paper appeared in the Proceedings of
AAMAS-2004, see below.).
- Bordini et al.
2004c
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2004c.
State-space reduction techniques in agent verification.
In Jennings, N. R., Sierra, C., Sonenberg, L., and Tambe, M., eds.,
Proceedings of the Third International Joint Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19-23 July,
896-903.
New York, NY: ACM Press.
- Ancona et al.
2004
-
Ancona, D., Mascardi, V., Hübner, J. F., and Bordini, R. H.
2004.
Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange.
In Jennings, N. R., Sierra, C., Sonenberg, L., and Tambe, M., eds.,
Proceedings of the Third International Joint Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19-23 July,
698-705.
New York, NY: ACM Press.
- Hübner, Bordini, and
Vieira 2004
-
Hübner, J. F., Bordini, R. H., and Vieira, R.
2004.
Introdução ao desenvolvimento de sistemas multiagentes com
Jason.
In Itakura, F. T., Hauagge, J. M., Agner, L. T., Bim, S. A., Soares,
I. W., and de Ré, A. M., eds., XII Escola Regional de
Informática da SBC-Paraná (ERI2004), Inteligência Artificial,
16-20 de agosto, Guarapuava - PR, Brasil. Sociedade Brasileira de
Computação.
chapter 2, 51-89.
- Bordini et al.
2004
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2004.
Verifiable multi-agent programs.
In Dastani, M., Dix, J., and El Fallah-Seghrouchni, A., eds., Programming Multi-Agent Systems, Proceedings of the First International
Workshop (ProMAS-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia
(Selected Revised and Invited Papers), number 3067 in Lecture Notes in
Artificial Intelligence, 72-89.
Berlin: Springer-Verlag.
- Moreira, Vieira, and
Bordini 2004
-
Moreira, Á. F., Vieira, R., and Bordini, R. H.
2004.
Extending the operational semantics of a BDI agent-oriented
programming language for introducing speech-act based communication.
In Leite, J., Omicini, A., Sterling, L., and Torroni, P., eds., Declarative Agent Languages and Technologies, Proceedings of the First
International Workshop (DALT-03), held with AAMAS-03, 15 July, 2003,
Melbourne, Australia (Revised Selected and Invited Papers), number 2990 in
Lecture Notes in Artificial Intelligence, 135-154.
Berlin: Springer-Verlag.
- Okuyama, Bordini, and da
Rocha Costa 2004
-
Okuyama, F. Y., Bordini, R. H., and da Rocha Costa, A. C.
2004.
ELMS: an environment description language for multi-agent
simulations.
In Weyns, D., van Dyke Parunak, H., and Michel, F., eds., Proceedings of the First International Workshop on Environments for
Multiagent Systems (E4MAS), held with AAMAS-04, 19th of July, 67-83.
To appear in Springer's LNAI series.
- Okuyama, and
Bordini 2004a
-
Okuyama, F. Y., and Bordini, R. H.
2004a.
Descrição e geração de ambientes para simulações com sistemas
multiagente.
In XVII Best Theses and Dissertations Award (CTD2004), 4-5 of
August, part of the XXIV Congress of the Brazilian Computing Society
(SBC2004), held in Salvador, Brazil, 31st July to 6th August.
SBC.
- Okuyama, and
Bordini 2004b
-
Okuyama, F. Y., and Bordini, R. H.
2004b.
Descrição e geração de ambientes para simulações com sistemas
multiagente.
In II Workshop of Theses and Dissertations in Artificial
Intelligence (WTDIA'04), 28th of September, part of the XVII Brazilian
Symposium on Artificial Intelligence (SBIA'04), held in São Luis, Brazil,
from 29th of September to 1st of October.
- Torres, Nedel, and
Bordini 2004
-
Torres, J. A., Nedel, L. P., and Bordini, R. H.
2004.
Autonomous agents with multiple foci of attention in virtual
environments.
In Proceedings of 17th International Conference on Computer
Animation and Social Agents (CASA 2004), Geneva, Switzerland, 7-9 July,
189-196.
- Bordini, Hübner, and others 2004
-
Bordini, R. H., Hübner, J. F., et al.
2004.
Jason: A Java-based agentSpeak
interpreter used with saci for multi-agent distribution over the net,
manual, first release edition.
http://jason.sourceforge.net/.
(To download the online version click
here).
- Bordini et al.
2004
-
Bordini, R. H., Okuyama, F. Y., de Oliveira, D., Drehmer, G., and Krafta, R. C.
2004.
The MAS-SOC approach to multi-agent based simulation.
In Lindemann, G., Moldt, D., and Paolucci, M., eds., Proceedings
of the First International Workshop on Regulated Agent-Based Social Systems:
Theories and Applications (RASTA'02), 16 July, 2002, Bologna, Italy (held
with AAMAS02) -- Revised Selected and Invited Papers, number 2934 in
Lecture Notes in Artificial Intelligence, 70-91.
Berlin: Springer-Verlag.
-
- Bordini et al.
2003
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2003.
Verifiable multi-agent programs.
In Proceedings of the First European Workshop on Multi-Agent
Systems (EUMAS-2003), 18-19 December, St. Catherine's College, Oxford.
(EUMAS has no formal publication, this paper is a slighted shortened
version of the ProMAS-03 paper).
- Moreira, Vieira, and
Bordini 2003
-
Moreira, Á. F., Vieira, R., and Bordini, R. H.
2003.
Operational semantics of speech-act based communication in
agentspeak.
In Proceedings of the First European Workshop on Multi-Agent
Systems (EUMAS-2003), 18-19 December, St. Catherine's College, Oxford.
(EUMAS has no formal publication, this paper is a slighted shortened
version of the DALT-03 paper).
- Bordini, and
Vieira 2003
-
Bordini, R. H., and Vieira, R.
2003.
Linguagens de programação orientadas a agentes: uma
introdução baseada em AgentSpeak(L).
Revista de Informática Teórica e Aplicada X(1):7-38.
Instituto de Informática da UFRGS, Brazil.
- Torres, Nedel, and
Bordini 2003
-
Torres, J. A. R., Nedel, L. P., and Bordini, R. H.
2003.
Using the BDI architecture to produce autonomous characters in
virtual worlds.
In Rist, T., Aylett, R., Ballin, D., and Rickel, J., eds., Proceedings of the Fourth International Conference on Interactive Virtual
Agents (IVA 2003), Irsee, Germany, 15-17 September, number 2792 in Lecture
Notes in Artificial Intelligence, 197-201.
Heidelberg: Springer-Verlag.
Short paper.
- Bordini et al.
2003
-
Bordini, R. H., Fisher, M., Pardavila, C., and Wooldridge, M.
2003.
Model checking AgentSpeak.
In Rosenschein, J. S., Sandholm, T., Wooldridge, M., and Yokoo, M.,
eds., Proceedings of the Second International Joint Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia,
14-18 July, 409-416.
New York, NY: ACM Press.
- Rodrigues, da Rocha Costa, and
Bordini 2003
-
Rodrigues, M. R., da Rocha Costa, A. C., and Bordini, R. H.
2003.
A system of exchange values to support social interactions in
artificial societies.
In Rosenschein, J. S., Sandholm, T., Michael, W., and Yokoo, M.,
eds., Proceedings of the Second International Joint Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia,
14-18 July, 81-88.
New York, NY: ACM Press.
- Moreira, Vieira, and
Bordini 2003
-
Moreira, Á. F., Vieira, R., and Bordini, R. H.
2003.
Extending the operational semantics of a BDI agent-oriented
programming language for introducing speech-act based communication.
In Proceedings of the Workshop on Declarative Agent Languages
and Technologies (DALT-03), held with AAMAS-03, 15 July, 2003, Melbourne,
Australia.
To appear as a volume in Springer's LNAI series.
(The version available to download here is the one that appeared in the
pre-proceedings; the LNAI version will be slightly improved).
- Bordini et al.
2003a
-
Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M.
2003a.
Verifiable multi-agent programs.
In Proceedings of the First International Workshop on
Programming Multiagent Systems: languages, frameworks, techniques and tools
(ProMAS-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia.
To appear as a volume in Springer's LNAI series.
(The version available to download here is the one that appeared in the
pre-proceedings; the LNAI version will be slightly improved).
- Bordini et al.
2003b
-
Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., and Wooldridge, M.
2003b.
Model checking multi-agent programs with CASP.
In Hunt Jr., W. A., and Somenzi, F., eds., Proceedgins of the
Fifteenth Conference on Computer-Aided Verification (CAV-2003), Boulder, CO,
8-12 July, number 2725 in Lecture Notes in Computer Science, 110-113.
Berlin: Springer-Verlag.
Tool description.
Available online
here.
- Krafta, de Oliveira, and
Bordini 2003
-
Krafta, R., de Oliveira, D., and Bordini, R. H.
2003.
The city as object of human agency.
In Fourth International Space Syntax Symposium (SSS4), London,
17-19 June, 33.1-33.18.
The final published version is available online
here.
- Bordini et al.
2003
-
Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., and Wooldridge, M.
2003.
Model checking multi-agent programs with CASP.
In Pre-proceedings of Third Workshop on Automated Verification
of Critical Systems (AVoCS 2003), 2-3 April, Southampton, U.K.
This was an informal publication; the paper appeared in the proceedings of
CAV-2003 (see above).
-
- Bordini, Vieira, and
Campbell 2002
-
Bordini, R. H., Vieira, R., and Campbell, J. A.
2002.
An anthropological approach to the discovery of ontologies in
multi-agent societies.
In d'Inverno, M., Luck, M., Fisher, M., and Preist, C., eds., Foundations and Applications of Multi-Agent Systems: UKMAS Workshops
1996-2000, Selected Papers, number 2403 in Lecture Notes in Computer
Science. Berlin: Springer-Verlag.
89-109.
- Bazzan, Bordini, and
Campbell 2002
-
Bazzan, A. L. C., Bordini, R. H., and Campbell, J. A.
2002.
Evolving agents with moral sentiments in an iterated prisoner's
dilemma exercise.
In Parsons, S., Gmytrasiewicz, P., and Wooldridge, M., eds., Game Theory and Decision Theory in Agent-Based Systems. Dordrecht: Kluwer
Academic Publishers.
chapter 3, 43-64.
- Bordini, and
Moreira 2002
-
Bordini, R. H., and Moreira, Á. F.
2002.
Proving BDI properties of an agent-oriented logic programming
language.
In Pauly, M., Ball, M., and Wooldridge, M., eds., Proceedings of
the Workshop on Logic in Games and Multi-Agent Systems (LoGaMAS-02), 16-17
December, University of Liverpool.
Liverpool, U.K.
Extended abstract.
- Bazzan, Adamatti, and
Bordini 2002
-
Bazzan, A. L. C., Adamatti, D. F., and Bordini, R. H.
2002.
Extending the computational study of social norms with a systematic
model of emotions.
In Bittencourt, G., and Ramalho, G., eds., Advances in
artificial intelligence, Proceedings of the XVI Brazilian Symposium on
Artificial Intelligence (SBIA-02), 11-14th November, Recife, Brazil, number
2507 in Lecture Notes in Artificial Intelligence, 108-117.
Berlin: Springer-Verlag.
- Bordini, and
Moreira 2002
-
Bordini, R. H., and Moreira, Á. F.
2002.
Proving the asymmetry thesis principles for a BDI agent-oriented
programming language.
In Dix, J., Leite, J. A., and Satoh, K., eds., Proceedings of
the Third International Workshop on Computational Logic in Multi-Agent
Systems (CLIMA-02), 1st August, Copenhagen, Denmark, Electronic Notes in
Theoretical Computer Science 70(5).
Elsevier.
URL:
<http://www.elsevier.nl/locate/entcs/volume70.html>.
CLIMA-02 was held with FLoC-02. This paper was originally published in
Datalogiske Skrifter number 93, Roskilde University, Denmark, pages 94-108.
Click
here
to access the paper on-line.
- Bordini et al.
2002
-
Bordini, R. H., Bazzan, A. L. C., Jannone, R. O., Basso, D. M., Vicari, R. M.,
and Lesser, V. R.
2002.
AgentSpeak(XL): Efficient intention selection in BDI agents via
decision-theoretic task scheduling.
In Castelfranchi, C., and Johnson, W. L., eds., Proceedings of
the First International Joint Conference on Autonomous Agents and Multi-Agent
Systems (AAMAS-2002), 15-19 July, Bologna, Italy, 1294-1302.
New York, NY: ACM Press.
- Machado, and
Bordini 2002
-
Machado, R., and Bordini, R. H.
2002.
Running AgentSpeak(L) agents on SIM_AGENT.
In Meyer, J.-J., and Tambe, M., eds., Intelligent Agents VIII -
Proceedings of the Eighth International Workshop on Agent Theories,
Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA,
number 2333 in Lecture Notes in Artificial Intelligence, 158-174.
Berlin: Springer-Verlag.
- Moreira, and
Bordini 2002
-
Moreira, Á. F., and Bordini, R. H.
2002.
An operational semantics for a BDI agent-oriented programming
language.
In Meyer, J.-J. C., and Wooldridge, M. J., eds., Proceedings of
the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction
with the Eighth International Conference on Principles of Knowledge
Representation and Reasoning (KR2002), April 22-25, Toulouse, France,
45-59.
(The paper availabe here is not as printed in the proceedings, but a
slightly improved version).
- Rossetti et al. 2002
-
Rossetti, R. J. F., Bordini, R. H., Bazzan, A. L., Bampi, S., Liu, R., and
Van Vliet, D.
2002.
Using BDI agents to improve driver modelling in a commuter
scenario.
Transportation Research Part C: Emerging Technologies (Special
Issue on Intelligent Agents in Traffic and Transportation)
10(5-6):373-398.
The paper is available as HTML and PDF at
http://www.sciencedirect.com/ (for subscribers).
- Jung, Bordini, and
Vicari 2002
-
Jung, J. L., Bordini, R. H., and Vicari, R. M.
2002.
Concepção e implementação de um agente semiótico como
parte de um modelo social de aprendizagem a distância.
In XV Concurso de Teses e Dissertações (CTD 2002), part of
the XXII Congresso da Sociedade Brasileira de Computação (SBC 2002),
15-19 July, Florianópolis, Brazil.
SBC/UFSC.
- Jaques et al.
2002
-
Jaques, P., Andrade, A., Jung, J., Bordini, R., and Vicari, R.
2002.
Using pedagogical agents to support collaborative distance learning.
In International Conference on Computer Support for
Collaborative Learning (CSCL 2002), 7-11 January, Boulder, CO.
Abstract.
The full paper appeared in the electronic version of the proceedings and is
available here.
-
- Machado, and
Bordini 2001
-
Machado, R., and Bordini, R. H.
2001.
Running AgentSpeak(L) agents on SIM_AGENT.
In d'Inverno, M., and Luck, M., eds., Working Notes of the
Fourth UK Workshop on Multi-Agent Systems (UKMAS 2001), 13-14 December.
St. Catherine's College, Oxford.
Reprinted as in ATAL-2001 pre-proceedings.
- Machado et al.
2001
-
Machado, R., de Oliveira, D., Okuyama, F. Y., Drehmer, G., de Azambuja, M. G.,
and Bordini, R. H.
2001.
The implementation of a prototype interpreter for a BDI programming
language and its use in a social simulation framework.
In Palazzo, L. A. M., and Pontes, A. M., eds., V Oficina de
Inteligência Artificial - UCPEL, 21 e 22 de novembro, Pelotas, Brasil.
EDUCAT.
111-122.
- Bordini 2001
-
Bordini, R. H.
2001.
Introdução aos sistemas multiagentes.
In Nunes, M. A. S. N., ed., XI Seminário Regional de
Informática da URI, 6-9 de novembro, Santo Ângelo, Brasil.
Sociedade Brasileira de Computação.
p.24.
Abstract for an Invited Talk.
- Bordini et al.
2001
-
Bordini, R. H., Bazzan, A. L. C., Jannone, R. d. O., Basso, D. M., Vicari,
R. M., and Lesser, V. R.
2001.
Using the DTC scheduler to improve intention selection in BDI
agents.
In Proceedings of the Meeting for the Evaluation of the
Cooperative Research Projects supported by CNPq - ProTeM-CC
Programme, 1-3 October, Rio de Janeiro, Brazil.
- Jung et al.
2001
-
Jung, J., Jaques, P., Andrade, A., Bordini, R., and Vicari, R.
2001.
Um agente inteligente baseado na engenharia semiótica inserido em
um ambiente de aprendizado à distância.
In Proceedings of the IV Workshop on Human Factors in Computer
Systems (IHC-2001), 15-17 October, Florianópolis-SC, Brazil, 307-309.
Abstract.
- Bordini, Vieira, and
Moreira 2001
-
Bordini, R. H., Vieira, R., and Moreira, Á. F.
2001.
Fundamentos de sistemas multiagentes.
In Ferreira, C. E., ed., Anais do XXI Congresso da Sociedade
Brasileira de Computação (SBC2001), Volume 2, XX Jornada de
Atualização em Informática (JAI), 30 de julho - 3
de agosto, Fortaleza-CE, Brasil. Sociedade Brasileira de
Computação.
chapter 1, 3-41.
- Bazzan, and
Bordini 2001
-
Bazzan, A. L. C., and Bordini, R. H.
2001.
A framework for the simulation of agents with emotions: Report on
experiments with the iterated prisoner's dilemma.
In Müller, J. P., Andre, E., Sen, S., and Frasson, C., eds., Proceedings of the Fifth International Conference on Autonomous Agents
(Agents 2001), 28 May - 1 June, Montreal, Canada. ACM Press.
292-299.
- Bordini 2001
-
Bordini, R. H.
2001.
Inteligência artificial distribuída (uma
introdução aos sistemas multiagentes).
In Nedel, L. P., ed., IX Escola de Informática da SBC-Sul
(ERI2001), 21-25 de maio, Passo Fundo, São José, e Maringá,
Brasil. Sociedade Brasileira de Computação.
chapter 1, 1-26.
- Andrade et al.
2001
-
Andrade, A. F., Jaques, P. A., Jung, J. L., Bordini, R. H., and Vicari, R. M.
2001.
A computational model of distance learning based on Vygotsky's
socio-cultural approach.
In Workshop on Multi-Agent Based Learning Environments
(MABLE-2001) to be held with the X International Conference on Artificial
Intelligence on Education, 19-23 May, Antonio, TX.
-
- Bazzan et al.
2000
-
Bazzan, A. L. C., Bordini, R. H., Andriotti, G. K., Vicari, R., and Wahle, J.
2000.
Wayward agents in a commuting scenario (personalities in the minority
game).
In d'Inverno, M., and Luck, M., eds., Working Notes of the
Third UK Workshop on Multi-Agent Systems (UKMAS 2000), 14-15 December.
St. Catherine's College, Oxford.
Reprinted as in ICMAS'2000 proceedings.
- Andrade et al.
2000
-
Andrade, A. F., Jaques, P. A., Vicari, R. M., Bordini, R. H., and Jung, J. L.
2000.
Uma proposta de modelo computacional de aprendizagem à
distância baseada na concepção socio-interacionista de
Vygotsky.
In II Workshop de Ambientes de Aprendizagem Baseados em Agentes,
to be held with XI Simpósio Brasileiro de Informática na
Educação (SBIE 2000), 8-10 November, Maceió, Brazil.
- Bazzan et al.
2000
-
Bazzan, A. L. C., Bordini, R. H., Vicari, R., and Wahle, J.
2000.
Evolving populations of agents with personalities in the minority
game.
In Monard, M. C., and Sichman, J. S., eds., Proceedings of the
International Joint Conference: 7th Ibero-American Conference on AI and 15th
Brazilian Symposium on AI (IBERAMIA-SBIA 2000), 19-22 November, Atibaia-SP,
Brazil, number 1952 in Lecture Notes in Artificial Intelligence, 166-175.
Berlin: Springer-Verlag.
- Bazzan, and
Bordini 2000
-
Bazzan, A. L. C., and Bordini, R. H.
2000.
Evolving agents with moral sentiments in an iterated prisoner's
dilemma exercise.
In Parsons, S., and Gmytrasiewicz, P., eds., Proceedings of the
Second Workshop on Game Theoretic and Decision Theoretic Agents (GTDT-2001),
held in conjunction with the Fourth International Conference on Multi-Agent
Systems (ICMAS'2000), 10-12 July, Boston, 13-25.
- Wahle et al.
2000a
-
Wahle, J., Bazzan, A. L. C., Bordini, R. H., and Schreckenberg, M.
2000a.
Human factors in a commuter scenario.
In Lindau, L. A., Ortúzar, J. d. D., and Strambi, O., eds., Engenharia de TrŽáfego e Transportes 2000: Avanços para uma era Era de
Mudanças. Proceedings of the XI Congresso Panamericano de Engenharia de
Trânsito e Transporte. Gramado, RS, Brazil, 19-23 november 2000,
327-338.
Rio de Janeiro, Brazil: Associação Nacional de Pesquisa e
Ensino em Tranportes.
- Wahle et al.
2000b
-
Wahle, J., Bazzan, A. L. C., Bordini, R. H., and Schreckenberg, M.
2000b.
Adding personalities to the minority game: A commuter scenario.
In 229th WE-Heraeus-Seminar - Economic Dynamics from the
Physics Point of View, 27-30 March 2000.
Physikzentrum, Bad Honnef, Germany.
Abstract.
- Bazzan, Wahle, and
Bordini 2000
-
Bazzan, A. L. C., Wahle, J., and Bordini, R. H.
2000.
Simulating agent personalities in a commuting scenario.
In Klügl, F., Puppe, F., Schwarz, P., and Szczerbicka, H., eds.,
Proceedings of the 14th Workshop of the ASIM Working Group: Multi-Agent
Systems and Individual-Based Simulation, 20-21 March 2000, Bayerische
Julius-Maximilians-Universität, Würzburg, Germany, 25-29.
- Bazzan et al.
2000
-
Bazzan, A. L. C., Bordini, R. H., Andriotti, G. K., Vicari, R. M., and Wahle,
J.
2000.
Wayward agents in a commuting scenario (personalities in the minority
game).
In Durfee, E., ed., Proceedings of the Fourth International
Conference on Multi-Agent Systems (ICMAS'2000), 10-12 July, Boston, MA,
55-62.
Los Alamitos, CA: IEEE Computer Society.
- Bordini et al.
2000
-
Bordini, R. H., Bazzan, A. L. C., Vicari, R. M., and Campbell, J. A.
2000.
Moral sentiments in the iterated prisoner's dilemma and in
multi-agent systems.
Brazilian Electronic Journal of Economics 3(1).
URL: <http://www.beje.decon.ufpe.br/>.
-
- Bordini, Campbell, and
Vieira 1999
-
Bordini, R. H., Campbell, J. A., and Vieira, R.
1999.
Extending ascribed intensional ontologies with taxonomical relations
in anthropological descriptions of multi-agent systems.
In Preist, C., ed., Proceedings of the Second Workshop of the UK
Special Interest Group on Multi-Agent Systems, 179-201.
Hewlett-Packard Laboratories, Bristol, 6th-7th of December, 1999.
Reprinted abridged version of the JASSS paper.
- Bordini 1999
-
Bordini, R. H.
1999.
Contributions to an Anthropological Approach to the Cultural
Adaptation of Migrant Agents.
Ph.D. Dissertation, University of London.
- Bazzan, Bordini, and
Campbell 1999
-
Bazzan, A. L. C., Bordini, R. H., and Campbell, J. A.
1999.
Moral sentiments in multi-agent systems.
In Müller, J. P., Singh, M. P., and Rao, A. S., eds., Intelligent Agents V--Proceedings of the Fifth International Workshop on
Agent Theories, Architectures, and Languages (ATAL-98), held as part of the
Agents' World, Paris, 4-7 July, 1998, number 1555 in Lecture Notes in
Artificial Intelligence, 113-131.
Heidelberg: Springer-Verlag.
UCL-CS [RN/98/29].
-
- Bordini, Campbell, and
Vieira 1998
-
Bordini, R. H., Campbell, J. A., and Vieira, R.
1998.
Extending ascribed intensional ontologies with taxonomical relations
in anthropological descriptions of multi-agent systems.
Journal of Artificial Societies and Social Simulation 1(4).
<http://www.soc.surrey.ac.uk/JASSS/1/4/3.html>.
(Please access the paper on-line
here.
There is also a PDF version available there.).
-
- Bazzan, Bordini, and
Campbell 1997
-
Bazzan, A. L. C., Bordini, R. H., and Campbell, J. A.
1997.
Agents with moral sentiments in an iterated prisoner's dilemma
exercise.
In Dautenhahn, K., Masthoff, J., and Numaoka, C., eds., Proceedings of the AAAI Fall Symposium on Socially Intelligent Agents, 8-10
November, Cambridge, MA, 4-6.
Menlo Park, CA: AAAI Press.
AAAI Press Technical Report FS-97-02. UCL-CS [RN/97/74].
- Bordini, Campbell, and
Vieira 1997
-
Bordini, R. H., Campbell, J. A., and Vieira, R.
1997.
Ascription of intensional ontologies in anthropological descriptions
of multi-agent systems.
In Kandzia, P., and Klusch, M., eds., Proceedings of the First
International Workshop on Cooperative Information Agents (CIA'97), 26-28
February, Kiel, Germany, volume 1202 of Lecture Notes in Artificial
Intelligence, 235-247.
Berlin: Springer-Verlag.
UCL-CS [RN/97/1].
-
- Bordini, Campbell, and
Vieira 1996
-
Bordini, R. H., Campbell, J. A., and Vieira, R.
1996.
Ascribing intensional ontologies in anthropologically-based cultural
descriptions of multi-agent systems.
In Durfee, E., ed., Proceedings of the Second International
Conference on Multi-Agent Systems (ICMAS'96), 11-13 December, Kyoto, Japan,
427.
Menlo Park, CA: AAAI Press.
Extended Abstract. UCL-CS [RN/96/69].
-
- Bordini, and
Campbell 1995a
-
Bordini, R. H., and Campbell, J. A.
1995a.
Anthropologically-based migration of agents: a new approach to
interoperability.
Research Note UCL-CS [RN/95/79], Department of Computer Science,
University College London.
- Bordini, and
Campbell 1995b
-
Bordini, R. H., and Campbell, J. A.
1995b.
Towards an anthropological approach to agent adaptation.
In Proceedings of the First International Workshop on
Decentralized Intelligent and Multi-Agent Systems (DIMAS'95), II/74-II/83.
Krakow, Poland: Dom Wydawnictwa Naukowych, 22-24 November, 1995.
UCL-CS [RN/95/78].
- Hübner, da Rocha Costa, and
Bordini 1995
-
Hübner, J. F., da Rocha Costa, A. C., and Bordini, R. H.
1995.
Identificação de papéis por apresentação na
entrada de agentes em sociedades abertas.
Dynamis 3(13):41-53.
Blumenau, Brazil.
Also available (as html)
here.
- Bordini et al.
1995
-
Bordini, R. H., da Rocha Costa, A. C., Hübner, J. F., and Viccari, R. M.
1995.
Linguistic support for agent migration.
In Lesser, V., and Gasser, L., eds., Proceedings of the First
International Conference on Multi-Agent Systems (ICMAS'95), 12-14 June, San
Francisco, CA, 441.
Menlo Park, CA: AAAI Press / MIT Press.
Extended Abstract.
-
- Bordini 1994
-
Bordini, R. H.
1994.
Suporte lingüístico para migração de agentes.
Master's thesis, Curso de Pós-Graduação em Ciência da
Computação, Universidade Federal do Rio Grande do Sul, Porto Alegre,
Brazil.
You can get an extended abstract of it in English
here.
- da Rocha Costa, Hübner, and
Bordini 1994
-
da Rocha Costa, A. C., Hübner, J. F., and Bordini, R. H.
1994.
On entering an open society.
In XI Brazilian Symposium on Artificial Intelligence,
535-546.
Fortaleza: Brazilian Computing Society, October, 1994.
Revised version here.
- Bordini 1993
-
Bordini, R. H.
1993.
Extending isabelle's classical first-order logic for proving theorems
of the acceptance relation theory.
Research Report [TI-319], CPGCC da UFRGS, Porto Alegre.
This page is generated from my BIBTEX files using a style I
changed on the 27th of Februrary 2001.
Thank you for visiting my Publications page.
Back to my home page.
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.70)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -no_navigation PublicationsWebPage
The translation was initiated by Rafael H. Bordini on 2009-02-05
Rafael H. Bordini
2009-02-05