Rafael H. Bordini

	2012
82		Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)
	2011
81		Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini: Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. DALT 2011: 111-116
80		Rafael H. Bordini: Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011. DALT 2011: 149-151
79		Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci: CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116
78		Alessandro Ricci, Rafael H. Bordini, Gul A. Agha: AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. OOPSLA Companion 2011: 325-326
77		Alessandro Ricci, Gul Agha, Rafael H. Bordini: Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. SPLASH Workshops 2011: 143-146
76		Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: A normative programming language for multi-agent organisations. Ann. Math. Artif. Intell. 62(1-2): 27-53 (2011)
75		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Preface. Autonomous Agents and Multi-Agent Systems 23(2): 155-157 (2011)
74		Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael Wooldridge: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language CoRR abs/1111.0041: (2011)
	2010
73		Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: From Organisation Specification to Normative Programming in Multi-Agent Organisations. CLIMA 2010: 117-134
72		Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. ECAI 2010: 1035-1036
71		Rafael H. Bordini, Jomi Fred Hübner: Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). ECAI 2010: 635-640
70		Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. LADS 2010: 115-135
69		Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr: An Interface for Agent-Environment Interaction. ProMAS 2010: 139-158
68		Jomi Fred Hübner, Rafael H. Bordini: Using agent- and organisation-oriented programming to develop a team of agents for a competitive game. Ann. Math. Artif. Intell. 59(3-4): 351-372 (2010)
67		Rafael H. Bordini, Mehdi Dastani: Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). Autonomous Agents and Multi-Agent Systems 20(3): 305-307 (2010)
	2009
66		Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: A Normative Organisation Programming Language for Organisation Management Infrastructures. COIN@AAMAS&IJCAI&MALLOW 2009: 114-129
65		Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
64		Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: Normative Programming for Organisation Management Infrastructures. MALLOW 2009
63		Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
	2008
62		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
61		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
60		Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini: Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382
59		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
58		Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
57		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
56		Thomas Klapiscak, Rafael H. Bordini: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110
55		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
54		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
53		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
52		Patricia H. Shaw, Rafael H. Bordini: Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121
51		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007
50		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
49		Jomi Fred Hübner, Rafael H. Bordini: Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245
48		Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni: Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Computational Intelligence 23(1): 61-91 (2007)
47		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
46		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
45		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
44		Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293
43		Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza: Using Jason to Implement a Team of Gold Miners. CLIMA 2006: 304-313
42		Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140
41		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
40		Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220
39		Rafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61
38		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
37		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
36		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
35		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)
34		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
33		Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Multi-Agent Programming: Languages, Platforms and Applications Springer 2005
32		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
31		Rafael H. Bordini, Jomi Fred Hübner: BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). CLIMA 2005: 143-164
30		Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner: Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170
29		Rafael H. Bordini, Jomi Fred Hübner, Renata Vieira: Jason and the Golden Fleece of Agent-Oriented Programming. Multi-Agent Programming 2005: 3-37
28		Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira: MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. J. Artificial Societies and Social Simulation 8(3): (2005)
	2004
27		Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705
26		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
25		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
24		Rafael H. Bordini, Álvaro F. Moreira: Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004)
23		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
	2003
22		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
21		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
20		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
19		Á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
18		Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini: Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. IVA 2003: 197-201
17		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
16		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
15		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
14		Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 94-108
13		Patrícia Augustin Jaques, Adja Ferreira de Andrade, João Luiz Jung, Rafael H. Bordini, Rosa Vicari: Using pedagogical agents to support collaborative distance learning. CSCL 2002: 546-547
12		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		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		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		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): 108-125 (2002)
	2001
8		Rodrigo Machado, Rafael H. Bordini: Running AgentSpeak(L) Agents on SIM_AGENT. ATAL 2001: 158-174
7		Ana L. C. Bazzan, Rafael H. Bordini: A framework for the simulation of agents with emotions. Agents 2001: 292-299
	2000
6		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		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		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	Daghan L. Acay	[62]
2	Diana F. Adamatti	[10]
3	Gul A. Agha (Gul Agha)	[77] [78]
4	Natasha Alechina	[41] [45]
5	Davide Ancona	[27] [79]
6	Adja Ferreira de Andrade	[13]
7	G. Andrioti	[5]
8	Daniel M. Basso	[15]
9	Ana L. C. Bazzan (Ana Lúcia C. Bazzan)	[4] [5] [6] [7] [10] [15]
10	Tristan M. Behrens	[69]
11	Olivier Boissier	[64] [66] [73] [76]
12	Lars Braubach	[34] [69]
13	John A. Campbell	[2] [3] [4] [12]
14	Antônio Carlos da Rocha Costa	[1] [21] [25] [28] [40] [51] [57] [59]
15	Mehdi Dastani	[32] [33] [34] [37] [38] [39] [46] [53] [54] [62] [67] [69] [75]
16	Louise A. Dennis	[50] [58] [61] [82]
17	Jürgen Dix	[32] [33] [46] [53] [69] [75]
18	Guilherme Drehmer	[11]
19	Amal El Fallah-Seghrouchni (Amal El Fallah)	[32] [33] [34] [46] [53] [75]
20	Berndt Farwer	[50] [58] [60] [61]
21	Michael Fisher	[17] [20] [22] [23] [26] [35] [48] [50] [58] [61] [63] [65] [82]
22	Jorge J. Gómez-Sanz	[34]
23	Koen V. Hindriks	[69]
24	Benjamin Hirsch	[48]
25	Jomi Fred Hübner (Jomi Hübner)	[1] [27] [28] [29] [30] [31] [36] [41] [42] [43] [44] [45] [49] [55] [62] [64] [66] [68] [69] [71] [73] [76]
26	Mark Jago	[41] [45]
27	Rafael de Oliveira Jannone	[15]
28	Patrícia Augustin Jaques	[13]
29	João Luiz Jung	[13]
30	Thomas Klapiscak	[56]
31	Romulo C. Krafta	[11]
32	João Leite (João Alexandre Leite)	[34]
33	Victor R. Lesser	[15]
34	Brian Logan	[41] [45]
35	Rodrigo Machado	[8]
36	Viviana Mascardi	[27] [79]
37	John-Jules Ch. Meyer	[37] [38] [54]
38	Álvaro F. Moreira	[9] [14] [19] [24] [28] [30] [36] [47] [74] [81]
39	Luciana Porcher Nedel	[18]
40	Gregory M. P. O'Hare	[34]
41	Fabio Y. Okuyama	[11] [25] [28] [40] [51] [57] [59]
42	Denise de Oliveira	[11]
43	Carmen Pardavila	[20] [22]
44	Gauthier Picard	[55]
45	Michele Piunti	[62]
46	Alexander Pokahr	[34] [69]
47	Alessandro Ricci	[34] [62] [77] [78] [79]
48	Maíra Ribeiro Rodrigues	[21]
49	Patricia H. Shaw	[52] [60] [70] [72]
50	Maarten Sierhuis	[65]
51	Jorge A. Torres	[18]
52	Paolo Torroni	[48]
53	Daniel M. Tralamazza	[43]
54	Rosa Maria Vicari (Rosa Vicari, Rosa Maria Viccari)	[1] [5] [6] [13] [15]
55	Renata Vieira	[2] [3] [12] [16] [19] [28] [29] [30] [36] [47] [74] [81]
56	Willem Visser	[17] [20] [23] [26] [35] [63]
57	Joachim Wahle	[5] [6]
58	Matthew P. Webster	[82]
59	Michael Winikoff	[39]
60	Michael Wooldridge (Michael J. Wooldridge)	[17] [20] [22] [23] [26] [35] [42] [44] [47] [50] [63] [74]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page