Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDRafael H. Bordini
Rafael Heitor Bordini
Person information
- affiliation: FACIN-PUCRS
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j31]Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks
, Brian Logan, Alessandro Ricci:
Agent programming in the cognitive era. Auton. Agents Multi Agent Syst. 34(2): 37 (2020)- [j30]Vágner de Oliveira Gabriel, Alison R. Panisson, Rafael H. Bordini, Diana Francisca Adamatti, Cléo Zanella Billa:
Reasoning in BDI agents using Toulmin's argumentation model. Theor. Comput. Sci. 805: 76-91 (2020) - [c118]Rafael H. Bordini, Rem Collier, Jomi Fred Hübner, Alessandro Ricci:
Encapsulating Reactive Behaviour in Goal-Based Plans for Programming BDI Agents: Extended Abstract. AAMAS 2020: 1783-1785 - [c117]Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
A Multi-level Approach to the Formal Semantics of Agent Societies. BRACIS (2) 2020: 3-17 - [c116]Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi Fred Hübner, Olivier Boissier:
Exploiting Simulation for MAS Development and Execution - The JaCaMo-Sim Approach. EMAS@AAMAS 2020: 42-60 - [c115]Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix:
Disaster Response Simulation as a Testbed for Multi-Agent Systems. EUMAS/AT 2020: 67-81 - [c114]Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix:
Disaster Response Simulation. PAAMS 2020: 434-438 - [c113]Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci:
Transcultural Health-Aware Guides for the Elderly. WOA 2020: 135-146 - [e11]Louise A. Dennis, Rafael H. Bordini, Yves Lespérance:
Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12058, Springer 2020, ISBN 978-3-030-51416-7 [contents]
2010 – 2019
- 2019
- [j29]Stefan Sarkadi, Alison R. Panisson, Rafael H. Bordini, Peter McBurney, Simon Parsons, Martin Chapman:
Modelling deception using theory of mind in multi-agent systems. AI Commun. 32(4): 287-302 (2019) - [j28]Túlio L. Baségio, Rafael H. Bordini:
Allocating structured tasks in heterogeneous agent teams. Comput. Intell. 35(1): 124-155 (2019) - [j27]Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci:
Dimensions in programming multi-agent systems. Knowl. Eng. Rev. 34: e2 (2019) - [c112]Juliana Damasio Oliveira, Márcia de Borba Campos, Alexandre M. Amory, Rafael H. Bordini:
GoDonnie: A Robot Programming Language to Improve Orientation and Mobility Skills in People Who are Visually Impaired. ASSETS 2019: 679-681 - [c111]Alessandro Ricci, Andrei Ciortea, Simon Mayer, Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner:
Engineering Scalable Distributed Environments and Organizations for MAS. AAMAS 2019: 790-798 - [c110]Rafael C. Cardoso, Rafael H. Bordini:
Decentralised Planning for Multi-Agent Programming Platforms. AAMAS 2019: 799-807 - [c109]Tabajara Krausburg, Rafael H. Bordini:
Constrained Coalition Formation among Heterogeneous Agents for the Multi-Agent Programming Contest. ICAART (1) 2019: 162-169 - [c108]Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini:
Smart RogAgent: Where Agents and Humans Team Up. PRIMA 2019: 541-549 - [c107]Débora C. Engelmann, Julia Couto, Vágner de Oliveira Gabriel, Renata Vieira, Rafael H. Bordini:
Towards an Ontology to Support Decision-making in Hospital Bed Allocation (S). SEKE 2019: 71-74 - 2018
- [j26]Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini:
SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Ann. Math. Artif. Intell. 84(1-2): 75-93 (2018) - [c106]Stefan Sarkadi, Alison R. Panisson, Rafael H. Bordini, Peter McBurney, Simon Parsons:
Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems. AT 2018: 3-17 - [c105]Alison R. Panisson, Stefan Sarkadi, Peter McBurney, Simon Parsons, Rafael H. Bordini:
On the Formal Semantics of Theory of Mind in Agent Communication. AT 2018: 18-32 - [c104]Alison R. Panisson, Stefan Sarkadi, Peter McBurney, Simon Parsons, Rafael H. Bordini:
Lies, Bullshit, and Deception in Agent-Oriented Programming Languages. TRUST@AAMAS 2018: 50-61 - [c103]Alessandro Ricci, Rafael Heitor Bordini, Jomi Fred Hübner, Rem Collier:
AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals. AAMAS 2018: 2054-2056 - [c102]Vágner de Oliveira Gabriel, Diana Francisca Adamatti, Alison R. Panisson, Rafael H. Bordini, Cléo Zanella Billa:
Argumentation-Based Reasoning in BDI Agents Using Toulmin's Model. BRACIS 2018: 378-383 - [c101]Alison R. Panisson, Simon Parsons, Peter McBurney, Rafael H. Bordini:
Choosing Appropriate Arguments from Trustworthy Sources. COMMA 2018: 345-352 - [c100]Alison R. Panisson, Asad Ali, Peter McBurney, Rafael H. Bordini:
Argumentation Schemes for Data Access Control. COMMA 2018: 361-368 - [c99]Alessandro Ricci, Rafael H. Bordini, Jomi Fred Hübner, Rem Collier:
AgentSpeak(ER): Enhanced Encapsulation in Agent Plans. EMAS@AAMAS 2018: 34-51 - [c98]Artur Freitas, Rafael H. Bordini, Renata Vieira:
Designing Multi-Agent Systems from Ontology Models. EMAS@AAMAS 2018: 76-95 - [c97]Nielsen Luiz Rechia Machado, Lisandra Manzoni Fontoura, Rafael Heitor Bordini, Luís Alvaro de Lima Silva:
Explanation Templates for Case-based Reasoning in Collaborative Risk Management. SEKE 2018: 74-79 - [p4]Tabajara Krausburg, Rafael Cauê Cardoso, Juliana Damasio, Vitor Peres, Giovani Parente Farias, Débora Cristina Engelmann, Jomi Fred Hübner, Rafael H. Bordini:
SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2018: 72-100 - 2017
- [j25]Artur Freitas, Rafael H. Bordini, Renata Vieira:
Model-driven engineering of multi-agent systems based on ontologies. Appl. Ontology 12(2): 157-188 (2017) - [j24]Denise da Luz Siqueira, Lisandra M. Fontoura, Rafael H. Bordini, Luís A. Lima Silva:
Argumentation Schemes for Collaborative Debate of Requirement Risks in Software Projects. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1613-1636 (2017) - [j23]Artur Freitas, Alison R. Panisson, Lucas Hilgert, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Applying ontologies to the development and execution of Multi-Agent Systems. Web Intell. 15(4): 291-302 (2017) - [c96]Túlio L. Baségio, Regio A. Michelin, Avelino F. Zorzo, Rafael H. Bordini:
A Decentralised Approach to Task Allocation Using Blockchain. EMAS@AAMAS 2017: 75-91 - [c95]Alison R. Panisson, Rafael H. Bordini:
Argumentation Schemes in Multi-agent Systems: A Social Perspective. EMAS@AAMAS 2017: 92-108 - [c94]Rafael C. Cardoso, Rafael H. Bordini:
A Modular Framework for Decentralised Multi-Agent Planning. AAMAS 2017: 1487-1489 - [c93]Alison R. Panisson, Rafael H. Bordini:
Uttering Only What is Needed: Enthymemes in Multi-Agent Systems. AAMAS 2017: 1670-1672 - [c92]João Mario Lopes Brezolin, Sandro Rama Fiorini, Márcia de Borba Campos, Rafael H. Bordini:
Use of Conceptual Representations Based on Conceptual Spaces Theory Applied to BDI Agents. BRACIS 2017: 157-162 - [c91]Túlio L. Baségio, Rafael H. Bordini:
An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios. KES-AMSTA 2017: 99-109 - [c90]Denise da Luz Siqueira, Lisandra M. Fontoura, Rafael H. Bordini, Luís A. Lima Silva:
A Knowledge Engineering Process for the Development of Argumentation Schemes for Risk Management in Software Projects. SEKE 2017: 36-41 - [c89]Denise da Luz Siqueira, Lisandra M. Fontoura, Rafael H. Bordini, Luís A. Lima Silva:
Argumentation Schemes for the Collaborative Debate of Requirement Risks in Software Projects. SEKE 2017: 42-47 - 2016
- [j22]Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Towards Multi-Level Semantics for Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 324: 123-134 (2016) - [j21]Dejan Mitrovic, Mirjana Ivanovic, Rafael H. Bordini, Costin Badica:
Jason Interpreter, Enterprise Edition. Informatica (Slovenia) 40(1) (2016) - [c88]Maicon Rafael Zatelli, Jomi Fred Hübner, Alessandro Ricci, Rafael H. Bordini:
Conflicting goals in agent-oriented programming. AGERE!@SPLASH 2016: 21-30 - [c87]Victor S. Melo, Alison R. Panisson, Rafael H. Bordini:
Trust on Beliefs: Source, Time and Expertise. TRUST@AAMAS 2016: 31-42 - [c86]Gustavo Ortiz-Hernández, Jomi Fred Hübner, Rafael H. Bordini, Alejandro Guerra-Hernández, Guillermo de Jesús Hoyos-Rivera, Nicandro Cruz-Ramírez:
A Namespace Approach for Modularity in BDI Programming Languages. EMAS@AAMAS 2016: 117-135 - [c85]Victor S. Melo, Alison R. Panisson, Rafael H. Bordini:
Argumentation-Based Reasoning Using Preferences over Sources of Information: (Extended Abstract). AAMAS 2016: 1337-1338 - [c84]Alison R. Panisson, Rafael H. Bordini:
Knowledge Representation for Argumentation in Agent-Oriented Programming Languages. BRACIS 2016: 13-18 - [c83]Alison R. Panisson, Victor S. Melo, Rafael H. Bordini:
Using Preferences over Sources of Information in Argumentation-Based Reasoning. BRACIS 2016: 31-36 - [c82]Rafael C. Cardoso, Rafael H. Bordini:
Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. BRACIS 2016: 199-204 - [c81]Giovani Parente Farias, Lucas Hilgert, Felipe Meneguzzi, Rafael H. Bordini:
Evaluating the SBR Algorithm Using Automatically Generated Plan Libraries. BRACIS 2016: 205-210 - [c80]Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Multi-Level Semantics with Vertical Integrity Constraints. ECAI 2016: 1708-1709 - [c79]Daniela Schmidt, Alison R. Panisson, Artur Freitas, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
An Ontology-Based Mobile Application for Task Managing in Collaborative Groups. FLAIRS Conference 2016: 522-526 - 2015
- [j20]Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98: 117-119 (2015) - [c78]Alison R. Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Towards Practical Argumentation in Multi-agent Systems. BRACIS 2015: 98-103 - [c77]Marcio G. Morais, Felipe Rech Meneguzzi, Rafael H. Bordini, Alexandre M. Amory:
Distributed fault diagnosis for multiple mobile robots using an agent programming language. ICAR 2015: 395-400 - [c76]Daniela Schmidt, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
An Ontology for Collaborative Tasks in Multi-agent Systems. ONTOBRAS 2015 - [c75]João Mario Lopes Brezolin, Sandro Rama Fiorini, Márcia de Borba Campos, Rafael H. Bordini:
Using Conceptual Spaces for Object Recognition in Multi-agent Systems. PRIMA 2015: 697-705 - [c74]Giovani Parente Farias, Lucas Welter Hilgert, Felipe Rech Meneguzzi, Renata Vieira, Rafael Heitor Bordini:
Automatic Generation of Plan Libraries for Plan Recognition Performance Evaluation. WI-IAT (2) 2015: 129-132 - [c73]Artur Freitas, Alison R. Panisson, Lucas Hilgert, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Integrating Ontologies with Multi-Agent Systems through CArtAgO Artifacts. WI-IAT (2) 2015: 143-150 - [c72]Alison R. Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Towards Practical Argumentation-Based Dialogues in Multi-agent Systems. WI-IAT (2) 2015: 151-158 - [c71]João Mario Lopes Brezolin, Sandro Rama Fiorini, Márcia de Borba Campos, Rafael H. Bordini:
Using Conceptual Spaces for Belief Update in Multi-agent Systems. WI-IAT (2) 2015: 178-181 - [c70]Artur Freitas, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
Towards Integrating Ontologies in Multi-agent Programming Platforms. WI-IAT (3) 2015: 225-226 - [e10]Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind:
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. ACM 2015, ISBN 978-1-4503-3413-6 [contents] - 2014
- [j19]Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. 12(1): 83-107 (2014) - [c69]Artur Freitas, Daniela Schmidt, Alison R. Panisson, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
Applying Ontologies and Agent Technologies to Generate Ambient Intelligence Applications. ARE/AVSA@AAMAS 2014: 22-33 - [c68]Moser Silva Fagundes, Felipe Meneguzzi, Rafael H. Bordini, Renata Vieira:
Dealing with ambiguity in plan recognition under time constraints. AAMAS 2014: 389-396 - [c67]Alison R. Panisson, Felipe Meneguzzi, Moser Silva Fagundes, Renata Vieira, Rafael H. Bordini:
Formal semantics of speech acts for argumentative dialogues. AAMAS 2014: 1437-1438 - [c66]Artur Freitas, Daniela Schmidt, Alison R. Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Semantic Representations of Agent Plans and Planning Problem Domains. EMAS@AAMAS 2014: 351-366 - [p3]Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci:
Unravelling Multi-agent-Oriented Programming. Agent-Oriented Software Engineering 2014: 259-272 - 2013
- [j18]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]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) - [c65]Rafael C. Cardoso, Maicon Rafael Zatelli, Jomi Fred Hübner, Rafael H. Bordini:
Towards benchmarking actor- and agent-based programming languages. AGERE!@SPLASH 2013: 115-126 - [c64]Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini:
Benchmarking Communication in Actor- and Agent-Based Languages. EMAS@AAMAS 2013: 58-77 - [c63]Maiquel de Brito, Jomi Fred Hübner, Rafael H. Bordini:
Analysis of the Use of Events and States as Brute Facts in Modelling of Institutional Facts. COIN@AAMAS/PRIMA 2013: 177-192 - [c62]Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini:
Benchmarking communication in actor- and agent-based languages. AAMAS 2013: 1267-1268 - [c61]Moser Silva Fagundes, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Interaction Patterns in a Multi-Agent Organisation to Support Shared Tasks. CONTEXT 2013: 364-370 - 2012
- [j16]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini:
Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012) - [c60]Maiquel de Brito, Jomi Fred Hübner, Rafael H. Bordini:
Programming Institutional Facts in Multi-Agent Systems. COIN@AAMAS 2012: 158-173 - [c59]Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216 - [e9]Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci:
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. ACM 2012, ISBN 978-1-4503-1630-9 [contents] - [e8]Louise A. Dennis, Olivier Boissier, Rafael H. Bordini:
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 [contents] - 2011
- [j15]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Preface. Auton. Agents Multi Agent Syst. 23(2): 155-157 (2011) - [j14]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) - [c58]Á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 - [c57]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 - [c56]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 - [c55]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 - [c54]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 - [c53]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 - [i6]Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. CoRR abs/1111.0041 (2011) - 2010
- [j13]Rafael H. Bordini, Mehdi Dastani:
Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). Auton. Agents Multi Agent Syst. 20(3): 305-307 (2010) - [j12]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) - [c52]Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini:
From Organisation Specification to Normative Programming in Multi-Agent Organisations. CLIMA 2010: 117-134 - [c51]Rafael H. Bordini, Jomi Fred Hübner:
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). ECAI 2010: 635-640 - [c50]Patricia H. Shaw, Rafael H. Bordini:
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. ECAI 2010: 1035-1036 - [c49]Patricia H. Shaw, Rafael H. Bordini:
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. LADS 2010: 115-135 - [c48]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
- 2009
- [j11]Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser:
Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) - [c47]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 - [c46]Rafael H. Bordini, Michael Fisher, Maarten Sierhuis:
Formal verification of human-robot teamwork. HRI 2009: 267-268 - [c45]Jomi Fred Hübner, Olivier Boissier, Rafael H. Bordini:
Normative Programming for Organisation Management Infrastructures. MALLOW 2009 - [p2]Jomi Fred Hübner, Rafael H. Bordini:
Agent-Based Simulation Using BDI Programming in Jason. Multi-Agent Systems 2009: 451-476 - [e7]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Multi-Agent Programming, Languages, Tools and Applications. Springer 2009, ISBN 978-0-387-89298-6 [contents] - 2008
- [c44]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 - [c43]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher:
A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306 - [c42]Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini:
Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) 2008: 1379-1382 - [c41]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 - [c40]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 - [c39]Thomas Klapiscak, Rafael H. Bordini:
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. DALT 2008: 91-110 - [c38]Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher:
Automated Verification of Multi-Agent Programs. ASE 2008: 69-78 - [c37]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 - [e6]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Programming Multi-Agent Systems, 31.08. - 05.09.2008. Dagstuhl Seminar Proceedings 08361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i5]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
08361 Abstracts Collection - Programming Multi-Agent Systems. Programming Multi-Agent Systems 2008 - [i4]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
08361 Executive Summary - Programming Multi-Agent Systems. Programming Multi-Agent Systems 2008 - 2007
- [j10]Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni:
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Comput. Intell. 23(1): 61-91 (2007) - [j9]Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. 29: 221-267 (2007) - [c36]Patricia H. Shaw, Rafael H. Bordini:
Towards Alternative Approaches to Reasoning About Goals. DALT 2007: 104-121 - [c35]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge:
A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139 - [c34]Jomi Fred Hübner, Rafael H. Bordini:
Developing a Team of Gold Miners Using Jason. PROMAS 2007: 241-245 - [e5]Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer:
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 [contents] - [e4]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. Lecture Notes in Computer Science 4411, Springer 2007, ISBN 978-3-540-71955-7 [contents] - [i3]Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Spatially Distributed Normative Objects. Normative Multi-agent Systems 2007 - 2006
- [j8]