| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini |
Model checking agent programming languages.  |
Autom. Softw. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini |
A normative programming language for multi-agent organisations. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni |
Preface. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Á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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci |
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. |
IAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani |
Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). |
Autonomous Agents and Multi-Agent Systems |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini |
From Organisation Specification to Normative Programming in Multi-Agent Organisations. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Jomi Fred Hübner |
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia H. Shaw, Rafael H. Bordini |
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia H. Shaw, Rafael H. Bordini |
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. |
LADS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser |
Property-based Slicing for Agent Verification. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini |
A Normative Organisation Programming Language for Organisation Management Infrastructures. |
COIN@AAMAS&IJCAI&MALLOW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Maarten Sierhuis |
Formal verification of human-robot teamwork. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
verification, teamwork, agent-based modelling |
| 1 | Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini |
Normative Programming for Organisation Management Infrastructures. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher |
Automated Verification of Multi-Agent Programs. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Klapiscak, Rafael H. Bordini |
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
A Distributed Normative Infrastructure for Situated Multi-agent Organisations. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Rafael H. Bordini, Gauthier Picard |
Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys. |
ProMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini |
Theoretical and experimental results on the goal-plan tree problem. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
A distributed normative infrastructure for situated multi-agent organisations. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher |
A flexible framework for verifying agent programs. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni |
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. |
Computational Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia H. Shaw, Rafael H. Bordini |
Towards Alternative Approaches to Reasoning About Goals. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
Spatially Distributed Normative Objects. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (eds.) |
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006 |
Foundations and Practice of Programming Multi-Agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Rafael H. Bordini |
Developing a Team of Gold Miners Using Jason. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge |
A Common Semantic Basis for BDI Languages. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ProMAS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Verifying Multi-agent Programs by Model Checking. |
Autonomous Agents and Multi-Agent Systems |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming |
| 1 | Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza |
Using Jason to Implement a Team of Gold Miners. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner |
An Agent-Oriented Programming Language for Computing in Context. |
IFIP PPAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan |
Automating Belief Revision for AgentSpeak. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge |
Programming Declarative Goals Using Plan Patterns. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Michael Winikoff |
Current Issues in Multi-Agent Systems Development. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PROMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
Spatially Distributed Normative Infrastructure. |
E4MAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan |
Belief revision for AgentSpeak agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, Jason, belief revision, BDI |
| 1 | Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge |
Plan patterns for declarative goals in AgentSpeak. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Jomi Fred Hübner, Renata Vieira |
Jason and the Golden Fleece of Agent-Oriented Programming. |
Multi-Agent Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Multi-Agent Programming: Languages, Platforms and Applications |
|
2005 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Jomi Fred Hübner |
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner |
Agent-Oriented Programming with Underlying Ontological Reasoning. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PROMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Model Checking Rational Agents. |
IEEE Intelligent Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Álvaro F. Moreira |
Proving BDI Properties of Agent-Oriented Programming Languages. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
asymmetry thesis principles, distributed artificial intelligence, structural operational semantics, agent-oriented programming, BDI logics |
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
ELMS: An Environment Description Language for Multi-agent Simulation. |
E4MAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini |
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
State-Space Reduction Techniques in Agent Verification. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Renata Vieira |
Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L). |
RITA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Á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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge |
Verifiable Multi-agent Programs. |
PROMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge |
Model Checking Multi-Agent Programs with CASP. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge |
Model checking agentspeak. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
AgentSpeak, BDI logic programming, model checking, spin |
| 1 | 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 |
DBLP DOI BibTeX RDF |
dynamics of exchange values, exchange values, value-based exchange strategies, multi-agent systems, social simulation |
| 1 | Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini |
Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. |
IVA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Álvaro F. Moreira |
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Álvaro F. Moreira |
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Emotions and personality, Social norms, Multiagent-based simulation |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
BDI programming languages, decision-theoretic scheduling, intention selection |
| 1 | Ana L. C. Bazzan, Rafael H. Bordini |
A framework for the simulation of agents with emotions. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado, Rafael H. Bordini |
Running AgentSpeak(L) Agents on SIM_AGENT. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell |
Moral Sentiments in Multi-Agent Systems. |
ATAL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, John A. Campbell, Renata Vieira |
Ascription of Intensional Ontologies in Anthropological Descriptions of Mult-Agent Systems. |
CIA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Rosa Maria Viccari |
Linguistic Support for Agent Migration. |
ICMAS |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")