| * | 2009 |
|---|
| 60 | EE | Rafael H. Bordini,
Michael Fisher,
Maarten Sierhuis:
Formal verification of human-robot teamwork.
HRI 2009: 267-268 |
| 2008 |
|---|
| 59 | EE | Alessandro Ricci,
Michele Piunti,
Daghan L. Acay,
Rafael H. Bordini,
Jomi Fred Hübner,
Mehdi Dastani:
Integrating heterogeneous agent programming platforms within artifact-based environments.
AAMAS (1) 2008: 225-232 |
| 58 | EE | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher:
A flexible framework for verifying agent programs.
AAMAS (3) 2008: 1303-1306 |
| 57 | EE | Patricia H. Shaw,
Berndt Farwer,
Rafael H. Bordini:
Theoretical and experimental results on the goal-plan tree problem.
AAMAS (3) 2008: 1379-1382 |
| 56 | EE | Fabio Y. Okuyama,
Rafael H. Bordini,
Antônio Carlos da Rocha Costa:
A distributed normative infrastructure for situated multi-agent organisations.
AAMAS (3) 2008: 1501-1504 |
| 55 | EE | Rafael H. Bordini,
Louise A. Dennis,
Berndt Farwer,
Michael Fisher:
Automated Verification of Multi-Agent Programs.
ASE 2008: 69-78 |
| 54 | EE | Fabio Y. Okuyama,
Rafael H. Bordini,
Antônio Carlos da Rocha Costa:
A Distributed Normative Infrastructure for Situated Multi-agent Organisations.
DALT 2008: 29-46 |
| 53 | EE | Thomas Klapiscak,
Rafael H. Bordini:
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.
DALT 2008: 91-110 |
| 52 | EE | Jomi Fred Hübner,
Rafael H. Bordini,
Gauthier Picard:
Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys.
ProMAS 2008: 238-242 |
| 2007 |
|---|
| 51 | | Rafael H. Bordini,
Mehdi Dastani,
John-Jules Ch. Meyer:
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 50 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Springer 2007 |
| 49 | EE | Patricia H. Shaw,
Rafael H. Bordini:
Towards Alternative Approaches to Reasoning About Goals.
DALT 2007: 104-121 |
| 48 | EE | Fabio Y. Okuyama,
Rafael H. Bordini,
Antônio Carlos da Rocha Costa:
Spatially Distributed Normative Objects.
Normative Multi-agent Systems 2007 |
| 47 | EE | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher,
Michael Wooldridge:
A Common Semantic Basis for BDI Languages.
PROMAS 2007: 124-139 |
| 46 | EE | Jomi Fred Hübner,
Rafael H. Bordini:
Developing a Team of Gold Miners Using Jason.
PROMAS 2007: 241-245 |
| 45 | EE | Renata Vieira,
Álvaro F. Moreira,
Michael Wooldridge,
Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.
J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007) |
| 2006 |
|---|
| 44 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Springer 2006 |
| 43 | EE | Natasha Alechina,
Rafael H. Bordini,
Jomi Fred Hübner,
Mark Jago,
Brian Logan:
Belief revision for AgentSpeak agents.
AAMAS 2006: 1288-1290 |
| 42 | EE | Jomi Fred Hübner,
Rafael H. Bordini,
Michael Wooldridge:
Plan patterns for declarative goals in AgentSpeak.
AAMAS 2006: 1291-1293 |
| 41 | EE | Rafael H. Bordini,
Jomi Fred Hübner,
Daniel M. Tralamazza:
Using Jason to Implement a Team of Gold Miners.
CLIMA VII 2006: 304-313 |
| 40 | EE | Jomi Fred Hübner,
Rafael H. Bordini,
Michael Wooldridge:
Programming Declarative Goals Using Plan Patterns.
DALT 2006: 123-140 |
| 39 | EE | Natasha Alechina,
Rafael H. Bordini,
Jomi Fred Hübner,
Mark Jago,
Brian Logan:
Automating Belief Revision for AgentSpeak.
DALT 2006: 61-77 |
| 38 | EE | Fabio Y. Okuyama,
Rafael H. Bordini,
Antônio Carlos da Rocha Costa:
Spatially Distributed Normative Infrastructure.
E4MAS 2006: 203-220 |
| 37 | EE | Rafael H. Bordini,
Mehdi Dastani,
Michael Winikoff:
Current Issues in Multi-Agent Systems Development.
ESAW 2006: 38-61 |
| 36 | EE | Mehdi Dastani,
John-Jules Ch. Meyer,
Rafael H. Bordini:
06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.
Foundations and Practice of Programming Multi-Agent Systems 2006 |
| 35 | EE | Mehdi Dastani,
John-Jules Ch. Meyer,
Rafael H. Bordini:
06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems.
Foundations and Practice of Programming Multi-Agent Systems 2006 |
| 34 | EE | Renata Vieira,
Álvaro F. Moreira,
Rafael H. Bordini,
Jomi Fred Hübner:
An Agent-Oriented Programming Language for Computing in Context.
IFIP PPAI 2006: 61-70 |
| 33 | EE | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Verifying Multi-agent Programs by Model Checking.
Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006) |
| 32 | EE | Rafael H. Bordini,
Lars Braubach,
Mehdi Dastani,
Amal El Fallah-Seghrouchni,
Jorge J. Gómez-Sanz,
João Leite,
Gregory M. P. O'Hare,
Alexander Pokahr,
Alessandro Ricci:
A Survey of Programming Languages and Platforms for Multi-Agent Systems.
Informatica (Slovenia) 30(1): 33-44 (2006) |
| 2005 |
|---|
| 31 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Multi-Agent Programming: Languages, Platforms and Applications
Springer 2005 |
| 30 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers
Springer 2005 |
| 29 | EE | Rafael H. Bordini,
Jomi Fred Hübner:
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper).
CLIMA VI 2005: 143-164 |
| 28 | EE | Álvaro F. Moreira,
Renata Vieira,
Rafael H. Bordini,
Jomi Fred Hübner:
Agent-Oriented Programming with Underlying Ontological Reasoning.
DALT 2005: 155-170 |
| 27 | | Rafael H. Bordini,
Jomi Fred Hübner,
Renata Vieira:
Jason and the Golden Fleece of Agent-Oriented Programming.
Multi-Agent Programming 2005: 3-37 |
| 2004 |
|---|
| 26 | EE | Davide Ancona,
Viviana Mascardi,
Jomi Fred Hübner,
Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
AAMAS 2004: 696-705 |
| 25 | EE | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
State-Space Reduction Techniques in Agent Verification.
AAMAS 2004: 896-903 |
| 24 | EE | Fabio Y. Okuyama,
Rafael H. Bordini,
Antônio Carlos da Rocha Costa:
ELMS: An Environment Description Language for Multi-agent Simulation.
E4MAS 2004: 91-108 |
| 23 | EE | Rafael H. Bordini,
Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages.
Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004) |
| 22 | EE | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Model Checking Rational Agents.
IEEE Intelligent Systems 19(5): 46-52 (2004) |
| 2003 |
|---|
| 21 | EE | Rafael H. Bordini,
Michael Fisher,
Carmen Pardavila,
Michael Wooldridge:
Model checking agentspeak.
AAMAS 2003: 409-416 |
| 20 | EE | Maíra Ribeiro Rodrigues,
Antônio Carlos da Rocha Costa,
Rafael H. Bordini:
A system of exchange values to support social interactions in artificial societies.
AAMAS 2003: 81-88 |
| 19 | EE | Rafael H. Bordini,
Michael Fisher,
Carmen Pardavila,
Willem Visser,
Michael Wooldridge:
Model Checking Multi-Agent Programs with CASP.
CAV 2003: 110-113 |
| 18 | EE | Álvaro F. Moreira,
Renata Vieira,
Rafael H. Bordini:
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.
DALT 2003: 135-154 |
| 17 | EE | Jorge A. Torres,
Luciana Porcher Nedel,
Rafael H. Bordini:
Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds.
IVA 2003: 197-201 |
| 16 | EE | Rafael H. Bordini,
Michael Fisher,
Willem Visser,
Michael Wooldridge:
Verifiable Multi-agent Programs.
PROMAS 2003: 72-89 |
| 15 | | Rafael H. Bordini,
Renata Vieira:
Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L).
RITA 10(1): 7-38 (2003) |
| 2002 |
|---|
| 14 | EE | Rafael H. Bordini,
Ana L. C. Bazzan,
Rafael de Oliveira Jannone,
Daniel M. Basso,
Rosa Maria Vicari,
Victor R. Lesser:
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling.
AAMAS 2002: 1294-1302 |
| 13 | | Rafael H. Bordini,
Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.
CLIMA III 2002: 94-108 |
| 12 | EE | Rafael H. Bordini,
Renata Vieira,
John A. Campbell:
An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies.
Foundations and Applications of Multi-Agent Systems 2002: 89-109 |
| 11 | EE | Rafael H. Bordini,
Fabio Y. Okuyama,
Denise de Oliveira,
Guilherme Drehmer,
Romulo C. Krafta:
The MAS-SOC Approach to Multi-agent Based Simulation.
RASTA 2002: 70-91 |
| 10 | EE | Ana L. C. Bazzan,
Diana F. Adamatti,
Rafael H. Bordini:
Extending the Computational Study of Social Norms with a Systematic Model of Emotions.
SBIA 2002: 108-117 |
| 9 | EE | Rafael H. Bordini,
Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 8 | EE | Rodrigo Machado,
Rafael H. Bordini:
Running AgentSpeak(L) Agents on SIM_AGENT.
ATAL 2001: 158-174 |
| 7 | EE | Ana L. C. Bazzan,
Rafael H. Bordini:
A framework for the simulation of agents with emotions.
Agents 2001: 292-299 |
| 2000 |
|---|
| 6 | EE | Ana L. C. Bazzan,
Rafael H. Bordini,
Rosa Maria Vicari,
Joachim Wahle:
Evolving Populations of Agents with Personalities in the Minority Game.
IBERAMIA-SBIA 2000: 166-175 |
| 5 | EE | Ana L. C. Bazzan,
Rafael H. Bordini,
G. Andrioti,
Rosa Maria Vicari,
Joachim Wahle:
Wayward Agents in a Commuting Scenario (Personalities in the Minority Game).
ICMAS 2000: 55-62 |
| 1998 |
|---|
| 4 | | Ana L. C. Bazzan,
Rafael H. Bordini,
John A. Campbell:
Moral Sentiments in Multi-Agent Systems.
ATAL 1998: 113-131 |
| 3 | EE | Rafael H. Bordini,
John A. Campbell,
Renata Vieira:
Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems.
J. Artificial Societies and Social Simulation 1(4): (1998) |
| 1997 |
|---|
| 2 | | Rafael H. Bordini,
John A. Campbell,
Renata Vieira:
Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems.
CIA 1997: 235-247 |
| 1995 |
|---|
| 1 | | Rafael H. Bordini,
Antônio Carlos da Rocha Costa,
Jomi Fred Hübner,
Rosa Maria Viccari:
Linguistic Support for Agent Migration.
ICMAS 1995: 441 |
