DCC - UFMG
+55 31 3409 5860
ciia-saude@dcc.ufmg.br

Rafael Heitor Bordini


Rafael Heitor Bordini

Pontifícia Universidade Católica do Rio Grande do Sul
Computação

Pesquisador associado





Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 13/10/2020

Nome em citações bibliográficas: BORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.;Rafael H. Bordini;BORDINI, R.H.;BORDINI, Rafael H.;Heitor Bordini, Rafael


Formação acadêmica

Doutorado em Ciência da Computação na University College London (University of London) em 1998
Mestrado em Computação na Universidade Federal do Rio Grande do Sul em 1994
Graduado em Bacharelado em Informática na Pontifícia Universidade Católica do Rio Grande do Sul em 1991


Projetos de pesquisa em andamento

2015 a AtualIntegração de veículos autônomos e redes de sensores para aquisição de dados remotos para prevenção e mitigação de desastres naturais
Este projeto inter-institucional (PUCRS, UFRN, UFRGS, UFSC) e multidisciplinar (envolve faculdades de informática, engenharia elétrica, engenharia mecatrônica, automação, engenharia cartográfica e geografia) propõe a integração de sensores estáticos (i.e. sensores meteorológicos convencionais) e móveis (i.e. veículos autônomos ou robôs) em um único sistema de captura de dados. Os sensores estáticos são tipicamente empregados em locais estratégicos, onde há maior recorrência de incidentes. Os veículos autônomos são empregados durante e após a ocorrência de desastres, para mitigar danos e capturar dados que podem ser usados para modelar e prever futuros desastres. Os veículos autônomos também podem capturar informações sobre os desastres nos locais mais críticos, onde um humano não consegue alcançar sem se expor a riscos. As informações capturadas pelos sensores estáticos e móveis podem ser integradas a sistemas de monitoração em tempo real, facilitando a coordenação da população e defesa civil.
Integrantes: Alexandre de Morais Amory (coordenador), Rafael Heitor Bordini, Jomi Fred Hübner, Luiz Marcos Garcia Gonçalves, Mário Luiz Lopes Reiss, Felipe Rech Meneguzzi, Isabel Harb Manssour, Marcio Sarroglia Pinho, Regis Alexandre Lahm, Luiz Eduardo Cunha Leite, Aquiles Medeiros Filgueira Burlamaqui, Wallace Moreira Bessa, Pablo Javier Alsina, Carlos Eduardo Trabuco Dórea, Justo Emilio Alvarez Jácobo.
2014 a AtualProgramação baseada em Controle Decentralizado: um Paradigma Inspirado em Sistemas Multiagentes

Integrantes: Rafael Heitor Bordini (coordenador), Jomi F. Hübner.
2010 a AtualJaCaMo: a platform for multi-agent oriented programming
JaCaMo is a multi-agente systems development platform that provides programming constructs for the typical abstractions at all levels of a multi-agent system: organisation, agent, and environment. This project aims at conducting the research to allow the integration of the Jason agent programming platform, the Moise organisational platform, and the CArtAgO platform in such a way as to provide a fully-fledged multi-agent programming platform. The project also aims to develop challenging applications with the JaCaMo platform.
Integrantes: Jomi Fred Hübner (coordenador), Rafael Heitor Bordini, Alessandro Ricci, Boissier, Olivier.
2003 a AtualJason: a platform for agent-oriented programming

Integrantes: Rafael Heitor Bordini (coordenador), Jomi Fred Hübner.

Projetos de desenvolvimento em andamento

2003 a AtualJason - Uma Plataforma Para o Desenvolvimento de Sistemas Multi-Agentes
Desenvolvimento de uma das plataformas de sistemas multi-agentes mais conhecidas entres os pesquisadores de sistemas multi-agentes internacionalmente. O projeto é agora desenvolvido na PUCRS e UFSC mas os pesquisadores trabalharam nesse projeto anteriormente na University of Liverpool, University of Durham, UFRGS, FURG, e EMSE.
Integrantes: Rafael Heitor Bordini (coordenador), Jomi F. Hübner.
Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

Reasoning in BDI agents using Toulmin's argumentation model
2020. THEORETICAL COMPUTER SCIENCE.
Inteligência Artificial no Apoio à Tomada de Decisões no Direito Tributário
2020. Revista de Direitos Fundamentais e Tributação.
Agent programming in the cognitive era
2020. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS.
Modelling deception using theory of mind in multi-agent systems
2019. AI COMMUNICATIONS.
A simulation environment for polymeric nanoparticles based on multi-agent systems
2019. JOURNAL OF MOLECULAR MODELING.
Allocating structured tasks in heterogeneous agent teams
2019. COMPUTATIONAL INTELLIGENCE.
Dimensions in programming multi-agent systems
2019. KNOWLEDGE ENGINEERING REVIEW (ONLINE).
SMART-JaCaMo: an organization-based team for the multi-agent programming contest
2018. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE.
Predicting Plan Failure by Monitoring Action Sequences and Duration
2017. ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL.
A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism
2017. ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL.
Meta-Information and Argumentation in Multi-Agent Systems
2017. iSys - Revista Brasileira de Sistemas de Informação.
Applying ontologies to the development and execution of Multi-Agent Systems
2017. Web Intelligence.
Argumentation Schemes for Collaborative Debate of Requirement Risks in Software Projects
2017. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING.
Model-driven engineering of multi-agent systems based on ontologies
2017. APPLIED ONTOLOGY (ONLINE).
Jason Interpreter, Enterprise Edition
2016. Informatica (Ljubljana).
SIMULATION ENVIRONMENT FOR POLYMERIC NANOPARTICLE: EXPERIMENT DATABASE
2016. Disciplinarum Scientia. Série Ciências Naturais e Tecnológicas.
Multi-agent oriented programming with JaCaMo
2013. Science of Computer Programming (Print).
Property-based Slicing for Agent Verification
2009. Journal of Logic and Computation.
Verifying Multi-agent Programs by Model Checking
2006. Autonomous Agents and Multi-Agent Systems.
Model Checking Rational Agents
2004. IEEE Intelligent Systems.

Trabalhos completos em congressos

An Approach to the Multi-Level Semantics of Agent Societies
2020. Brazilian Conference on Intelligent Systems (BRACIS).
Disaster Response Simulation as a Testbed for Multi-Agent Systems
2020. European Conference on Multi-Agent Systems (EUMAS).
Disaster Response Simulation
2020. International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS).
Decentralised Planning for Multi-Agent Programming Platforms
2019. International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
GoDonnie: A Robot Programming Language to Improve Orientation and Mobility Skills in People Who are Visually Impaired
2019. International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS).
A Survey on the Needs of Visually Impaired Users and Requirements for a Virtual Assistant in Ambient Assisted Living
2019. International Conference on Information Technology: New Generations (ITNG).
GoDonnie: A robot programming language for teaching people who are visually impaired
2019. Simpósio Brasileiro de Informática na Educação (SBIE).
Smart RogAgent: where Agents and Humans Team Up
2019. International Conference on Principles and Practice of Multi-Agent Systems (PRIMA).
Engineering Scalable Distributed Environments and Organizations for MAS
2019. International Conference on Autonomous Agents and MultiAgent Systems (AAMAS).
Constrained Coalition Formation among Heterogeneous Agents for the Multi-Agent Programming Contest
2019. International Conference on Agents and Artificial Intelligence (ICAART).
Towards an Ontology to Support Decision-making in Hospital Bed Allocation (S)
2019. International Conference on Software Engineering and Knowledge Engineering (SEKE).
Argumentation-Based Reasoning in BDI Agents Using Toulmin's Model
2018. Brazilian Conference on Intelligent Systems (BRACIS).
Argumentation Schemes for Data Access Control
2018. International Conference on Computational Models of Argument (COMMA).
Lies, Bullshit, and Deception in Agent-Oriented Programming Languages
2018. Workshop on Trust in Agent Societies (TRUST).
Choosing Appropriate Arguments from Trustworthy Sources
2018. International Conference on Computational Models of Argument (COMMA).
Explanation Templates for Case-based Reasoning in Collaborative Risk Management
2018. International Conference on Software Engineering and Knowledge Engineering (SEKE).
Designing Multi-Agent Systems from Ontology Models
2018. International Workshop on Engeering Multi-Agent Systems (EMAS).
AgentSpeak(ER): Enhanced Encapsulation in Agent Plans
2018. International Workshop on Engineering Multi-Agent Systems (EMAS).
On the Formal Semantics of Theory of Mind in Agent Communication
2018. International Conference on Agreement Technologies (AT).
Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems
2018. nternational Conference on Agreement Technologies (AT).
Predicting Plan Failure by Monitoring Action Sequences and Duration
2017. Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).
A Knowledge Engineering Process for the Development of Argumentation Schemes for Risk Management in Software Projects
2017. International Conference on Software Engineering and Knowledge Engineering (SEKE).
Argumentation Schemes for the Collaborative Debate of Requirement Risks in Software Projects
2017. International Conference on Software Engineering and Knowledge Engineering (SEKE).
Improving the Performance of Taxi Service Applications using Multi-Agent Systems Techniques
2017. Encontro Nacional de Inteligencia Artificial e Computacional (ENIAC).
Use of Conceptual Representations based on Conceptual Spaces Theory Applied to BDI Agents
2017. Brazilian Conference on Intelligent System (BRACIS).
An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios
2017. International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA).
A Decentralised Approach to Task Allocation Using Blockchain
2017. International Workshop on Engineering Multiagent Systems (EMAS).
MIRS: A Modular Approach for Using Meta-information in Agent-Oriented Programming Languages
2017. International Workshop on Trust in Agent Societies (TRUST).
Argumentation Schemes in Multi-Agent Systems: A social Perspective
2017. International Workshop on Engineering Multiagent Systems (EMAS).
A Multi-Agent Extension of Hierarchical Task Network
2017. Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).
An Ontology-Based Mobile Application for Task Managing in Collaborative Groups
2016. Florida Artificial Intelligence Research Society (FLAIRS).
Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning
2016. Brazilian Conference on Intelligent Systems (BRACIS).
Knowledge Representation for Argumentation in Agent-Oriented Programming Languages
2016. Brazilian Conference on Intelligent Systems (BRACIS).
Using Preferences over Sources of Information in Argumentation-Based Reasoning
2016. Brazilian Conference on Intelligent Systems (BRACIS).
Trust on Beliefs: Source, Time and Expertise
2016. Trust in Agent Societies (TRUST).
Evaluating the SBR Algorithm using Automatically Generated Plan Libraries
2016. Brazilian Conference on Intelligent Systems (BRACIS).
Metainformações como Critérios de Decisão entre Informações Conflitantes em Sistemas Multiagentes
2016. Encontro Nacional de Inteligência Artificial e Computacional (ENIAC).
A Distributed Online Multi-Agent Planning System
2016. Workshop on Distributed and Multi-Agent Planning (DMAP).
Limitations and Divergences in Approaches for Agent-Oriented Modelling and Programming
2016. International Workshop on Engineering Multi-Agent Systems (EMAS).
Towards Multi-Level Semantics for Multi-Agent Systems
2016. WEIT 2015, the Third Workshop-School on Theoretical Computer Science.

