Rafael H. Bordini

Fabio Yoshimitsu Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Situated normative infrastructures: the normative object approach. J. Log. Comput. 23(2): 397-424 (2013)

Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci, Andrea Santi: Multi-agent oriented programming with JaCaMo. Sci. Comput. Program. 78(6): 747-761 (2013)

Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)

Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha: AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216

Louise A. Dennis, Olivier Boissier, Rafael H. Bordini (Eds.): Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7217, Springer 2012, isbn 978-3-642-31914-3

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Preface. Autonomous Agents and Multi-Agent Systems 23(2): 155-157 (2011)

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)

Á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

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

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

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

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

Carlos Manuel Toledo, Rafael H. Bordini, Omar Chiotti, María Rosa Galli: Developing a Knowledge Management Multi-Agent System Using JaCaMo. ProMAS 2011: 41-57

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)

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)

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)

Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: From Organisation Specification to Normative Programming in Multi-Agent Organisations. CLIMA 2010: 117-134

Rafael H. Bordini, Jomi Fred Hübner: Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). ECAI 2010: 635-640

Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. ECAI 2010: 1035-1036

Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. LADS 2010: 115-135

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

Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)

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

Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268

Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: Normative Programming for Organisation Management Infrastructures. MALLOW 2009

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

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306

Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini: Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382

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

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

Thomas Klapiscak, Rafael H. Bordini: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110

Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78

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

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)

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)

Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007

Patricia H. Shaw, Rafael H. Bordini: Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139

Jomi Fred Hübner, Rafael H. Bordini: Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245

Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (Eds.): Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Dagstuhl Seminar Proceedings 06261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers. Lecture Notes in Computer Science 4411, Springer 2007, isbn 978-3-540-71955-7

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)

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)

Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290

Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293

Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza: Using Jason to Implement a Team of Gold Miners. CLIMA 2006: 304-313

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

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

Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77

Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140

Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220

Rafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61

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

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers. Lecture Notes in Computer Science 3862, Springer 2006, isbn 3-540-32616-2

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations 15, Springer 2005, isbn 0-387-24568-5

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)

Rafael H. Bordini, Jomi Fred Hübner, Renata Vieira: Jason and the Golden Fleece of Agent-Oriented Programming. Multi-Agent Programming 2005: 3-37

Rafael H. Bordini, Jomi Fred Hübner: BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). CLIMA 2005: 143-164

Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner: Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (Eds.): Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers. Lecture Notes in Computer Science 3346, Springer 2005, isbn 3-540-24559-6

Rafael H. Bordini, Álvaro F. Moreira: Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004)

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)

Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903

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

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)

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

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113

Á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

Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini: Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. IVA 2003: 197-201

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89

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)

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

Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 94-108

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

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

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

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

Ana L. C. Bazzan, Rafael H. Bordini: A framework for the simulation of agents with emotions. Agents 2001: 292-299

Rodrigo Machado, Rafael H. Bordini: Running AgentSpeak(L) Agents on SIM_AGENT. ATAL 2001: 158-174

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

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

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)

Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell: Moral Sentiments in Multi-Agent Systems. ATAL 1998: 113-131

Rafael H. Bordini, John A. Campbell, Renata Vieira: Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems. CIA 1997: 235-247

Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Rosa Maria Viccari: Linguistic Support for Agent Migration. ICMAS 1995: 441