default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2024
[j34]Tabajara Krausburg
, Rafael H. Bordini, Jürgen Dix:
Modelling a chain of command in the incident command system using sequential characteristic function games. Ann. Math. Artif. Intell. 92(4): 925-951 (2024)- [c142]Guilherme Trajano, Débora C. Engelmann, Rafael H. Bordini, Stefan Sarkadi, Jack Mumford, Alison R. Panisson:
Translating Natural Language Arguments to Computational Arguments Using LLMs. COMMA 2024: 289-300 - [c141]Carlos Eduardo A. Ferreira, Débora C. Engelmann, Rafael H. Bordini, Joel Luis Carbonera, Alison R. Panisson:
A Knowledge Base of Argumentation Schemes for Multi-Agent Systems. ICEIS (1) 2024: 587-594 - [c140]Rafael H. Bordini, Stefania Costantini, Andrea Monaldini, Alina Vozna:
From pure Prolog to logic Agent-Oriented Programming Languages. WOA 2024: 252-266 - [i7]Davide Clode da Silva, Marina Musse Bernardes, Nathalia Giacomini Ceretta, Gabriel Vaz de Souza, Gabriel Fonseca Silva, Rafael Heitor Bordini, Soraia Raupp Musse:
Exploring Foundation Models for Synthetic Medical Imaging: A Study on Chest X-Rays and Fine-Tuning Techniques. CoRR abs/2409.04424 (2024) - 2023
- [j33]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023) - [c139]Débora C. Engelmann, Alison R. Panisson, Renata Vieira, Jomi Fred Hübner, Viviana Mascardi, Rafael H. Bordini:
MAIDS - A Framework for the Development of Multi-Agent Intentional Dialogue Systems. AAMAS 2023: 1209-1217 - [c138]Bernardo Scapini Consoli, Renata Vieira, Rafael H. Bordini:
Benchmarking the BRATECA Clinical Data Collection for Prediction Tasks. HEALTHINF 2023: 338-345 - [c137]Christopher Lenhard, Henrique L. Krever, Ricardo K. Schlsener, Rafael H. Bordini, Luís A. Lima Silva:
Deceptive Topographic Path Planning. SBGames 2023: 1 - 2022
- [j32]Juliana Damasio Oliveira, Julia M. Colleoni Couto, Vanessa Stangherlin Machado Paixão-Cortes, Rafael Heitor Bordini:
Improving the Design of Ambient Intelligence Systems: Guidelines Based on a Systematic Review. Int. J. Hum. Comput. Interact. 38(1): 19-27 (2022) - [c136]Alison R. Panisson, Peter McBurney, Rafael H. Bordini:
Towards an Enthymeme-Based Communication Framework. AAMAS 2022: 1708-1710 - [c135]Alison R. Panisson, Peter McBurney, Rafael H. Bordini:
Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems. KR 2022 - [c134]Bernardo Scapini Consoli, Henrique D. P. dos Santos, Ana Helena D. P. S. Ulbrich, Renata Vieira, Rafael H. Bordini:
BRATECA (Brazilian Tertiary Care Dataset): a Clinical Information Dataset for the Portuguese Language. LREC 2022: 5609-5616 - [c133]Carlos Eduardo A. Ferreira, Alison R. Panisson, Débora C. Engelmann, Renata Vieira, Viviana Mascardi, Rafael H. Bordini:
Explaining Semantic Reasoning Using Argumentation. PAAMS 2022: 153-165 - [c132]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures. PRIMA 2022: 399-416 - [c131]Júlia Colleoni Couto, Juliana Damasio, Rafael H. Bordini, Duncan Ruiz:
New Trends in Big Data Profiling. SAI (1) 2022: 808-825 - [c130]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022: 23-36 - 2021
- [j31]Alison R. Panisson, Peter McBurney, Rafael H. Bordini:
A computational model of argumentation schemes for multi-agent systems. Argument Comput. 12(3): 357-395 (2021) - [c129]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
Feasible Coalition Sequences. AAMAS 2021: 719-727 - [c128]Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci:
Agent Programming in the Cognitive Era. AAMAS 2021: 1718-1720 - [c127]Débora C. Engelmann, Lucca Dornelles Cezar, Alison R. Panisson, Rafael H. Bordini:
A Conversational Agent to Support Hospital Bed Allocation. BRACIS (1) 2021: 3-17 - [c126]Daniel Reyes, Douglas Trajano, Isabel Harb Manssour, Renata Vieira, Rafael H. Bordini:
Entity Relation Extraction from News Articles in Portuguese for Competitive Intelligence Based on BERT. BRACIS (2) 2021: 449-464 - [c125]Alison R. Panisson, Débora C. Engelmann, Rafael H. Bordini:
Engineering Explainable Agents: An Argumentation-Based Approach. EMAS@AAMAS 2021: 273-291 - [c124]Mateus da Silveira Colissi, Renata Vieira, Viviana Mascardi, Rafael H. Bordini:
A Chatbot that Uses a Multi-agent Organization to Support Collaborative Learning. HCI (39) 2021: 31-38 - [c123]Débora C. Engelmann, Juliana Damasio, Tabajara Krausburg, Olimar Teixeira Borges, Mateus da Silveira Colissi, Alison R. Panisson, Rafael H. Bordini:
Dial4JaCa - A Communication Interface Between Multi-agent Systems and Chatbots. PAAMS 2021: 77-88 - [c122]Débora C. Engelmann, Juliana Damasio, Tabajara Krausburg, Olimar Teixeira Borges, Lucca Dornelles Cezar, Alison R. Panisson, Rafael H. Bordini:
Dial4JaCa - A Demonstration. PAAMS 2021: 346-350 - [c121]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
Computing Sequences of Coalition Structures. SSCI 2021: 1-7 - 2020
- [j30]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) - [j29]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) - [c120]Rafael H. Bordini, Rem W. Collier, Jomi Fred Hübner, Alessandro Ricci:
Encapsulating Reactive Behaviour in Goal-Based Plans for Programming BDI Agents: Extended Abstract. AAMAS 2020: 1783-1785 - [c119]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 - [c118]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 - [c117]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 - [c116]Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix:
Disaster Response Simulation. PAAMS 2020: 434-438 - [c115]Alison R. Panisson, Rafael H. Bordini:
Towards a Computational Model of Argumentation Schemes in Agent-Oriented Programming Languages. WI/IAT 2020: 9-16 - [c114]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
- [j28]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) - [j27]Túlio L. Baségio, Rafael H. Bordini:
Allocating structured tasks in heterogeneous agent teams. Comput. Intell. 35(1): 124-155 (2019) - [j26]Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci:
Dimensions in programming multi-agent systems. Knowl. Eng. Rev. 34: e2 (2019) - [c113]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 - [c112]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 - [c111]Rafael C. Cardoso, Rafael H. Bordini:
Decentralised Planning for Multi-Agent Programming Platforms. AAMAS 2019: 799-807 - [c110]Tabajara Krausburg, Rafael H. Bordini:
Constrained Coalition Formation among Heterogeneous Agents for the Multi-Agent Programming Contest. ICAART (1) 2019: 162-169 - [c109]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 - [c108]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
- [j25]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) - [c107]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 - [c106]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 - [c105]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 - [c104]Alessandro Ricci, Rafael Heitor Bordini, Jomi Fred Hübner, Rem W. Collier:
AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals. AAMAS 2018: 2054-2056 - [c103]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 - [c102]Alison R. Panisson, Simon Parsons, Peter McBurney, Rafael H. Bordini:
Choosing Appropriate Arguments from Trustworthy Sources. COMMA 2018: 345-352 - [c101]Alison R. Panisson, Asad Ali, Peter McBurney, Rafael H. Bordini:
Argumentation Schemes for Data Access Control. COMMA 2018: 361-368 - [c100]Alessandro Ricci, Rafael H. Bordini, Jomi Fred Hübner, Rem W. Collier:
AgentSpeak(ER): Enhanced Encapsulation in Agent Plans. EMAS@AAMAS 2018: 34-51 - [c99]Artur Freitas, Rafael H. Bordini, Renata Vieira:
Designing Multi-Agent Systems from Ontology Models. EMAS@AAMAS 2018: 76-95 - [c98]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
- [j24]Artur Freitas, Rafael H. Bordini, Renata Vieira:
Model-driven engineering of multi-agent systems based on ontologies. Appl. Ontology 12(2): 157-188 (2017) - [j23]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) - [j22]Victor S. Melo, Alison R. Panisson, Rafael H. Bordini:
Meta-Information and Argumentation in Multi-Agent Systems. Braz. J. Inf. Syst. 10(3): 74-97 (2017) - [j21]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) - [c97]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 - [c96]Alison R. Panisson, Rafael H. Bordini:
Argumentation Schemes in Multi-agent Systems: A Social Perspective. EMAS@AAMAS 2017: 92-108 - [c95]Rafael C. Cardoso, Rafael H. Bordini:
A Modular Framework for Decentralised Multi-Agent Planning. AAMAS 2017: 1487-1489 - [c94]Alison R. Panisson, Rafael H. Bordini:
Uttering Only What is Needed: Enthymemes in Multi-Agent Systems. AAMAS 2017: 1670-1672 - [c93]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 - [c92]Túlio L. Baségio, Rafael H. Bordini:
An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios. KES-AMSTA 2017: 99-109 - [c91]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 - [c90]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
- [j20]Dejan Mitrovic, Mirjana Ivanovic, Rafael H. Bordini, Costin Badica:
Jason Interpreter, Enterprise Edition. Informatica (Slovenia) 40(1) (2016) - [c89]Maicon Rafael Zatelli, Jomi Fred Hübner, Alessandro Ricci, Rafael H. Bordini:
Conflicting goals in agent-oriented programming. AGERE!@SPLASH 2016: 21-30 - [c88]Victor S. Melo, Alison R. Panisson, Rafael H. Bordini:
Trust on Beliefs: Source, Time and Expertise. TRUST@AAMAS 2016: 31-42 - [c87]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 - [c86]Victor S. Melo, Alison R. Panisson, Rafael H. Bordini:
Argumentation-Based Reasoning Using Preferences over Sources of Information: (Extended Abstract). AAMAS 2016: 1337-1338 - [c85]Alison R. Panisson, Rafael H. Bordini:
Knowledge Representation for Argumentation in Agent-Oriented Programming Languages. BRACIS 2016: 13-18 - [c84]Alison R. Panisson, Victor S. Melo, Rafael H. Bordini:
Using Preferences over Sources of Information in Argumentation-Based Reasoning. BRACIS 2016: 31-36 - [c83]Rafael C. Cardoso, Rafael H. Bordini:
Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. BRACIS 2016: 199-204 - [c82]Giovani Parente Farias, Lucas Hilgert, Felipe Meneguzzi, Rafael H. Bordini:
Evaluating the SBR Algorithm Using Automatically Generated Plan Libraries. BRACIS 2016: 205-210 - [c81]Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Multi-Level Semantics with Vertical Integrity Constraints. ECAI 2016: 1708-1709 - [c80]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 2016: 522-526 - 2015
- [j19]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) - [c79]Alison R. Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini:
Towards Practical Argumentation in Multi-agent Systems. BRACIS 2015: 98-103 - [c78]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 - [c77]Daniela Schmidt, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
An Ontology for Collaborative Tasks in Multi-agent Systems. ONTOBRAS 2015 - [c76]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 - [c75]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 - [c74]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 - [c73]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 - [c72]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 - [c71]Artur Freitas, Rafael H. Bordini, Felipe Meneguzzi, Renata Vieira:
Towards Integrating Ontologies in Multi-agent Programming Platforms. WI-IAT (3) 2015: 225-226 - [c70]Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Towards Multi-Level Semantics for Multi-Agent Systems. WEIT 2015: 123-134 - [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
- [j18]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
- [j17]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) - [j16]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
- [j15]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
- [j14]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Preface. Auton. Agents Multi Agent Syst. 23(2): 155-157 (2011) - [j13]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
- [j12]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) - [j11]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
- [j10]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
- [j9]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) - [j8]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
- [j7]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. 12(2): 239-256 (2006) - [j6]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) - [c33]Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Spatially Distributed Normative Objects. COIN@AAMAS/ECAI 2006: 133-146 - [c32]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan:
Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290 - [c31]Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge:
Plan patterns for declarative goals in AgentSpeak. AAMAS 2006: 1291-1293 - [c30]Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza:
Using Jason to Implement a Team of Gold Miners. CLIMA 2006: 304-313 - [c29]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan:
Automating Belief Revision for AgentSpeak. DALT 2006: 61-77 - [c28]Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge:
Programming Declarative Goals Using Plan Patterns. DALT 2006: 123-140 - [c27]Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Spatially Distributed Normative Infrastructure. E4MAS 2006: 203-220 - [c26]Rafael H. Bordini, Mehdi Dastani, Michael Winikoff:
Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61 - [c25]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]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
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 [contents] - [i2]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 - [i1]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 - 2005
- [j5]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. Artif. Soc. Soc. Simul. 8(3) (2005) - [c24]Rafael H. Bordini, Jomi Fred Hübner:
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). CLIMA 2005: 143-164 - [c23]Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner:
Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170 - [p1]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]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations 15, Springer 2005, ISBN 0-387-24568-5 [contents] - [e1]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
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 [contents] - 2004
- [j4]Rafael H. Bordini, Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004) - [j3]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Model Checking Rational Agents. IEEE Intell. Syst. 19(5): 46-52 (2004) - [c22]Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705 - [c21]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 - [c20]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
- [j2]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]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]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge:
Model checking agentspeak. AAMAS 2003: 409-416 - [c17]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge:
Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 - [c16]Á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]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]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifiable Multi-agent Programs. PROMAS 2003: 72-89 - 2002
- [c13]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]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 - [c11]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 - [c10]Ana L. C. Bazzan, Diana Francisca Adamatti, Rafael H. Bordini:
Extending the Computational Study of Social Norms with a Systematic Model of Emotions. SBIA 2002: 108-117 - [c9]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 - [c8]Rafael H. Bordini, Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 108-125 - 2001
- [c7]Ana L. C. Bazzan, Rafael H. Bordini:
A framework for the simulation of agents with emotions. Agents 2001: 292-299 - [c6]Rodrigo Machado, Rafael H. Bordini:
Running AgentSpeak(L) Agents on SIM_AGENT. ATAL 2001: 158-174 - 2000
- [c5]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]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
- 1998
- [j1]Rafael H. Bordini, John A. Campbell, Renata Vieira:
Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems. J. Artif. Soc. Soc. Simul. 1(4) (1998) - [c3]Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell:
Moral Sentiments in Multi-Agent Systems. ATAL 1998: 113-131 - 1997
- [c2]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]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
