autore :  Bordini

10 pubblicazioni
page_white_acrobat Multi-Agent Oriented Programming (2020) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci
page_white_acrobat Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach (EMAS 2020 @ AAMAS 2020) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
page_white_acrobat Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
page_white_acrobat Using Jason, MOISE, and CArtAgO to develop a team of cowboys (2009) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
page_white_acrobat Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (AAMAS 2008) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
page_white_acrobat Programming Multi-Agent Systems in AgentSpeak using Jason (2007) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
page_white_acrobat Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems, 2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
page_white_acrobat BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (2006) — Rafael H. Bordini, Jomi F. Hübner
page_white_acrobat Verifiable Multi-agent Programs (PROMAS 2003 @ AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
page_white_acrobat Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge