Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Rafael H. Bordini

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/OkuyamaBC13
- ask others
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)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/BoissierBHRS13
- ask others
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)
[c63]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/CardosoHB13
- ask others
Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini: Benchmarking communication in actor- and agent-based languages. AAMAS 2013: 1267-1268
2012
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ase/DennisFWB12
- ask others
Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)
[c62]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/BritoHB12
- ask others
Maiquel de Brito, Jomi Fred Hübner, Rafael H. Bordini: Programming Institutional Facts in Multi-Agent Systems. COIN@AAMAS 2012: 158-173
[c61]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/oopsla/RicciMBA12
- ask others
Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha: AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216
[e6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/2011
- ask others
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
2011
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/BordiniDDF11
- ask others
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Preface. Autonomous Agents and Multi-Agent Systems 23(2): 155-157 (2011)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/HubnerBB11
- ask others
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)
[c60]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/MoreiraVB11
- ask others
Á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
[c59]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/Bordini11
- ask others
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
[c58]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iat/MascardiABR11
- ask others
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
[c57]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/oopsla/RicciAB11
- ask others
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
[c56]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/oopsla/RicciBA11
- ask others
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
[c55]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/ToledoBCG11
- ask others
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
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0041
- ask others
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
[j13]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/BordiniD10
- ask others
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)
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/HubnerB10
- ask others
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)
[c54]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/HubnerBB10
- ask others
Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: From Organisation Specification to Normative Programming in Multi-Agent Organisations. CLIMA 2010: 117-134
[c53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/BordiniH10
- ask others
Rafael H. Bordini, Jomi Fred Hübner: Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). ECAI 2010: 635-640
[c52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/ShawB10
- ask others
Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. ECAI 2010: 1035-1036
[c51]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lads/ShawB10
- ask others
Patricia H. Shaw, Rafael H. Bordini: An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. LADS 2010: 115-135
[c50]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/BehrensHBBDDHP10
- ask others
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

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/BordiniFWV09
- ask others
Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
[c49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/HubnerBB09
- ask others
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
[c48]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hri/BordiniFS09
- ask others
Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
[c47]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mallow/HubnerBB09
- ask others
Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini: Normative Programming for Organisation Management Infrastructures. MALLOW 2009
2008
[c46]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/RicciPABHD08
- ask others
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
[c45]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/DennisFBF08
- ask others
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
[c44]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/ShawFB08
- ask others
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini: Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382
[c43]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/OkuyamaBC08
- ask others
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
[c42]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/OkuyamaBC08
- ask others
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
[c41]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/KlapiscakB08
- ask others
Thomas Klapiscak, Rafael H. Bordini: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110
[c40]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/BordiniDFF08
- ask others
Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
[c39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/HubnerBP08
- ask others
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
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ci/FisherBHT07
- ask others
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)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jair/VieiraMWB07
- ask others
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)
[c38]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/OkuyamaBC07
- ask others
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007
[c37]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/ShawB07
- ask others
Patricia H. Shaw, Rafael H. Bordini: Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/DennisFBFW07
- ask others
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
[c35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/HubnerB07
- ask others
Jomi Fred Hübner, Rafael H. Bordini: Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245
[e5]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6261
- ask others
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
[e4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/2006
- ask others
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
2006
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/BordiniFVW06
- ask others
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)
[j7]
- view
  - electronic edition @ informatica.si
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/informaticaSI/BordiniBDFGLOPR06
- ask others
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)
[c34]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/AlechinaBHJL06
- ask others
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
[c33]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/HubnerBW06
- ask others
Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/BordiniHT06
- ask others
Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza: Using Jason to Implement a Team of Gold Miners. CLIMA 2006: 304-313
[c31]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/DastaniMB06
- ask others
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
[c30]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/DastaniMB06a
- ask others
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
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/AlechinaBHJL06
- ask others
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/HubnerBW06
- ask others
Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge: Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/e4mas/OkuyamaBC06
- ask others
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa: Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esaw/BordiniDW06
- ask others
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip12/VieiraMBH06
- ask others
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
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/2005
- ask others
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
2005
[j6]
- view
  - electronic edition @ ac.uk
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jasss/BordiniCHMOV05
- ask others
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)
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/BordiniH05
- ask others
Rafael H. Bordini, Jomi Fred Hübner: BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). CLIMA 2005: 143-164
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/MoreiraVBH05
- ask others
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner: Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170
[p1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/map2005/BordiniHV05
- ask others
Rafael H. Bordini, Jomi Fred Hübner, Renata Vieira: Jason and the Golden Fleece of Agent-Oriented Programming. Multi-Agent Programming 2005: 3-37
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/map05
- ask others
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
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/2004
- ask others
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
2004
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/BordiniM04
- ask others
Rafael H. Bordini, Álvaro F. Moreira: Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004)
[j4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/expert/BordiniFVW04
- ask others
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
[c22]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/AnconaMHB04
- ask others
Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705
[c21]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/BordiniFVW04
- ask others
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/e4mas/OkuyamaBC04
- ask others
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
2003
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/rita/BordiniV03
- ask others
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)
[c19]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/RodriguesCB03
- ask others
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
[c18]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/BordiniFPW03
- ask others
Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
[c17]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/BordiniFPVW03
- ask others
Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/MoreiraVB03
- ask others
Á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
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iva/TorresNB03
- ask others
Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini: Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. IVA 2003: 197-201
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/promas/BordiniFVW03
- ask others
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
2002
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BordiniM02
- ask others
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)
[c13]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/BordiniBJBVL02
- ask others
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
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/BordiniM02
- ask others
Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 94-108
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cscl/JaquesAJBV02
- ask others
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
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rasta/BordiniOODK02
- ask others
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
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sbia/BazzanAB02
- ask others
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
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ukmas/BordiniVC02
- ask others
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
2001
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/agents/BazzanB01
- ask others
Ana L. C. Bazzan, Rafael H. Bordini: A framework for the simulation of agents with emotions. Agents 2001: 292-299
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/MachadoB01
- ask others
Rodrigo Machado, Rafael H. Bordini: Running AgentSpeak(L) Agents on SIM_AGENT. ATAL 2001: 158-174
2000
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icmas/BazzanBAVW00
- ask others
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
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sbia/BazzanBVW00
- ask others
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[j1]
- view
  - electronic edition @ ac.uk
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jasss/BordiniCV98
- ask others
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)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atal/BazzanBC98
- ask others
Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell: Moral Sentiments in Multi-Agent Systems. ATAL 1998: 113-131
1997
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cia/BordiniCV97
- ask others
Rafael H. Bordini, John A. Campbell, Renata Vieira: Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems. CIA 1997: 235-247
1995
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icmas/BordiniCHV95
- ask others
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

see FAQ

What is the meaning of the colors in the coauthor index?