Rafael H. Bordini

2009
58	EE	Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
2008
57	EE	Alessandro Ricci, Michele Piunti, L. Daghan Acay, Rafael H. Bordini, Jomi Fred Hübner, Mehdi Dastani: Integrating heterogeneous agent programming platforms within artifact-based environments. AAMAS (1) 2008: 225-232
56	EE	Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
55	EE	Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini: Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382
54	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
53	EE	Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
52	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
51	EE	Thomas Klapiscak, Rafael H. Bordini: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110
2007
50		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
49		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
48	EE	Patricia H. Shaw, Rafael H. Bordini: Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121
47	EE	Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007
46	EE	Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
45	EE	Jomi Fred Hübner, Rafael H. Bordini: Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245
44	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
43		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
42	EE	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
41	EE	Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293
40	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
39	EE	Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140
38	EE	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
37	EE	Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220
36	EE	Rafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61
35	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
34	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
33	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
32	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)
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

Coauthor Index

1	L. Daghan Acay	[57]
2	Diana F. Adamatti	[10]
3	Natasha Alechina	[38] [42]
4	Davide Ancona	[26]
5	G. Andrioti	[5]
6	Daniel M. Basso	[14]
7	Ana L. C. Bazzan	[4] [5] [6] [7] [10] [14]
8	John A. Campbell	[2] [3] [4] [12]
9	Antônio Carlos da Rocha Costa	[1] [20] [24] [37] [47] [52] [54]
10	Mehdi Dastani	[30] [31] [34] [35] [36] [43] [49] [50] [57]
11	Louise A. Dennis	[46] [53] [56]
12	Jürgen Dix	[30] [31] [43] [49]
13	Guilherme Drehmer	[11]
14	Amal El Fallah-Seghrouchni	[30] [31] [43] [49]
15	Berndt Farwer	[46] [53] [55] [56]
16	Michael Fisher	[16] [19] [21] [22] [25] [32] [46] [53] [56] [58]
17	Jomi Fred Hübner	[1] [26] [27] [28] [29] [33] [38] [39] [40] [41] [42] [45] [57]
18	Mark Jago	[38] [42]
19	Rafael de Oliveira Jannone	[14]
20	Thomas Klapiscak	[51]
21	Romulo C. Krafta	[11]
22	Victor R. Lesser	[14]
23	Brian Logan	[38] [42]
24	Rodrigo Machado	[8]
25	Viviana Mascardi	[26]
26	John-Jules Ch. Meyer	[34] [35] [50]
27	Álvaro F. Moreira	[9] [13] [18] [23] [28] [33] [44]
28	Luciana Porcher Nedel	[17]
29	Fabio Y. Okuyama	[11] [24] [37] [47] [52] [54]
30	Denise de Oliveira	[11]
31	Carmen Pardavila	[19] [21]
32	Michele Piunti	[57]
33	Alessandro Ricci	[57]
34	Maíra Ribeiro Rodrigues	[20]
35	Patricia H. Shaw	[48] [55]
36	Maarten Sierhuis	[58]
37	Jorge A. Torres	[17]
38	Daniel M. Tralamazza	[40]
39	Rosa Maria Vicari (Rosa Vicari, Rosa Maria Viccari)	[1] [5] [6] [14]
40	Renata Vieira	[2] [3] [12] [15] [18] [27] [28] [33] [44]
41	Willem Visser	[16] [19] [22] [25] [32]
42	Joachim Wahle	[5] [6]
43	Michael Winikoff	[36]
44	Michael Wooldridge	[16] [19] [21] [22] [25] [32] [39] [41] [44] [46]

Colors in the list of coauthors