Resumos expandidos em congressos

Encapsulating Reactive Behaviour in Goal-Based Plans for Programming BDI Agents: Extended Abstract
2020. International Conference on Autonomous Agents an Multi-Agent Systems (AAMAS).
AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals (Extended Abstract)
2018. International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
A Modular Framework for Decentralised Multi-Agent Planning (Extended Abstract)
2017. International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
Uttering Only What is Needed: Enthymemes in Multi-Agent Systems (Extended Abstract)
2017. International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
Multi-Level Semantics with Vertical Integrity Constraints
2016. European Conference on Artificial Intelligence (ECAI).
Argumentation-Based Reasoning Using Preferences over Sources of Information (Extended Abstract)
2016. International Joint Conference on Autonomous Agents and Multiagents Systems (AAMAS).

Resumos em congressos

Programação de sistemas multi-agentes : uma abordagem para o desenvolvimento de ambientes, agentes, e suas organizações
2010. IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações.
Using Pedagogical Agents to Support Collaborative Distance Learning
2002. International Conference on Computer Support for Collaborative Learning (CSCL 2002), 7-11 January.
Proving BDI Properties of an Agent-Oriented Logic Programming Language
2002. Workshop on Logic in Games and Multi-Agent Systems (LoGaMAS-02).
Introdução aos Sistemas Multiagentes (Resumo de Palestra)
2001. XI Seminário Regional de Informática da URI, 6 a 9 de novembro.
Um Agente Inteligente Baseado na Engenharia Semiótica Inserido em um Ambiente de Aprendizado à Distância
2001. Proceedings of the IV Workshop on Human Factors in Computer Systems (IHC-2001), 15-17 October.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Giovani Nícolas Bettoni. N/D. Início: 2020. Pontifícia Universidade Católica do Rio Grande do Sul (Co orientador)
Gabriel Fernandes Leal. N/D. Início: 2020. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)
Jessica Arruda Ferreira de Santana. Aprendizado de Máquina para detecção de Tuberculose em Exames de Imagem. Início: 2019. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)

Doutorado

Debora Cristina Engelmann. Conversational Agents based on Argumentation Theory and Ontologies. Início: 2019. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)
Tabajara Krausburg Rodrigues. Coalition Formation in Multi-Agent Systems. Início: 2018. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)
Vagner de Oliveira Gabriel. N/D. Início: 2018. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)
Juliana Damasio. Using Interactive Agents to Provide Daily Living Assistance for Visually Impaired People. Início: 2017. Pontifícia Universidade Católica do Rio Grande do Sul (Orientador principal)

Veja todas as orientações no Currículo Lattes