Rafael Heitor Bordini

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/4589262718627942
  • Última atualização do currículo em 04/12/2018


Possui doutorado em Ciência da Computação pela University College London (1999), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1994), e Bacharelado em Informática pela Pontifícia Universidade Católica do Rio Grande do Sul (1992). Atualmente é professor adjunto na Pontifícia Universidade Católica do Rio Grande do Sul. Tem interesse em vários aspectos da engenharia de software para sistemas autônomos, incluindo linguagens de programação orientadas a agentes e utilização de model checkers para verificação e validação de sistemas multiagentes. Tem interesse também nas variadas áreas de aplicação de sistemas autônomos, como por exemplo "smart grids", "healthcare", e multirrobótica.

Rafael Bordini é membro eleito do conselho de diretores da International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS - http://www.ifaamas.org), e é membro emérito do conselho de diretores da European Association for Autonomous Agents and Multi-Agent Systems (EURAMAS - http://www.euramas.org). É membro do EPSRC (UK) "College of Peer Reviewers" 2010-2013 (http://www.epsrc.ac.uk/College), do qual foi membro também no período 2006-2009, e além disso revisa solicitações de financiamento de pesquisa para diversos paises. É Program Chair da conferência AAMAS-2015, e participou do comitê organizador e foi Senior Programme Committee de outras edições dessa conferência (A1), além de pertencer frequentemente do comitê de programa (inclusive senior) das principais conferencias de Inteligência Artificial e de um número grande de eventos na área de Agentes. Foi membro do Steering Committee do workshop ProMAS (que teve 10 edições) e é agora do Steering Committee dos workshops AGERE! (que é parte do ACM SPLASH), EMAS (que acontece com a conferência AAMAS) e do AutoSoft (workshop organizado com o CBSoft), chefe do comitê de programa do WESAAC-2013, workshop e escola de verão brasileira sobre Agentes; foi co-organizador de 2 edições do workshop AGERE!; foi organizador dos Seminários Dagstuhl 08361 e 06261 e participou de vários outros seminários Dagstuhl. É membro do corpo editorial da Revista Iberoamericana de Inteligência Artificial e frequentemente revisa artigos para revistas nas áreas de sistemas multi-agentes, inteligência artificial, engenharia de software, programação, e simulação. Pertenceu dos "Advisory Boards" do "European Agent Systems Summer School" e do "European Workshop on Multi-Agent Systems", do qual foi PC Chair na edição de 2007. É um dos desenvolvedores do software "Jason", que tem em média 500 downloads por mês e é usado em cursos de graduação em pelo menos 15 países diferentes. O livro escrito por Bordini, Hübner e Wooldridge e publicado pela Wiley sobre a plataforma Jason tem mais de 500 citações no Google Scholar; seu índice-H é 31, pelo Google Scholar. (Texto informado pelo autor)


Identificação


Nome
Rafael Heitor Bordini
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.

Endereço


Endereço Profissional
Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática.
Av. Ipiranga 6681
Partenon
90619900 - Porto Alegre, RS - Brasil
Telefone: (51) 33538605


Formação acadêmica/titulação


1994 - 1998
Doutorado em Ciência da Computação.
University College London (University of London), UCL, Grã-Bretanha.
Título: Contributions to an Anthropological Approach to the Cultural Adaptation of Migrant Agents, Ano de obtenção: 1999.
Orientador: John Anthony Campbell.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Multi-Agent Systems; Cognitive Anthropology; Simulation of the Game of Cricket; Prisoner´s Dilemma; Moral Sentiments; Ascriptions of Intentional Ontologies.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Setores de atividade: Informática.
1992 - 1994
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Suporte Lingüístico para Migração de Agentes,Ano de Obtenção: 1994.
Orientador: Rosa Maria Viccari e Antônio Carlos da Rocha Costa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Sistemas Multiagentes; Migração de Agentes; Protocolos de Comunicação; Semântica Formal.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Setores de atividade: Informática.
1988 - 1991
Graduação em Bacharelado em Informática.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.


Pós-doutorado


2002 - 2004
Pós-Doutorado.
University of Liverpool, University of Li, Inglaterra.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Verificação Formal.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.


Atuação Profissional



Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Atividades

08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Inteligentes Autônomos
08/2018 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
05/2018 - Atual
Outras atividades técnico-científicas , Escola Politécnica, Escola Politécnica.

Atividade realizada
Coordenador do Grupo de Inteligência Artificial na Saúde, parte do Núcleo de Inteligência Artificial.
01/2018 - Atual
Conselhos, Comissões e Consultoria, Escola Politécnica, .

Cargo ou função
Membro do NDE do Curso de Ciência da Computação.
03/2017 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

Linhas de pesquisa
Interação Humano-Robô
08/2016 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computabilidade e Complexidade
08/2015 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
03/2015 - Atual
Outras atividades técnico-científicas , Escola Politécnica, Escola Politécnica.

Atividade realizada
Coordenador do grupo de pesquisa e laboratório SMART (Semantic, Multi-Agent and Robotic Technologies), parte do Núcleo de Inteligência Artificial.
11/2014 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

03/2013 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

Linhas de pesquisa
Cuidados com a Saúde
03/2013 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

08/2012 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Agentes Autônomos (1o semestre), Sistemas Multi-Agentes (2o semestre)
03/2012 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

03/2012 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

Linhas de pesquisa
Tecnologias Semânticas
03/2012 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

Linhas de pesquisa
Inteligência Artificial
3/2012 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

Linhas de pesquisa
Sistemas Multiagentes
08/2017 - 07/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Inteligência Artificial
10/2017 - 12/2017
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro do NDE do Curso de Ciencia da Computação.
01/2017 - 12/2017
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Coordenador da Comissão Científica.
03/2015 - 02/2017
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro do Colegiado do Curso de Ciência da Computação.
01/2016 - 12/2016
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro da Comissão Científica.
11/2013 - 12/2016
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro do NDE do Curso de Ciência da Computação.
03/2012 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
01/2015 - 12/2015
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro da Comissão Coordenadora do PPGCC.
03/2013 - 02/2015
Outras atividades técnico-científicas , Faculdade de Informática, Faculdade de Informática.

Atividade realizada
Coordenador do Grupo de Pesquisa e Laboratório SeaTeaMS (Semantic Technologies and Multi-Agent Systems).
08/2013 - 12/2014
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Computabilidade e Complexidade de Algoritmos
03/2012 - 07/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial Aplicada
05/2012 - 12/2012
Conselhos, Comissões e Consultoria, Faculdade de Informática, .

Cargo ou função
Membro da Comissão Científica.
03/2012 - 07/2012
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Lógicas e Álgebras Computacionais

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

2009 - 2012
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Vínculo institucional

1999 - 2002
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Colaborador Convidado, Regime: Dedicação exclusiva.

Atividades

01/2011 - 02/2012
Direção e administração, Instituto de Informática, .

Cargo ou função
Coordenador da Comissão de Pesquisa.
01/2011 - 02/2012
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Membro da Comissão de Pós-Graduação em Computação.
03/2010 - 12/2011
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Agentes Autônomos e Sistemas Multiagentes
08/2009 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Complexidade de Algoritmos - B
Agentes Autônomos e Sistemas Multiagentes
3/2001 - 05/2002
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
CMP501 - Tópicos Especiais em Computação I - Coordenação Cognitiva e Utilitária em Sistemas Multiagentes
CMP504 - Tópicos Especiais em Computação IV - Simulação Social Baseada em Sistemas Multiagentes - 2001/1
3/2000 - 05/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
INF01142 Sistemas Operacionais I (N) - 2000/1
INF05005 Linguagens Formais e Autômatos (N) - 2000/2
INF05508 Lógica para Computação - 2000/1
INF05516 Semântica Formal (N) - 2001/1
09/1999 - 05/2002
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.


Durham University, DURHAM, Inglaterra.
Vínculo institucional

2004 - 2009
Vínculo: Permanent member of staff, Enquadramento Funcional: Lecturer, Regime: Dedicação exclusiva.

Atividades

10/2004 - Atual
Ensino, Computer Science, Nível: Graduação

Disciplinas ministradas
Multi-Agent Systems (submodule of Advanced Artificial Intelligence)
10/2004 - Atual
Extensão universitária , St Chads College, .

Atividade de extensão realizada
Tutor.
07/2004 - Atual
Pesquisa e desenvolvimento , Department of Computer Science, .


University of Liverpool, LIVERPOOL, Inglaterra.
Vínculo institucional

2002 - 2004
Vínculo: Temporary member of staff, Enquadramento Funcional: Research Fellow, Regime: Dedicação exclusiva.

Atividades

06/2002 - 05/2004
Pesquisa e desenvolvimento , Department of Computer Science, .

10/2003 - 04/2004
Ensino, Flexible Degrees, Nível: Graduação

Disciplinas ministradas
Introduction to Artificial Intelligence

International Foundation for Autonomous Agents and Multi-Agent Systems, IFAAMAS, Estados Unidos.
Vínculo institucional

2016 - Atual
Vínculo: Board Member, Enquadramento Funcional: Emeritus Member of the Board


European Association for Multi-Agent Systems, EURAMAS, Espanha.
Vínculo institucional

2012 - Atual
Vínculo: Board Member, Enquadramento Funcional: Emeritus Member of the Board



Linhas de pesquisa


1.
Muli-Agent Systems Applied to Social Simulation
2.
Formal Methods in Distributed Artificial Intelligence
3.
Agent-Oriented Programming
4.
Software Engineering for Autonomous Systems
5.
Applications of Multi-Agent Systems
6.
Verification of Multi-Agent Systems by Model Checking
7.
Programming Languages for Multi-Agent Systems
8.
Model Checking for an Agent-Oriented Programming Language
9.
Applications of Multi-Agent Sytems
10.
Agent-Oriented Programming Languages
11.
Formal Methods in Multi-Agent Systems
12.
Cuidados com a Saúde
13.
Mitigação de Desastres Naturais
14.
Programação Orientada a Agentes
15.
Tecnologias Semânticas
16.
Interação Humano-Robô
17.
Inteligência Artificial
18.
Planejamento Multiagente e Reconhecimento de Planos
19.
Sistemas Multiagentes


Projetos de pesquisa


2015 - Atual
Integraçã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
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Rafael Heitor Bordini - Integrante / Jomi Fred Hübner - Integrante / Luiz Marcos Garcia Gonçalves - Integrante / Mário Luiz Lopes Reiss - Integrante / Alexandre de Morais Amory - Coordenador / Felipe Rech Meneguzzi - Integrante / Isabel Harb Manssour - Integrante / Marcio Sarroglia Pinho - Integrante / Regis Alexandre Lahm - Integrante / Luiz Eduardo Cunha Leite - Integrante / Aquiles Medeiros Filgueira Burlamaqui - Integrante / Wallace Moreira Bessa - Integrante / Pablo Javier Alsina - Integrante / Carlos Eduardo Trabuco Dórea - Integrante / Justo Emilio Alvarez Jácobo - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2014 - Atual
Programação baseada em Controle Decentralizado: um Paradigma Inspirado em Sistemas Multiagentes
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (5) .
Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2015
SeaTeaMS - Semantic Technologies and Multi-Agent Systems for Team Interaction
Descrição: This project aims to use semantic and multi-agent techniques to create a programming framework and software toolkit supporting the development of applications that mediate the interactions in groups of people..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (2) .
Integrantes: Rafael Heitor Bordini - Coordenador / Renata Vieira - Integrante / Felipe Meneguzzi - Integrante / Moser Fagundes - Integrante.Financiador(es): Samsung Eletrônica da Amazônia - Auxílio financeiro.
2010 - Atual
JaCaMo: a platform for multi-agent oriented programming
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
2004 - 2009
Model Checking Agent Programming Languages (MCAPL)
Situação: Concluído; Natureza: Pesquisa.
2004 - 2009
Verifiable agent-oriented programming languages with applications in e-Science and the Semantic Web
Situação: Concluído; Natureza: Pesquisa.
2003 - Atual
Jason: a platform for agent-oriented programming
Situação: Em andamento; Natureza: Pesquisa.
1999 - 2002
Combining Utilitarian and Cognitive Coordination in a Layered Agent Architecture (CUCLA)
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Rafael Heitor Bordini - Integrante / Ana L. C. Bazzan - Integrante / Victor R. Lesser - Integrante / Rosa M. Vicari - Coordenador.Financiador(es): National Science Foundation - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1999 - 2002
Using Multi-Agent Systems Techniques in Simulations for the Social Sciences (MASSOC)
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) .
Integrantes: Rafael Heitor Bordini - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projetos de desenvolvimento


2003 - Atual
Jason - Uma Plataforma Para o Desenvolvimento de Sistemas Multi-Agentes
Descrição: 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..
Situação: Em andamento; Natureza: Desenvolvimento.


Membro de corpo editorial


2018 - Atual
Periódico: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
2012 - Atual
Periódico: INTELIGENCIA ARTIFICIAL


Membro de comitê de assessoramento


2015 - 2017
Agência de fomento: Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul
2006 - Atual
Agência de fomento: (EPSRC) Engineering and Physical Sciences Research Council


Revisor de periódico


2000 - Atual
Periódico: Autonomous Agents and Multi-Agent Systems
2000 - Atual
Periódico: Journal of Logic and Computation
2000 - Atual
Periódico: Journal of Automated Reasoning
2000 - Atual
Periódico: Applied Artificial Intelligence
2000 - Atual
Periódico: Annals of Mathematics and Artificial Intelligence
2000 - Atual
Periódico: JASSS. Journal of Artificial Societies and Social Simulation
2000 - Atual
Periódico: Computer Systems Science and Engineering
2000 - Atual
Periódico: Information Systems Research
2000 - Atual
Periódico: Journal of Applied Logic
2000 - Atual
Periódico: Artificial Intelligence
2000 - Atual
Periódico: Software, Practice & Experience
2000 - Atual
Periódico: International Journal of Simulation and Process Modelling
2000 - Atual
Periódico: Informatica (Ljubljana)
2011 - Atual
Periódico: ACM Computing Surveys
2011 - Atual
Periódico: Science of Computer Programming (Print)
2011 - Atual
Periódico: Computational Intelligence
2010 - Atual
Periódico: International Journal of Agent-Oriented Software Engineering (Print)
2010 - Atual
Periódico: The Journal of Artificial Intelligence Research (Print)
2010 - Atual
Periódico: Journal of Applied Non-Classical Logics
2013 - Atual
Periódico: ACM Transactions on Software Engineering and Methodology
2012 - Atual
Periódico: Engineering Applications of Artificial Intelligence
2012 - Atual
Periódico: The Journal of Systems and Software
2015 - Atual
Periódico: Knowledge and Information Systems (Print)
2017 - Atual
Periódico: IEEE Transactions on Services Computing
2018 - Atual
Periódico: COMPUTERS & GRAPHICS-UK
2018 - Atual
Periódico: Journal of Web Semantics


Revisor de projeto de fomento


2012 - Atual
Agência de fomento: (ISF) Israel Science Foundation
2010 - Atual
Agência de fomento: (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico
2008 - Atual
Agência de fomento: (NSF) The National Science Foundation
2008 - Atual
Agência de fomento: (FWF) Austrian Science Fund
2007 - Atual
Agência de fomento: (NWO) Netherlands Organisation for Scientific Research
2007 - Atual
Agência de fomento: (ASTAR) Agency for Science, Technology and Research
2007 - Atual
Agência de fomento: (BC) British Council
2006 - Atual
Agência de fomento: (EPSRC) Engineering and Physical Sciences Research Council


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Inteligência Artificial.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Verificação Formal.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Lê Pouco.
Francês
Compreende PoucoLê Pouco.
Italiano
Compreende PoucoLê Pouco.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:42
Total de citações:459
Fator H:13
Bordini, Rafael H  Data: 31/07/2018

SCOPUS
Total de trabalhos:131
Total de citações:2333
Bordini, Rafael H. [h-index 22]  Data: 31/07/2017

Outras
Total de trabalhos:254
Total de citações:6112
Rafael H. Bordini  Data: 31/07/2018

Artigos completos publicados em periódicos

1.
CARDOSO, RAFAEL C.2018CARDOSO, RAFAEL C. ; KRAUSBURG, TABAJARA ; BASÉGIO, TÚLIO ; ENGELMANN, DÉBORA C. ; HÜBNER, J. F. ; BORDINI, R. H. . SMART-JaCaMo: an organization-based team for the multi-agent programming contest. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, v. 1, p. 1-19, 2018.

2.
BASEGIO, TULIO L.2018BASEGIO, TULIO L. ; BORDINI, Rafael H. . Allocating structured tasks in heterogeneous agent teams. COMPUTATIONAL INTELLIGENCE, v. online, p. early view, 2018.

3.
Freitas, Artur2017Freitas, Artur ; BORDINI, Rafael H. ; VIEIRA, Renata . Model-driven engineering of multi-agent systems based on ontologies. APPLIED ONTOLOGY (ONLINE), v. 12, p. 157-188, 2017.

4.
DA LUZ SIQUEIRA, DENISE2017DA LUZ SIQUEIRA, DENISE ; FONTOURA, LISANDRA M. ; BORDINI, Rafael H. ; SILVA, LUIS A. L. . Argumentation Schemes for Collaborative Debate of Requirement Risks in Software Projects. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v. 27, p. 1613-1635, 2017.

5.
Freitas, Artur2017Freitas, Artur ; PANISSON, ALISON R. ; Hilgert, Lucas ; MENEGUZZI, FELIPE ; VIEIRA, Renata ; BORDINI, Rafael H. . Applying ontologies to the development and execution of Multi-Agent Systems. Web Intelligence, v. 15, p. 291-302, 2017.

6.
ZAMBERLAN, A. O.2016ZAMBERLAN, A. O. ; DALCIN, A. J. F. ; KURTZ, G. C. ; BORDINI, R. H. ; RAFFIN, R. P. ; FAGAN, S. B. . SIMULATION ENVIRONMENT FOR POLYMERIC NANOPARTICLE: EXPERIMENT DATABASE. Disciplinarum Scientia. Série Ciências Naturais e Tecnológicas, v. 17, p. 429-446, 2016.

7.
MITROVIĆ, D.2016MITROVIĆ ; IVANOVIĆ ; Bordini, R. H. ; BADICA, C. . Jason Interpreter, Enterprise Edition. Informatica (Ljubljana), v. 40, p. 19-27, 2016.

8.
Ricci, Alessandro2015Ricci, Alessandro ; Agha, Gul ; BORDINI, Rafael H. ; MARRON, ASSAF . Special issue on programming based on actors, agents and decentralized control. Science of Computer Programming (Print), v. 98, p. 117-119, 2015.

9.
MASCARDI, V.2014MASCARDI, V. ; ANCONA, D. ; BARBIERI, M. ; BORDINI, R. H. ; RICCI, A. . CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intelligence and Agent Systems, v. 12, p. 83-107, 2014.

10.
BOISSIER, O.2013 BOISSIER, O. ; BORDINI, R. H. ; HÜBNER, J. F. ; RICCI, A. ; SANTI, Andrea . Multi-agent oriented programming with JaCaMo. Science of Computer Programming (Print), v. 78, p. 747-761, 2013.

11.
OKUYAMA, F. Y.2013OKUYAMA, F. Y. ; Bordini, R. H. ; da Rocha Costa, A. C. . Situated normative infrastructures: the normative object approach. Journal of Logic and Computation (Online), v. 23, p. 397-424, 2013.

12.
Dennis, Louise A.2012Dennis, Louise A. ; Fisher, Michael ; Webster, Matthew P. ; Bordini, Rafael H. . Model checking agent programming languages. Automated Software Engineering, v. 19, p. 5-63, 2012.

13.
Bordini, Rafael H.2011Bordini, Rafael H.; Dastani, Mehdi ; Dix, Jürgen ; Seghrouchni, Amal El Fallah . Preface. Autonomous Agents and Multi-Agent Systems, v. 23, p. 155-157, 2011.

14.
HÜBNER, Jomi F.2011HÜBNER, Jomi F. ; BOISSIER, O. ; Bordini, Rafael H. . A normative programming language for multi-agent organisations. Annals of Mathematics and Artificial Intelligence, v. ND, p. ND, 2011.

15.
Bordini, Rafael H.2010Bordini, Rafael H.; Dastani, Mehdi . Guest editorial: Special issue on the European Workshop on Multi-Agent Systems (EUMAS). Autonomous Agents and Multi-Agent Systems, v. 20, p. 305-307, 2010.

16.
HÜBNER, Jomi F.2010HÜBNER, Jomi F. ; Bordini, Rafael H. . Using agent- and organisation-oriented programming to develop a team of agents for a competitive game. Annals of Mathematics and Artificial Intelligence, v. 59, p. 351-372, 2010.

17.
Bordini, R. H.2009 Bordini, R. H.; FISHER, M. ; WOOLDRIDGE, M. ; VISSER, W. . Property-based Slicing for Agent Verification. Journal of Logic and Computation, v. 19, p. 1385-1425, 2009.

18.
VIEIRA, Renata2007VIEIRA, Renata ; MOREIRA, Álvaro Freitas ; Wooldridge, M. ; BORDINI, R. H. . On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. Journal of Artificial Intelligence Research, v. 29, p. 221-267, 2007.

19.
Fisher, Michael2007Fisher, Michael ; Bordini, Rafael H. ; Hirsch, Benjamin ; Torroni, Paolo . COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS. Computational Intelligence, v. 23, p. 61-91, 2007.

20.
Bordini, R. H.2007Bordini, R. H.; DASTANI, M. ; DIX, J. ; EL FALLAH-SEGHROUCHNI, A. . Special Issue on Programming Multiagent Systems. INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING (PRINT), v. 1, p. 1, 2007.

21.
Bordini, Rafael H.2006 Bordini, Rafael H.; Fisher, Michael ; Visser, Willem ; Wooldridge, Michael . Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems, v. 12, p. 239-256, 2006.

22.
BORDINI, R. H.2006BORDINI, R. H.; BRAUBACH, L. ; DASTANI, M. ; EL FALLAH-SEGHROUCHNI, A. ; GOMEZ-SANZ, J.J. ; LEITE, J. ; O'HARE, G. ; POKAHR, A. ; RICCI, A. . A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Ljubljana), v. 30, p. 33-44, 2006.

23.
BORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.;Rafael H. Bordini;BORDINI, R.H.;BORDINI, Rafael H.2005BORDINI, R. H.; ROCHA COSTA, A. C. R. ; HÜBNER, Jomi F. ; MOREIRA, A. F. ; OKUYAMA, F. Y. ; VIEIRA, Renata . MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. JASSS. Journal of Artificial Societies and Social Simulation, v. 8, n.3, p. 3-7, 2005.

24.
Bordini, R.H.2004 Bordini, R.H.; FISHER, M. ; VISSER, W. ; Wooldridge, M. . Model Checking Rational Agents. IEEE Intelligent Systems, New York, NY, v. 19, n.5, p. 46-52, 2004.

25.
Bordini, Rafael H.2004Bordini, Rafael H.; Moreira, Álvaro F. . Proving BDI Properties of Agent-Oriented Programming Languages. Annals of Mathematics and Artificial Intelligence, v. 42, n.1-3, p. 197-226, 2004.

26.
BORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.;Rafael H. Bordini;BORDINI, R.H.;BORDINI, Rafael H.2003BORDINI, R. H.; VIEIRA, R. . Linguagens de Programação Orientadas a Agentes: uma Introdução baseada em AgentSpeak(L). Revista de Informática Teórica e Aplicada, Porto Alegre, v. X, n.1, p. 7-38, 2003.

27.
ROSSETTI, R. J.2002ROSSETTI, R. J. ; BORDINI, R. H. ; BAZZAN, A. L. C. ; BAMPI, S. ; LIU, R. ; VLIET, D. V. . Using BDI Agents to Improve Driver Modelling in a Commuter Scenario. Transportation Research. Part C, Emerging Technologies, v. 10, n.5-6, p. 373-398, 2002.

28.
BORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.;Rafael H. Bordini;BORDINI, R.H.;BORDINI, Rafael H.2000BORDINI, R. H.; BAZZAN, A. L. C. ; VICCARI, R. M. ; CAMPBELL, J. A. . Moral Sentiments in the Iterated Prisioner's Dilemma and in Multi-Agent Systems. Brazilian Electronic Journal of Economics, Recife, PE - Brazil, v. 3, n.1, 2000.

29.
BORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.;Rafael H. Bordini;BORDINI, R.H.;BORDINI, Rafael H.1998BORDINI, R. H.; CAMPBELL, J. A. ; VIEIRA, R. . Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems. JASSS. Journal of Artificial Societies and Social Simulation, United Kingdom, v. 1, n.4, p. 3, 1998.

30.
HUBNER, J. F.1995HUBNER, J. F. ; COSTA, A. C. R. ; BORDINI, R. H. . Identificação de Papéis por Apresentação na Entrada de Agentes em Sociedades Abertas. Dynamis (Blumenau), Blumenau, Brazil, v. 3, n.13, p. 41-53, 1995.

Livros publicados/organizados ou edições
1.
Bordini, R. H.; ELKIND, E. (Org.) ; Weiss, G. (Org.) ; Yolum, P. (Org.) . Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems AAMAS-2015. 1. ed. , 2015.

2.
DENNIS, L. (Org.) ; BOISSIER, O. (Org.) ; BORDINI, R. H. (Org.) . Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Revised Selected Papers. 721. ed. Springer LNCS 7217, 2012.

3.
Bordini, R. H.; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009. 389p .

4.
BORDINI, R. H.; HUBNER, J. F. ; Wooldridge, M. . Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007. v. 1. 273p .

5.
BORDINI, R. H.; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Proceedings of the Fourth International Workshop on Programming Multi-Agent Systems (Pro- MAS 2006), held with the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), 9th May, Hakodate, Japan. Springer, 2007.

6.
BORDINI, R. H.; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Proceedings of the Third International Workshop on Programming Multi-Agent Systems (ProMAS 2005), held with the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), 26th July, Utrecht, Netherlands. Springer, 2006.

7.
BORDINI, R. H.; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Programming Multi-Agent Systems: Second International Workshop (ProMAS 2004), held with AAMAS-2004, 20th of July 2004, New York City, NY (Revised Selected and Invited Papers). Berlin: Springer-Verlag, 2005.

8.
Bordini, R. H.; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Multi-Agent Programming Languages, Platforms and Applications Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. 15. ed. Springer, 2005. 296p .

Capítulos de livros publicados
1.
Boissier, Olivier ; BORDINI, Rafael H. ; HÜBNER, Jomi F. ; Ricci, Alessandro . Unravelling Multi-agent-Oriented Programming. In: Onn Shehory; Arnon Sturm. (Org.). Agent-Oriented Software Engineering. 1sted.: Springer Berlin Heidelberg, 2014, v. , p. 259-272.

2.
Bordini, R. H.; Dix, Jürgen . Programming Multiagent Systems. In: Gerhard Weiss. (Org.). Multiagent Systems. 2ed.Cambridge, Massachusetts: MIT Press, 2013, v. , p. 587-640.

3.
BORDINI, R. H.; HUBNER, J. F. . Agent-based simulation using BDI programming in Jason. In: Uhrmacher, A. M.; Weyns, D.. (Org.). Agents, Simulation and Applications. : CRC Press, Taylor & Francis Group, 2010, v. , p. 451-476.

4.
BORDINI, R. H.; DENNIS, L. ; FARWER, B. ; FISHER, M. . Directions for agent model checking. In: Dastani, M.; Hindriks, K.; Meyer, J.-J. C.. (Org.). Specification and Verification of Multi-agent Systems. : Springer, 2010, v. , p. -.

5.
BORDINI, R. H.; HÜBNER, Jomi F. ; VIEIRA, R. . Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R. H.; Dastani, M.; Dix, J.; El Fallah Seghrouchni, A.. (Org.). Multi-Agent Programming: Languages, Platforms and Applications. : Springer, 2005, v. , p. 3-37.

6.
BAZZAN, A. L. C. ; BORDINI, R. H. ; CAMPBELL, J. A. . Evolving Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise. In: Simon Parsons; Piotr Gmytrasiewicz; Michael Wooldridge. (Org.). Game Theory and Decision Theory in Agent-Based Systems. Dordrecht: Kluwer Academic Publishers, 2002, v. , p. 43-64.

7.
BORDINI, R. H.; VIEIRA, R. ; CAMPBELL, J. A. . An Anthropological Approach to the Discovery of Ontologies in Multi-Agent Societies. In: Mark d'Inverno; Michael Luck; Michael Fisher; Chris Preist. (Org.). Foundations and Applications of Multi-Agent Systems: UKMAS Workshops 1996-2000, Selected Papers. Berlin: Springer-Verlag, 2002, v. 2403, p. 89-109.

8.
BORDINI, R. H.. Inteligência Artificial Distribuída (Uma Introdução aos Sistemas Multiagentes). In: Luciana Porcher Nedel. (Org.). IX Escola de Informática da SBC-Sul (ERI2001), 21-25 de maio, Passo Fundo-RS, São José-SC, e Maringá-PR. Porto Alegre, RS: SBC, 2001, v. , p. 1-26.

9.
BORDINI, R. H.; VIEIRA, R. ; MOREIRA, A. F. . Fundamentos de Sistemas Multiagentes. In: Carlos Eduardo Ferreira. (Org.). Anais do XXI Congresso da SBC (SBC 2001), XX Jornada de Atualização em Informática (JAI 2001), 30 Julho - 3 Agosto, Fortaleza-CE. Porto Alegre, RS: SBC, 2001, v. 2, p. 3-41.

Textos em jornais de notícias/revistas
1.
Bordini, R. H.; HUBNER, J. F. . An overview of Jason. Association for Logic Programming NewsletterALP Newsletter, México.

2.
Bordini, R. H.. Programming and verifying complex systems. AISB Quaterly (The Newsletter of the Society fot the Study of Atificial Intelligence and Simulation of behaviour, p. 3 - 5.

Trabalhos completos publicados em anais de congressos
1.
PANISSON, A. R. ; ALI, A. ; MCBURNEY, P. ; Bordini, R. H. . Argumentation Schemes for Data Access Control. In: International Conference on Computational Models of Argument (COMMA), 2018, Warsaw. Proceedings of 7th COMMA, 2018.

2.
PANISSON, A. R. ; PARSONS, S. ; MCBURNEY, P. ; Bordini, R. H. . Choosing Appropriate Arguments from Trustworthy Sources. In: International Conference on Computational Models of Argument (COMMA), 2018, Warsaw. Proceedings of 7th COMMA, 2018.

3.
PANISSON, A. R. ; SARKADI, S. ; MCBURNEY, P. ; PARSONS, S. ; BORDINI, R. H. . Lies, Bullshit, and Deception in Agent-Oriented Programming Languages. In: Workshop on Trust in Agent Societies (TRUST), 2018, Stockholm. Proceedings of the 20th TRUST Workshop, 2018.

4.
GABRIEL, V. O. ; ADAMATTI, D. F. ; PANISSON, A. R. ; BORDINI, R. H. ; BILLA, C. Z. . Argumentation-Based Reasoning in BDI Agents Using Toulmin's Model. In: Brazilian Conference on Intelligent Systems, 2018, São Paulo. Proceedings of 7th BRACIS, 2018.

5.
CARDOSO, R. C. ; BORDINI, R. H. . A Multi-Agent Extension of Hierarchical Task Network. In: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC), 2017, Maceió. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 2017. v. 6.

6.
FARIAS, G. ; PEREIRA, R. F. ; HILGERT, L. W. ; MENEGUZZI, F. R. ; VIEIRA, R. ; BORDINI, R. H. . Predicting Plan Failure by Monitoring Action Sequences and Duration. In: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC), 2017, Maceió. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 2017. v. 6.

7.
SIQUEIRA, D. L. ; FONTOURA, L. M. ; BORDINI, R. H. ; SILVA, L. Á. L. . A Knowledge Engineering Process for the Development of Argumentation Schemes for Risk Management in Software Projects. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2017, Pittsburgh. Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017. p. 36-41.

8.
SIQUEIRA, D. L. ; FONTOURA, L. M. ; BORDINI, R. H. ; SILVA, L. Á. L. . Argumentation Schemes for the Collaborative Debate of Requirement Risks in Software Projects. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2017, Pittsburgh. Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017. p. 42-47.

9.
BLANGER, L. ; JUNIOR, V. ; JEVINSKI, C. J. ; PANISSON, A. R. ; BORDINI, R. H. . Improving the Performance of Taxi Service Applications using Multi-Agent Systems Techniques. In: Encontro Nacional de Inteligencia Artificial e Computacional (ENIAC), 2017, Uberlândia. Anais do 14o ENIAC, 2017.

10.
BREZOLIN, J. M. L. ; FIORINI, S. R. ; CAMPOS, M. B. ; BORDINI, R. H. . Use of Conceptual Representations based on Conceptual Spaces Theory Applied to BDI Agents. In: Brazilian Conference on Intelligent System (BRACIS), 2017, Uberlândia. Proceedings of te 6th BRACIS, 2017.

11.
BASEGIO, T. L. ; BORDINI, R. H. . An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios. In: International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA), 2017, Vilamoura. 11th KES International Conference on Agent and Multi-Agent Systems: Technology and Applications, 2017. p. 99-109.

12.
BASEGIO, T. L. ; MICHELIN, R. A. ; ZORZO, A. F. ; BORDINI, R. H. . A Decentralised Approach to Task Allocation Using Blockchain. In: International Workshop on Engineering Multiagent Systems (EMAS), 2017, São Paulo. 5th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), 2017.

13.
MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . MIRS: A Modular Approach for Using Meta-information in Agent-Oriented Programming Languages. In: International Workshop on Trust in Agent Societies (TRUST), 2017, São Paulo. 19th International Workshop on Trust in Agent societies (TRUST 2017), 2017.

14.
PANISSON, A. R. ; BORDINI, R. H. . Argumentation Schemes in Multi-Agent Systems: A social Perspective. In: International Workshop on Engineering Multiagent Systems (EMAS), 2017, São Paulo. 5th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), 2017.

15.
SCHMIDT, D. ; PANISSON, A. R. ; FREITAS, A. ; Bordini, R. H. ; MENEGUZZI, F. R. ; VIEIRA, R. . An Ontology-Based Mobile Application for Task Managing in Collaborative Groups. In: Florida Artificial Intelligence Research Society (FLAIRS), 2016, Key Largo. Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, 2016. p. 522-526.

16.
MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . Trust on Beliefs: Source, Time and Expertise. In: Trust in Agent Societies (TRUST), 2016, Singapore. Proceedings of the 18th International Workshop on Trust in Agent Societies co-located with the 15th International Conference on Autonomous Agents and Multiagent Systems (TRUST@AAMAS 2016), 2016.

17.
PANISSON, A. R. ; BORDINI, R. H. . Knowledge Representation for Argumentation in Agent-Oriented Programming Languages. In: Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. Proceedings of BRACIS 2016, 2016.

18.
PANISSON, A. R. ; MELO, V. S. ; BORDINI, R. H. . Using Preferences over Sources of Information in Argumentation-Based Reasoning. In: Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. Proceedings of BRACIS 2016, 2016.

19.
CARDOSO, R. C. ; BORDINI, R. H. . Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning. In: Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. Proceedings of BRACIS 2016, 2016.

20.
MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . Metainformações como Critérios de Decisão entre Informações Conflitantes em Sistemas Multiagentes. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2016, Recife. Proceedings of ENIAC-2016 (Trilha de Iniciacão Científica), 2016.

21.
CARDOSO, R. C. ; BORDINI, R. H. . A Distributed Online Multi-Agent Planning System. In: Workshop on Distributed and Multi-Agent Planning (DMAP), 2016, London. Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP-2016), 2016.

22.
FREITAS, A. ; CARDOSO, R. C. ; VIEIRA, R. ; BORDINI, R. H. . Limitations and Divergences in Approaches for Agent-Oriented Modelling and Programming. In: International Workshop on Engineering Multi-Agent Systems (EMAS), 2016, Singapore. Proceedings of EMAS-2016, 2016.

23.
PANISSON, A. R. ; ROCHA COSTA, A. C. ; Bordini, R. H. . Towards Multi-Level Semantics for Multi-Agent Systems. In: WEIT 2015, the Third Workshop-School on Theoretical Computer Science, 2016, Santa Maria. Electronic Notes in Theoretical Computer Science, 2016. v. 324. p. 123-134.

24.
FARIAS, G. ; HILGERT, L. W. ; MENEGUZZI, F. R. ; BORDINI, R. H. . Evaluating the SBR Algorithm using Automatically Generated Plan Libraries. In: Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. Proceedings of BRACIS-2016, 2016.

25.
PANISSON, A. R. ; FREITAS, A. ; SCHMIDT, D. ; Hilgert, Lucas ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Arguing About Task Reallocation Using Ontological Information in Multi-Agent Systems. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), 2015, Istanbul. Proceedings of 12th ArgMAS, 2015.

26.
FREITAS, A. ; PANISSON, A. R. ; Hilgert, Lucas ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Integrating Ontologies with Multi-Agent Systems through CArtAgO Artifacts. In: ACM International Conference on Intelligent Agent Technology (IAT), 2015, Cingapura. Proceedings of the International Conference on Intelligent Agent Technology, 2015.

27.
PANISSON, A. R. ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Towards Practical Argumentation-Based Dialogues in Multi-Agent Systems. In: ACM International Conference on Intelligent Agent Technology (IAT), 2015, Cingapura. Proceedings of the International Conference on Intelligent Agent Technology, 2015.

28.
PANISSON, A. R. ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Towards Practical Argumentation in Multi-Agent Systems. In: Brazilian Conference on Intelligent System (BRACIS), 2015, Natal. Proceedings of BRACIS 2015, 2015.

29.
CARDOSO, R. C. ; Bordini, R. H. . Combining Offline Multi-Agent Planning with a Multi-Agent System Development Framework. In: Workshop on Distributed and Multi-Agent Planning (DMAP), 2015, Jerusalem. Proceedings of the 3rd Workshop on Distributed and Multi-agent Planning (DMAP), held with ICAPS'15, 2015.

30.
SCHMIDT, D. ; Bordini, R. H. ; MENEGUZZI, F. ; VIEIRA, Renata . An Ontology for Collaborative Tasks in Multi-Agent Systems. In: Brazilian Seminar on Ontologies (ONTOBRAS), 2015, São Paulo. Proceedings of ONTOBRAS-2015, 2015.

31.
MORAIS, M. G. ; MENEGUZZI, F. R. ; Bordini, R. H. ; AMORY, A. M. . Distributed Fault Diagnosis for Multiple Mobile Robots using an Agent Programming Language. In: International Conference on Advanced Robotics (ICAR), 2015, Istabul. Proceedings of ICAR-2015, 2015. p. 395-400.

32.
ZAMBERLAN, A. O. ; KURTZ, G. C. ; BORDINI, R. H. ; FAGAN, S. B. . Ferramentas de Simulação Multiagentes no Contexto de Sistemas Nanoparticulados. In: SEPE - Simpósio de Ensino, Pesquisa e Extensão UNIFRA, 2015, Santa Maria. Anais do XIX SEPE, 2015.

33.
FAGUNDES, M. S. ; MENEGUZZI, F. ; BORDINI, R. H. ; VIEIRA, R. . Dealing with Ambiguity in Plan Recognition under Time Constraints. In: International Joint Conference on Autonomous Agents and Multiagents Systems (AAMAS), 2014, Paris. Proceedings of AAMAS-2014, 2014. p. 389-396.

34.
PANISSON, A. R. ; FARIAS, G. ; FREITAS, A. ; MENEGUZZI, F. ; VIEIRA, Renata ; BORDINI, R. H. . Planning Interactions for Agents in Argumentation-Based Negotiation. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), 2014, Paris. Proceedings of ArgMAS-2014, 2014.

35.
PANISSON, A. R. ; MENEGUZZI, F. ; VIEIRA, R. ; BORDINI, R. H. . An Approach for Argumentation-based Reasoning Using Defeasible Logic in Multi-Agent Programming Languages. In: International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), 2014, Paris. Proceedings of ArgMAS-2014, 2014.

36.
FREITAS, A. ; SCHMIDT, D. ; PANISSON, A. R. ; BORDINI, R. H. ; MENEGUZZI, F. ; VIEIRA, R. . Integrating Multi-Agent Systems in JaCaMo using a Semantic Representation. In: International Workshop on Collaborative Agents Research and Development (CARE), 2014, Paris. Proceedings of CARE, to appear, 2014.

37.
FREITAS, A. ; SCHMIDT, D. ; PANISSON, A. R. ; MENEGUZZI, F. ; VIEIRA, R. ; BORDINI, R. H. . Semantic Representations of Agent Plans and Planning Problem Domains. In: International Workshop on Engineering Multi-Agent Systems (EMAS), 2014, Paris. Proceedings of EMAS2014, to appear, 2014.

38.
BRITO, M. ; HÜBNER, J. F. ; BORDINI, R. H. . Analysis of the Use of Events and States as Brute Facts in Modelling of Institutional Facts. In: Workshop on Coordination Organization Institutions and Norms in Agent Systems (COIN), 2014, St. Paul, MN. Proceedings of COIN@AAMAS/PRIMA (LNCS). Heidelberg: Spinger, 2014. v. 8386. p. 177-192.

39.
FREITAS, A. ; SCHMIDT, D. ; PANISSON, A. R. ; Bordini, R. H. ; MENEGUZZI, F. ; VIEIRA, R. . Applying Ontologies and Agent Technologies to Generate Ambient Intelligence Applications. In: International Workshop on Collaborative Agents Research and Development (CARE), 2014, Paris. CARE/AVSA@AAMAS 2014. Heidelberg: Springer, 2014. v. 498. p. 22-33.

40.
CARDOSO, R. C. ; HÜBNER, Jomi F. ; Bordini, R. H. . Benchmarking Communication in Actor- and Agent-Based Languages. In: International Workshop on Engineering Multi-Agent Systems (EMAS), 2013, St. Paul, Minnesota. Engineering Multi-Agent Systems, Proceedings of EMAS-2013. Heidelberg: Springer. v. 8245. p. 58-77.

41.
BRITO, M. ; HÜBNER, J. F. ; BORDINI, R. H. . Programming Institutional Facts in Multi-Agent Systems. In: Workshop on Coordination Organization Institutions and Norms in Agent Systems (COIN), 2013, Valencia. Proceedings of COIN@AAMAS (LNCS). Heidelberg: Springer, 2013. v. 7756. p. 158-173.

42.
MOREIRA, A. F. ; VIEIRA, R. ; Bordini, R. H. . Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. In: Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, 2012, Taipei. Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers, 2012. v. 7169. p. 111-116.

43.
Shaw, P. H. ; Bordini, R. H. . An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. In: 2nd International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems (LADS), 2011. Proceedings of the 2nd International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems. Berlin/Heidelberg: Springer, 2011. v. 6822. p. 115-135.

44.
HAMA, M.T. ; ALLGAYER, R. S. ; PEREIRA, C.E. ; BORDINI, R. H. . UAVAS: AgentSpeak Agents for Unmaned Aerial Vehicles. In: AutoSoft 2011 - II Workshop on Autonomous Software Systems (held with CBSoft), 2011, São Paulo, SP. Anais do Congresso Brasileiro de Software : Teoria e Prática, 2011.

45.
VIKHOREV, K. ; ALECHINA, N. ; BORDINI, R. H. ; LOGAN, B. . An Operational Semantics for AgentSpeak(RT) (Preliminary Report). In: 11th Interational Workshop on Declarative Agent Languages and Technologies (held with AAMAS-2011), 2011, Taipei. Pre-proceedings of DALT-2011, 2011.

46.
TOLEDO, C.M. ; BORDINI, R. H. ; CHIOTTI, O. ; GALLI, M.R. . Developing a Knoweldge Management Multi-Agent System Using JaCaMo. In: 9th International Workshop on Programming Multi-Agent Systems (held with AAMAS-2011), 2011, Taipei. Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Revised Selected Papers, 2011. v. 7217. p. 41-57.

47.
MASCARDI, V. ; ANCONA, D. ; BORDINI, R. H. ; RICCI, A. . CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. In: IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011, Lyon. Proceendings of the International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2011. p. 109-116.

48.
HÜBNER, Jomi F. ; BOISSIER, O. ; Bordini, Rafael H. . A Normative Organisation Programming Language for Organisation Management Infrastructures. In: Coordination, Organizations, Institutions and Norms in Agent Systems -- COIN 2009 International Workshops, 2010, Torino. Coordination, Organizations, Institutions and Norms in Agent Systems V, COIN 2009 International Workshops; Revised Selected Papers, 2010. v. 6069. p. 114-129.

49.
Bordini, Rafael H.; HÜBNER, Jomi F. . Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). In: ECAI 2010 - 19th European Conference on Artificial Intelligence, 2010, Lisbon. Proceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2010. v. 215. p. 635-640.

50.
HÜBNER, Jomi F. ; BOISSIER, O. ; Bordini, Rafael H. . From Organisation Specification to Normative Programming in Multi-Agent Organisations. In: 11th International Workshop Computational Logic in Multi-Agent Systems CLIMA XI, 2010, Lisbon. Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI. Hidelberg: Springer, 2010. v. 6245. p. 117-134.

51.
LEMKE, A.P. ; NICOTTI, P.C.M. ; BLOIS, M. ; BORDINI, R. H. . Usando Objetos de Conhecimento para Compartilhar Conhecimento na Plataforma Jason. In: AutoSoft 2010 - I Workshop on Autonomous Software Systems (held with CBSoft), 2010, Salvador. Anais do Congresso Brasileiro de Software : Teoria e Prática, 2010. v. 10. p. 41-50.

52.
HÜBNER, Jomi F. ; BOISSIER, O. ; BORDINI, R. H. . Normative Programming for Organisation Management Infrastructures. In: Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN09@MALLOW), 2009, Torino. Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, 2009. v. 494.

53.
HUBNER, J. F. ; BORDINI, R. H. ; GOUVEIA, G.P. ; PEREIRA, R.H. ; PICARD, G. ; PIUNTI, M. ; SICHMAN, J. . Using Jason, MOISE+, and CArtAgO to Develop a Team of Cowboys. In: 10th International Workshop on Computational Logic in Multi-Agent Systems 2009 - Special Track: Multi-Agent Programming Contest, 2009, Hamburg. Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009.

54.
RICCI, A. ; PIUNTI, M. ; Acay, L. D. ; BORDINI, R. H. ; HUBNER, J. F. ; DASTANI, M. . Integrating heterogeneous agent programming platforms within artifact-based environments.. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008. v. 1. p. 225-232.

55.
BORDINI, R. H.; DENNIS, L. ; FARWER, B. ; FISHER, M. . Automated Verification of Multi-Agent Programs. In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008, L'Aquila. Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008. p. 69-78.

56.
OKUYAMA, F. Y. ; BORDINI, R. H. ; COSTA, A. C. R. . A Distributed Normative Infrastructure for Situated Multi-agent Organisations.. In: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, 2008, Estoril. Proceedings of the Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, 2008. v. 5397. p. 29-46.

57.
Klapiscak, T. ; Bordini, R. H. . JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.. In: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, 2008, Estoril. Proceedings of the Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, 2008. v. 5397. p. 91-110.

58.
DENNIS, L. ; FARWER, B. ; Bordini, R. H. ; Fischer, M. ; Wooldridge, M. . A common semantic basis for BDI Languages. In: Fifth International Workshop on Programming Multi-=Agent Systems (Pro-MAS-2007), 2008, Honolulu. Proceedings of the Fifth International Workshop on Programming Multi-=Agent Systems (Pro-MAS-2007), 2008. v. 4908. p. 139.

59.
Shaw, P. H. ; Bordini, R. H. . Towards alternative approaches to reasoning about goals.. In: 15Th International Workshop on Declarative Agent Languages and Technologies - DALT-2007, 2008, Honolulu. Proceedings of the 15Th International Workshop on Declarative Agent Languages and Technologies - DALT-2007, 2008. v. 4897. p. 104-121.

60.
Bordini, R. H.; Sierhuis, M. ; Fischer, M. . Analysing human-agent teamwork. In: 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008), 2008, Netherlands. Proceedings of the 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008), 2008.

61.
Bordini, R. H.; DASTANI, M. ; Meyer, J.J.C. . Foundations and Practice of Programming Multi-Agent Systems.. In: Dagstuhl Seminar Proceedings: Foundations and Practice of Programming Multi-Agent Systems 2006, 2007, Germany. Proceedings of the Dagstuhl Seminar Proceedings: Foundations and Practice of Programming Multi-Agent Systems 2006, 2007.

62.
OKUYAMA, F. Y. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . Spatially distributed normative objects.. In: Coordination, Oganizations, Institutions and Norms in Agent Systems II - AAMAS, 2007, Hakodate. Proceedings of the Coordination, Oganizations, Institutions and Norms in Agent Systems II - AAMAS, 2007. v. 4386. p. 133-146.

63.
OKUYAMA, F. Y. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . Spatially distributed normative infraestructure. In: 3th International Workshop on Environments for Multi-Agent Systems (E4MAS), 2007, Hakodate. Proceedings of the 3th International Workshop on Environments for Multi-Agent Systems (E4MAS), 2007. v. 4386. p. 133-146.

64.
OKUYAMA, F. Y. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . Augmenting multi-agent environment descriptions with a normative infraestructure. In: VI Brazilian Meeting on Artificial Intelligence (ENIA 2007), 2007, Rio de Janeiro. Proceedings of the VI Brazilian Meeting on Artificial Intelligence (ENIA 2007), 2007. p. 1391-1400.

65.
Bordini, R. H.; DASTANI, M. ; Winikoff, M. . Current Issues in multi-agent systems development. In: 17th Annual International Workshop on Engineering Societies in the Agents World, 2007, Dublin. Proceedings of the 17th Annual International Workshop on Engineering Societies in the Agents World, 2007. v. 4457. p. 38-61.

66.
ALECHINA, N. ; BORDINI, R. H. ; HÜBNER, Jomi F. ; Jago, M. ; LOGAN, B. . Automating belief revision for AgentSpeak.. In: 14th International Workshop on Declarative Agent Languages and Tecnologies, 2007, Hakodate. Proceedings of the 14th International Workshop on Declarative Agent Languages and Tecnologies, 2007. v. 4327. p. 61-77.

67.
HÜBNER, Jomi F. ; Bordini, R. H. ; Wooldridge, M. . Programming declarative goals using plan patterns. In: 14th International Workshop on Declarative Agent Languages and Tecnologies, 2007, Hakodate. Proceedings of the 14th International Workshop on Declarative Agent Languages and Tecnologies, 2007. v. 4327. p. 123-140.

68.
Bordini, R. H.; DASTANI, M. ; DIX, J. ; EL FALLAH-SEGHROUCHNI, A. . Programming Multi-Agent Systems. In: 4th International Workshop, ProMAS 2006, 2007, Hakodate. Proceedings of the 4th International Workshop ProMAS 2006, 2007. v. 4411.

69.
Shaw, P. H. ; Bordini, R. H. . Towards Alternative Approaches to Reasoning About Goals. In: 5th International Workshop, DALT 2007, 2007, Honolulu. Proceedingsa of the 5th International Workshop, DALT 2007, 2007.

70.
OKUYAMA, F. Y. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . Spatially Distributed Normative Objects. In: Dagstuhl Seminar Proceedings 07122 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2007. Proceedings of the Dagstuhl Seminar Proceedings 07122 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2007.

71.
DENNIS, L. ; FARWER, B. ; Bordini, R. H. ; FISHER, M. ; WOOLDRIDGE, M. . A Common Semantic Basis for BDI Languages.. In: Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, 2007, Honolulu. Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, 2007. p. 124-139.

72.
HÜBNER, Jomi F. ; Bordini, R. H. . Developing a Team of Gold Miners Using Jason. In: Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, 2007, Honolulu. Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, 2007.

73.
OKUYAMA, F. Y. ; VIEIRA, R. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . An ontology for defining environments within multi-agents simulations. In: 1th Workshop on Ontologies and Metemodeling in Software and Data Engineering, 2006, Florianópolis. Proceedings of the 1th Workshop on Ontologies and Metemodeling in Software and Data Engineering, 2006.

74.
MOREIRA, A. F. ; VIEIRA, R. ; Bordini, R. H. ; HUBNER, J. F. . Agent-oriented programming with underlying ontological reasoning. In: 3th International Workshop on Declarative Agent Languages and Technologies DALT-05, 2006, Netherlands. Proceedings of the 3th International Workshop on Declarative Agent Languages and Technologies DALT-05, 2006. v. 3904. p. 155-170.

75.
Bordini, R. H.; HUBNER, J. F. . BDI agent programming in AgentSpeak using Jason. In: 6th International Workshop on Computational Logic in Multi-Agent Systems - CLIMA VI, 2006, Londres. Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems - CLIMA VI, 2006. v. 3900. p. 143-164.

76.
VIEIRA, R. ; MOREIRA, A. F. ; Bordini, R. H. ; HUBNER, J. F. . An agent-oriented programming language for computing in context.. In: 2th IFIP Symposium on Professional Pratice in Artificial Intelligence, 2006, Santiago. Proceedings of the 2th IFIP Symposium on Professional Pratice in Artificial Intelligence, 2006. v. 218. p. 61-70.

77.
Bordini, R. H.; DASTANI, M. ; DIX, J. ; EL FALLAH-SEGHROUCHNI, A. . Programming multi-agents systems. In: 3th International Workshop - PROMAS 2005, 2006, Netherlands. Proceedings of the 3th International Workshop - PROMAS 2005, 2006.

78.
Bordini, R. H.; HUBNER, J. F. ; Tralamazza D. M. . Using Jason to Implement a Team of Gold Miners. In: Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, 2006, Hakodate. Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, 2006. p. 304-313.

79.
HÜBNER, Jomi F. ; Bordini, R. H. ; Wooldridge, M. . Programming Declarative Groals Using Plan Patterns. In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, 2006, Hakodate. Proceedings of the Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, 2006. p. 123-140.

80.
ALECHINA, N. ; Bordini, R. H. ; HÜBNER, Jomi F. ; Jago, M. ; LOGAN, B. . Automating Belief Revision for AgentSpeak. In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, 2006, Hakodate. Proceedings of the Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, 2006. p. 61-77.

81.
OKUYAMA, F. Y. ; Bordini, R. H. ; ROCHA COSTA, A. C. R. . Spatially Distributed Normative Infrastructure.. In: Environments for Multi-Agent Systems III, Third International Workshop, E4MAS 2006, 2006, Hakodate. Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, E4MAS 2006, 2006. p. 203-220.

82.
Bordini, R. H.; DASTANI, M. ; Winikoff, M. . Current Issues in Multi-Agent Systems Development.. In: Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, 2006, Dublin. Proceedings of the Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, 2006. p. 38-61.

83.
DASTANI, M. ; Meyer, J.J.C. ; Bordini, R. H. . Abstracts Colletion: Foundations and Practice of Programming Multi-Agent Systems. In: Foundations and Practice of Programming Multi-Agent Systems, 2006, Dagstuhl. Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 2006.

84.
DASTANI, M. ; Meyer, J.J.C. ; Bordini, R. H. . Executive Summary: Foundations and Practice of Programming Multi-Agent Systems. In: Foundations and Practice of Programming Multi-Agent Systems, 2006. Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 2006.

85.
Shaw, P. H. ; Bordini, R. H. . Using decision theoretic techniques for reasoning about declarative goals.. In: Student Session Poster Presentation, Eighth European Agent Systems Summer School (EASS-06), 2006, Annecy. Proceedings of the Student Session Poster Presentation, Eighth European Agent Systems Summer School (EASS-06), 2006.

86.
OKUYAMA, F. Y. ; Bordini, R. H. ; COSTA, A. C. R. . ELMS: an environment description language for multi-agent simulations. In: 1th International Workshop on Environments for Multiagent Systems, 2005, Berlin. Proceedings of the 1th International Workshop on Environments for Multiagent Systems, 2005. v. 3374. p. 91-108.

87.
Bordini, R. H.; HUBNER, J. F. . BDI - Agent Programming in AgentSpeak Using Jason. In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, 2005, Londres. Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, 2005. p. 143-164.

88.
MOREIRA, A. F. ; VIEIRA, R. ; Bordini, R. H. ; HUBNER, J. F. . Agent-Oriented Programming with Underlying Ontological Reasoning.. In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, 2005. Proceedings of the Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, 2005. p. 155-170.

89.
Fischer, M. ; Pearce, E. ; Wooldridge, M. ; Sierhuis, M. ; VISSER, W. ; BORDINI, R. H. . Towards the verification of human-robot teams. In: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, 2005, Loyola. Proceedings of the IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, 2005.

90.
BORDINI, R. H.. A recent experience in teaching multi-agent systems using Jason. In: Workshop on Teaching Multi-Agent Systems (TeachMAS 2005) AAMAS-05, 2005, Netherlands. Proceedings of the Workshop on Teaching Multi-Agent Systems (TeachMAS 2005) AAMAS-05.

91.
BORDINI, R. H.; FISHER, M. ; VISSER, W. ; WOOLDRIDGE, M. . State-Space Reduction Techniques in Agent Verification. In: Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), 2004, New York City, NY. Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004). New York, NY: ACM Press, 2004. p. 896-903.

92.
ANCONA, D. ; MASCARDI, V. ; HUBNER, J. F. ; BORDINI, R. H. . Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. In: Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), 2004, New York City, NY. Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004). New York, NY: ACM Press, 2004. p. 696-705.

93.
OKUYAMA, F. Y. ; COSTA, A. C. R. ; BORDINI, R. H. . ELMS: An Environment Description Language for Multi-Agent Simulations. In: First International Workshop on Environments for Multiagent Systems (E4MAS), 2004, New York City, NY. Proceedings of the First International Workshop on Environments for Multiagent Systems (E4MAS). Berlin: Springer-Verlag, 2004. p. 91-108.

94.
Bordini, R. H.; Fischer, M. ; VISSER, W. ; Wooldridge, M. . Verificable multiagent programs.. In: 1th International Workshop the Programming Multi-Agents Systems, 2004, Australia. Proceedings of the 1th International Workshop the Programming Multi-Agents Systems, 2004. v. 3067. p. 72-89.

95.
MOREIRA, A. F. ; VIEIRA, R. ; Bordini, R. H. . Extending the operational semantics of a BDI - agent oriented programming language for introducing speech-act based communication. In: 1th International Workshop Declarative Agent Languages and Technologies - DALT-03, 2004, New York. Proceedings of the 1th International Workshop Declarative Agent Languages and Technologies - DALT-03, 2004. v. 2990. p. 135-154.

96.
OKUYAMA, F. Y. ; Bordini, R. H. . Descrição e Geração de ambientes para simulações com sistema multiagente.. In: XVII Brazilian Symposium on Artificial Intelligence e II Workshop of Theses and Dissertations in Artificial Intelligence - WTDIA´04, 2004, São Luiz. Proceedings of the XVII Brazilian Symposium on Artificial Intelligence - SBAI´04 e II Workshop of Theses and Dissertations in Artificial Intelligence - WTDIA´04, 2004.

97.
Bordini, R. H.; OKUYAMA, F. Y. ; OLIVEIRA, D. de ; DREHMER, G. ; KRAFTA, R. . The MASC-SOC approach to multi-agent based simulation.. In: First International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA´02), 2004, Bologna. Proceedings of the First International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA´02), 2004. v. 2934. p. 70-91.

98.
TORRES, J. A. R. ; NEDEL, L. P. ; Bordini, R. H. . Autonomous agents with multiple foci of attention in virtual environments. In: 17th International Conference on Computer Animation and Social Agents - CASA 2004, 2004, Geneva. Proceedings of the 17th International Conference on Computer Animation and Social Agents - CASA 2004, 2004. p. 189-196.

99.
HÜBNER, Jomi F. ; BORDINI, R. H. ; VIEIRA, R. . Introdução ao Desenvolvimento de sistemas multiagentes com Jason. In: XII Escola Regional de Informática da SBC-Paraná - Sociedade Brasileira de Computação - SBC, 2004, Guarapuava. Anais da XII Escola Regional de Informática da SBC-Paraná - Sociedade Brasileira de Computação - SBC, 2004. v. 2. p. 51-89.

100.
BORDINI, R. H.; FISHER, M. ; PARDAVILA, C. ; WOOLDRIDGE, M. . Model Checking AgentSpeak. In: Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), 2003, Melbourne, 14-18 July. Proceedings. New York: ACM Press, 2003. p. 409-416.

101.
RODRIGUES, M. R. ; COSTA, A. C. R. ; BORDINI, R. H. . A System of Exchange Values to Support Social Interactions in Artificial Societies. In: Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), 2003, Melbourne, 14-18 July. Proceedings. New York: ACM Press, 2002. p. 81-88.

102.
KRAFTA, R. ; OLIVEIRA, D. de ; BORDINI, R. H. . The city as object of human agency. In: Fourth International Space Syntax Symposium (SSS4), 2003, London. Proceedings, 2003. p. 33.1-33.18.

103.
BORDINI, R. H.; VISSER, W. ; FISHER, M. ; PARDAVILA, C. ; WOOLDRIDGE, M. . Model Checking Multi-Agent Programs with CASP. In: Fifteenth Conference on Computer-Aided Verification (CAV-2003), 2003, Boulder, CO, 8-12 July. Proceedings of the Fifteenth Conference on Computer-Aided Verification (CAV-2003). Berlin: Springer-Verlag, 2003. v. 2725. p. 110-113.

104.
BORDINI, R. H.; FISHER, M. ; VISSER, W. ; WOOLDRIDGE, M. . Verifiable Multi-Agent Programs. In: First International Workshop on Programming Multiagent Systems: languages, frameworks, techniques and tools (ProMAS-03), 2003, Melbourne, 15 July. Pre-proceedings, 2003.

105.
MOREIRA, A. F. ; VIEIRA, R. ; BORDINI, R. H. . Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act based Communication. In: Workshop on Declarative Agent Languages and Technologies (DALT-03), 2003, Melbourne, 15 July. Pre-proceedings, 2003.

106.
BORDINI, R. H.; BAZZAN, A. L. C. ; JANNONE, R. O. ; BASSO, D. M. ; VICCARI, R. M. ; LESSER, V. R. . AgentSpeak(XL): Efficient Intention Selection in BDI Agents via Decision-Theoretic Task Scheduling. In: First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002, featuring 6th AGENTS, 5th ICMAS, and 9th ATAL), 15-19 July, 2002, Bologna, Italy. Proceedings. New York, NY: ACM Press, 2002. p. 1294-1302.

107.
MOREIRA, A. F. ; BORDINI, R. H. . An Operational Semantics for a BDI Agent-Oriented Programming Language. In: Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002, Toulouse. Proceedings of Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002. p. 45-59.

108.
MACHADO, R. ; BORDINI, R. H. . Running AgentSpeak(L) Agents on SIM_AGENT. In: Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), 2002, August 1-3, 2001, Seattle, WA. Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001). Berlin: Springer-Verlag. v. 2333. p. 158-174.

109.
BAZZAN, A. L. C. ; ADAMATTI, D. F. ; BORDINI, R. H. . Extending the Computational Study of Social Norms with a Systematic Model of Emotions. In: Brazilian Symposium on Artificial Intelligence (SBIA-02), 2002, 11-14th November, Recife. Advances in artificial intelligence, Proceedings of the XVI Brazilian Symposium on Artificial Intelligence (SBIA-02). Berlin: Springer-Verlag. v. 2507. p. 108-117.

110.
BORDINI, R. H.; MOREIRA, A. F. . Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. In: Thrid International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), 2002, 1st August, Copenhagen, Denmar. Proceedings, 2002. v. 70. p. 94-108.

111.
Bordini, R. H.; VIEIRA, R. ; CAMPBELL, J. A. . An anthropological approach to the discovery of ontologies in multi-agents societies.. In: Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, 2002. Proceedings of the Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, 2002. v. 2403.

112.
JUNG, J. L. ; Bordini, R. H. ; VICARI, R. M. . Concepção e implementação de um agente semiótico como parte de um modelo social de aprendizagem a distância. In: XXII Congresso da Sociedade Brasileira de Computação SBC - 2002, 2002, Floranópolis. Anais do XXII Congresso da Sociedade Brasileira de Computação SBC - 2002, 2002.

113.
Bordini, R. H.; OKUYAMA, F. Y. ; OLIVEIRA, D. de ; DREHMER, G. . The MAS-SOC Approach to Multi-agent Based Simulation.. In: Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, 2002. Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, 2002. p. 70-91.

114.
BAZZAN, A. L. C. ; BORDINI, R. H. . A Framework for the Simulation of Agents with Emotions: Report on Experiments with the Iterated Prisoner's Dilemma. In: The Fifth International Conference on Autonomous Agents (Agents 2001), 28 May - 1 June, 2001, Montreal, 2001.

115.
ANDRADE, A. F. ; JAQUES, P. ; JUNG, J. L. ; BORDINI, R. H. ; VICCARI, R. M. . A Computational Model of Distance Learning Based on Vygotsky's Socio-Cultural Approach. In: Workshop on Multi-Agent Based Learning Environments (MABLE-2001), held as part of the X International Conference on Artificial Intelligence on Education, 19-23 May,, 2001, Antonio, Texas, 2001.

116.
MACHADO, R. ; BORDINI, R. H. . Running AgentSpeak(L) Agents on SIM_AGENT. In: Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), 1-3 August,, 2001, Seattle, WA. (Pre-Proceedings), 2001.

117.
BORDINI, R. H.; BAZZAN, A. L. C. ; JANNONE, R. O. ; BASSO, D. M. ; VICCARI, R. M. ; LESSER, V. R. . Using the DTC scheduler to improve intention selection in BDI agents. In: Meeting for the Evaluation of the Cooperative Research Projects supported by CNPq - ProTeM-CC Programme, 1-3 de outubro, 2001, Rio de Janeiro, RJ, Brasil, 2001.

118.
MACHADO, R. ; OLIVEIRA, D. de ; OKUYAMA, F. Y. ; DREHMER, G. ; AZAMBUJA, M. G. ; BORDINI, R. H. . The Implementation of a Prototype Interpreter for a BDI Programming Language and its Use in a Social Simulation Framework. In: V Oficina de Inteligência Artificial - UCPEL, 21 e 22 de novembro, 2001, Pelotas. Pelotas: EDUCAT, 2001. p. 111-122.

119.
MACHADO, R. ; BORDINI, R. H. . Running AgentSpeak(L) Agents on SIM_AGENT - Reprinted as in ATAL-2001 pre-proceedings. In: Fourth Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS'2001), 13-14 December, 2001, Oxford, 2001.

120.
Bordini, R. H.; VIEIRA, R. ; MOREIRA, A. F. . Fundamentos de sistemas multiagentes. In: XXIi Congresso da Sociedade Brasileira de Computação SBC2001, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação SBC2001, 2001. v. 2.

121.
BAZZAN, A. L. C. ; WAHLE, J. ; BORDINI, R. H. . Simulating Agent Personalities in a Commuting Scenario. In: 14th Workshop of the ASIM Working Group - Multi-Agent Systems and Individual-Based Simulation, 20-21 March, 2000, Würzburg, Germany, 2000. p. 25-29.

122.
BAZZAN, A. L. C. ; BORDINI, R. H. ; ANDRIOTTI, G. K. ; VICCARI, R. M. ; WAHLE, J. . Wayward Agents in a Commuting Scenario (Personalities in the Minority Game). In: Fourth International Conference on Multi-Agent Systems, 2000, Boston, MA. Proceedings of ICMAS-2000. Los Alamitos, CA: IEEE Computer Society, 2000. p. 55-62.

123.
BAZZAN, A. L. C. ; BORDINI, R. H. . Evolving Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise. In: Second Workshop on Game Theoretic and Decision Theoretic Agents, held with ICMAS'2000, 2000, Boston, MA, 2000. p. 13-25.

124.
BAZZAN, A. L. C. ; BORDINI, R. H. ; VICCARI, R. M. ; WAHLE, J. . Evolving Populations of Agents with Personalities in the Minority Game. In: International Joint Conference: 7th Ibero-American Conference on AI (IBERAMIA-SBIA 2000), 19-22 November, 2000, Atibaia, SP Brazil. Berlin: Springer Verlag, 2000. v. 1952. p. 166-175.

125.
WAHLE, J. ; BAZZAN, A. L. C. ; BORDINI, R. H. ; SCHRECKENBERG, M. . Human Factors in a Commuter Scenario. In: Conferência Panamericana de Transportes (PANAM-2000), 2000, Gramado, RS, 2000.

126.
BAZZAN, A. L. C. ; BORDINI, R. H. ; ANDRIOTTI, G. K. ; VICCARI, R. M. ; WAHLE, J. . Wayward Agents in a Commuting Scenario (Personalities in the Minority Game) - Reprinted from ICMAS 2000. In: Third Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS'2000), 2000, Oxford, 2000.

127.
ANDRADE, A. F. ; JAQUES, P. ; VICCARI, R. M. ; BORDINI, R. H. ; JUNG, J. L. . Uma Proposta de Modelo Computacional de Aprendizagem à Distância Baseada na Concepção Sócio-Interacionista de Vygotsky. In: II Workshop de Ambientes de Aprendizagem Baseados em Agentes, held with Simpósio Brasileiro de Informática na Educação (SBIE 2000), 2000, Maceió, Brazil, 2000.

128.
BAZZAN, A. L. C. ; BORDINI, R. H. ; CAMPBELL, J. A. . Moral Sentiments in Multi-Agent Systems. In: Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), part of the Agents' World'98, 1999, Paris. Intelligent Agents V - Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag, 1999. v. 1555. p. 113-131.

129.
BORDINI, R. H.; CAMPBELL, J. A. ; VIEIRA, R. . Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi Agent Systems (Reprinted from JASSS). In: Second Workshop of the UK Interest Group on Multi-Agent Systems, 1999, Bristol. Proceedings of UKMAS'99, 1999.

130.
BAZZAN, A. L. C. ; BORDINI, R. H. ; CAMPBELL, J. A. . Moral Sentiments in Multi-Agent Systems. In: International Workshop on Agent Theories Architecture and Languages, 1998, Paris. Pre-Proceedings of ATAL´98, 1998.

131.
BORDINI, R. H.; CAMPBELL, J. A. ; VIEIRA, R. . Ascription of Intensional Ontologies in Anthropological Descriptions of Multi-Agent Systems. In: First International Workshop on Cooperative Information Agents (CIA'97), 1997, Kiel - Germany. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlga, 1997. v. 1202. p. 235-247.

132.
BAZZAN, A. L. C. ; BORDINI, R. H. ; CAMPBELL, J. A. . Agents with Moral Sentiments in an Iterated Prisoner's Dilemma Exercise. In: AAAI Fall Symposium on Socially Intelligent Agents, 1997. Technical Report FS-97-02. Cambridge, MA: AAAI Press, 1997. p. 4-6.

133.
BORDINI, R. H.; CAMPBELL, J. A. . Towards an Anthropological Approach to Agent Adaptation. In: First International Workshop on Decentralized Intelligent and Multi-Agent Systems (DIMAS'95), 1995, Krakow. Decentralized Intelligent and Multi-Agent Systems (DIMAS'95). Krakow, Poland, 1995. p. II/74-II/83.

134.
COSTA, A. C. R. ; HUBNER, J. F. ; BORDINI, R. H. . On Entering an Open Society. In: XI Brazilian Symposium on Artificial Intelligence, 1994. Proceedings of the XI Brazilian Symposium on Artificial Intelligence. Fortaleza, 1994. p. 535-546.

Resumos expandidos publicados em anais de congressos
1.
RICCI, A. ; Bordini, R. H. ; COLLIER, R. ; HÜBNER, J. F. . AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals (Extended Abstract). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018, Stockholm. Proceedings of 17th AAMAS, 2018.

2.
CARDOSO, R. C. ; BORDINI, R. H. . A Modular Framework for Decentralised Multi-Agent Planning (Extended Abstract). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2017, São Paulo. Proceedings of the 16th International Conference on Autonomous Agents & Multiagent Systems (AAMAS-2017), 2017. p. 1487-1489.

3.
PANISSON, A. R. ; BORDINI, R. H. . Uttering Only What is Needed: Enthymemes in Multi-Agent Systems (Extended Abstract). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2017, São Paulo. Proceedings of the 16th International Conference on Autonomous Agents & Multiagent Systems (AAMAS-2017), 2017. p. 1670-1672.

4.
PANISSON, A. R. ; BORDINI, R. H. ; COSTA, A. C. R. . Multi-Level Semantics with Vertical Integrity Constraints. In: European Conference on Artificial Intelligence (ECAI), 2016, The Hague. Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI-2016, 2016. p. 1708-1709.

5.
MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . Argumentation-Based Reasoning Using Preferences over Sources of Information (Extended Abstract). In: International Joint Conference on Autonomous Agents and Multiagents Systems (AAMAS), 2016, Singapore. Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems - AAMAS-2016, 2016. p. 1337-1338.

6.
Freitas, Artur ; BORDINI, Rafael H. ; MENEGUZZI, F. ; VIEIRA, Renata . Towards Integrating Ontologies in Multi-Agent Programming Platforms. In: ACM International Conference on Intelligent Agent Technology (IAT), 2015, Atlanta. Proc. of IAT-2013, 2015.

7.
FREITAS, A. ; Hilgert, Lucas ; Marczak, S. ; MENEGUZZI, F. ; Bordini, R. H. ; VIEIRA, R. . A Multi-Agent Systems Engineering Tool based on Ontologies. In: International Conference on Conceptual Modeling (ER), 2015, Stockholm. Proceedings of the 34th International Conference on Conceptual Modeling, 2015.

8.
FARIAS, G. ; Hilgert, Lucas ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Automatic Generation of Plan Libraries for Plan Recognition Performance Evaluation. In: ACM International Conference on Intelligent Agent Technology (IAT), 2015, Cingapura. Proceedings of the International Conference on Intelligent Agent Technology, 2015.

9.
CARDOSO, R. C. ; ZATELLI, M. R. ; HÜBNER, J. F. ; Bordini, R. H. . Towards Benchmarking Actor- and Agent-Based Programming Languages. In: International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE), 2015, Indianapolis. Proceedings of the 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE! @ SPLASH 2013). New York: ACM, 2015. p. 115-126.

10.
BREZOLIN, J. M. L. ; FIORINI, S. R. ; CAMPOS, M. B. ; Bordini, R. H. . Using Conceptual Spaces for Object Recognition in Multi-Agent Systems. In: International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2015, Bertinoro. Proceedings of the 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2015.

11.
BREZOLIN, J. M. L. ; FIORINI, S. R. ; CAMPOS, M. B. ; Bordini, R. H. . Using Conceptual Spaces for Belief Update in Multi-Agent Systems. In: ACM International Conference on Intelligent Agent Technology (IAT), 2015, Cingapura. Proceedings of the International Conference on Intelligent Agent Technology, 2015.

12.
ZAMBERLAN, A. O. ; BORDINI, R. H. ; FAGAN, S. B. . Avaliação de Arquitetura de Sistema Multiagente para Efeito de Aglomeração de Nanopartículas. In: Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações (WESAAC), 2015, Niterói. Anais do 9o WESAAC, 2015. p. 173-178.

13.
PANISSON, A. R. ; MENEGUZZI, F. ; FAGUNDES, M. S. ; VIEIRA, R. ; BORDINI, R. H. . Formal Semantics of Speech Acts for Argumentative Dialogues. In: International Joint Conference on Autonomous Agents and Multiagents Systems (AAMAS), 2014, Paris. Proceedings of AAMAS-2014, 2014. p. 1437-1438.

14.
CARDOSO, R. C. ; HÜBNER, Jomi F. ; Bordini, R. H. . Benchmarking Communication in Agent- and Actor-Based Languages (Extended Abstract). In: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2013, St. Paul, Minnesota. Proceedings of AAMAS-2013, 2013.

15.
FAGUNDES, M. S. ; MENEGUZZI, F. ; VIEIRA, R. ; Bordini, R. H. . Interaction Patterns in a Multi-Agent Organisation to Support Shared Tasks. In: International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT), 2013, Annecy. Modeling and Using Context (LNCS). Heidelberg: Springer, 2013. v. 8175. p. 364-370.

16.
Bordini, R. H.. Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School. In: DALT Spring School 2011, 2012, Bertinoro. Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Revised Selected and Invited Papers, 2011. v. 7169. p. 149-151.

17.
Ricci, Alessandro ; Bordini, Rafael H. ; Agha, Gul . AGERE! (actors and agents reloaded). In: the ACM international conference companion, 2011, Portland. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11. New York: ACM Press, 2011.

18.
Ricci, Alessandro ; Agha, Gul ; Bordini, Rafael H. . Agere! (actors and agents reloaded). In: the compilation of the colocated workshops, 2011, Portland. Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 - SPLASH '11 Workshops. New York: ACM Press, 2011.

19.
Shaw, P. H. ; Bordini, Rafael H. . An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. In: ECAI 2010 - 19th European Conference on Artificial Intelligence, 2010, Lisbon. Proceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence. Amsterdam: IOS Press, 2010. v. 215. p. 1035-1036.

20.
Bordini, R.H.; FISHER, M. ; Sierhuis, M. . Formal verification of human-robot teamwork. In: 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, 2009, Califórnia - USA. Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, 2009. p. 267-268.

21.
DENNIS, L. ; FARWER, B. ; BORDINI, R. H. . A flexible framework for verifying agent programs.. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008. v. 3. p. 1303-1306.

22.
Shaw, P. H. ; FARWER, B. ; BORDINI, R. H. . Theoretical and experimental results on the goal-plan tree problem.. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008. v. 3. p. 1379-1382.

23.
OKUYAMA, F. Y. ; BORDINI, R. H. ; COSTA, A. C. R. . A distributed normative infrastructure for situated multi-agent organisations.. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008. v. 3. p. 1501-1504.

24.
HUBNER, J. F. ; Bordini, R. H. ; PICARD, G. . Using Jason to develop a team of cowboys. In: 6h International Workshop on Programming Multi-Agent Systems (ProMAS-2008), 2008, Estoril. Proceedings of the 6h International Workshop on Programming Multi-Agent Systems (ProMAS-2008), 2008.

25.
Bordini, R. H.. Simulating rational goal-directed behaviour using a logic-based programming language for multi-agent systems. In: AISB 2008 - Convention (Communication, Interaction and Social Intelligence) - Symposium on Logic and the Simulation of Interaction and Reasoning, 2008, Aberdeen. Proceedings of the AISB 2008 - Convention (Communication, Interaction and Social Intelligence) - Symposium on Logic and the Simulation of Interaction and Reasoning, 2008. v. 9.

26.
HUBNER, J. F. ; Bordini, R. H. . Developing a team of gold miners using Jason. In: 5th International Workshop on Programming Multi-Agent Systems (Pro-MAS-2007), 2008, Honolulu. Proceedings of the 5th International Workshop on Programming Multi-Agent Systems (Pro-MAS-2007), 2008. v. 4908. p. 241-245.

27.
DENNIS, L. ; Bordini, R. H. ; FARWER, B. ; Fischer, M. . Model checking agent programming languages. In: 15th Workshop on Automated Reasoning (ARW2008) Bridging the Gap between theory and pratice, 2008, Birmingham. Proceedings of the 15th Workshop on Automated Reasoning (ARW2008) Bridging the Gap between theory and pratice, 2008.

28.
Bordini, R. H.; HÜBNER, Jomi F. ; Tralamazza D. M. . Using Jason to implement a team of gold miners. In: 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), 2007, Hakodate. Proceedings of the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), 2007. v. 4371. p. 304-313.

29.
DENNIS, L. ; FARWER, B. ; Bordini, R. H. . A common semantic basis for BDI languages. In: 14th Workshop on Automated Reasoning (ARW-2007), 2007, Londres. Proceedings of the 14th Workshop on Automated Reasoning (ARW-2007) - Briding the Gap between Theory and Pratice, 2007.

30.
ALECHINA, N. ; Bordini, R. H. ; HÜBNER, Jomi F. ; Jago, M. ; LOGAN, B. . Belief revision for AgentSpeak agents. In: 5th International Joint Conference on Autonomus Agents and Multi-Agent Systems, 2006, Hakodate. Proceedings of the 5th International Joint Conference on Autonomus Agents and Multi-Agent Systems, 2006. p. 1288-1290.

31.
HÜBNER, Jomi F. ; Bordini, R. H. ; Wooldridge, M. . Plan patterns for declarative goals in AgentSpeak. In: 15th International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2006, Hakodate. Proceedings of the 15th International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2006. p. 1291-1293.

32.
TORRES, J. A. R. ; NEDEL, L. P. ; BORDINI, R. H. . Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. In: Fourth International Conference on Interactive Virtual Agents (IVA 2003), 2003, Irsee, 15-17 Septembre. Proceedings. Berlin: Springer-Verlag, 2003. v. 2792. p. 197-201.

Resumos publicados em anais de congressos
1.
HUBNER, J. F. ; BORDINI, R. H. . Programação de sistemas multi-agentes : uma abordagem para o desenvolvimento de ambientes, agentes, e suas organizações. In: IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande, RS. Anais, 2010.

2.
JAQUES, P. ; ANDRADE, A. F. ; JUNG, J. L. ; BORDINI, R. H. ; VICCARI, R. M. . Using Pedagogical Agents to Support Collaborative Distance Learning. In: International Conference on Computer Support for Collaborative Learning (CSCL 2002), 7-11 January, 2002, Boulder, CO. Proceedings, 2002.

3.
BORDINI, R. H.; MOREIRA, A. F. . Proving BDI Properties of an Agent-Oriented Logic Programming Language. In: Workshop on Logic in Games and Multi-Agent Systems (LoGaMAS-02), 2002, 16-17 December, Liverpool, UK. Proceedings, 2002.

4.
JUNG, J. L. ; JAQUES, P. ; ANDRADE, A. F. ; BORDINI, R. H. ; VICCARI, R. M. . Um Agente Inteligente Baseado na Engenharia Semiótica Inserido em um Ambiente de Aprendizado à Distância. In: Proceedings of the IV Workshop on Human Factors in Computer Systems (IHC-2001), 15-17 October, 2001, Florianópolis-SC, Brazil, 2001.

5.
BORDINI, R. H.. Introdução aos Sistemas Multiagentes (Resumo de Palestra). In: XI Seminário Regional de Informática da URI, 6 a 9 de novembro, 2001, Santo Ângelo, 2001. p. 24.

6.
WAHLE, J. ; BAZZAN, A. L. C. ; BORDINI, R. H. ; SCHRECKENBERG, M. . Adding Personalities to the Minority Game: A Commuter Scenario. In: 229th WE-Heraeus-Seminar - Economic Dynamics from the Physics Point of View, 2000, Bad Honnef, 27-30 March, 2000.

7.
BORDINI, R. H.; CAMPBELL, J. A. ; VIEIRA, R. . Ascribing Intensional Ontologies in Anthropologically-Based Cultural Descriptions of Multi-Agent Systems. In: Second International Conference on Multi-Agent Systems (ICMAS'96), 1996, Kyoto. Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS'96). Kyoto, Japan, 1996. p. 427.

8.
BORDINI, R. H.; COSTA, A. C. R. ; HUBNER, J. F. ; VICCARI, R. M. . Linguistic Support for Agent Migration. In: First International Conference on Multi-Agent Systems (ICMAS'95), 1995, San Francisco. Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95). San Francisco, CA: AAAI Press / MIT Press, 1995. p. 441.

Artigos aceitos para publicação
1.
ZAMBERLAN, A. O. ; KURTZ, G. C. ; GOMES, T. L. ; BORDINI, R. H. ; FAGAN, S. B. . A Simulation Environment for Polymeric Nanoparticles based on Multi-Agent Systems. JOURNAL OF MOLECULAR MODELING, 2019.

2.
BOISSIER, O. ; Bordini, R. H. ; HÜBNER, J. F. ; RICCI, A. . Dimensions in Programming Multi-Agent Systems. KNOWLEDGE ENGINEERING REVIEW, 2018.

Apresentações de Trabalho
1.
BORDINI, R. H.. UMA PLATAFORMA PARA PESQUISA E DESENVOLVIMENTO DE SISTEMAS MULTIAGENTES. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
Bordini, R. H.. JaCaMo: Uma Plataforma para o Desenvolvimento de Sistemas Multiagentes. 2014. (Apresentação de Trabalho/Conferência ou palestra).

3.
BORDINI, R. H.. Inteligência Artificial Distribuída (Uma Introdução aos Sistemas Multiagentes). 2001. (Apresentação de Trabalho/Seminário).

4.
BORDINI, R. H.. Introdução aos Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).

5.
BORDINI, R. H.; VIEIRA, R. ; MOREIRA, A. F. . Fundamentos de Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
BORDINI, R. H.; CAMPBELL, J. A. . Anthropologically-Based Migration of Agents: a New Approach to Interoperability 1995 (Research Note UCL-CS [RN/95/79]).

2.
BORDINI, R. H.. Os Fundamentos Formais da IA. Porto Alegre, Brazil: CPGCC da UFRGS, 1993 (Research Notes [RP-215]).

3.
BORDINI, R. H.. Extending Isabelle's Classical First-Order Logic for Proving Theorems of the Acceptance Relation Theory. Porto Alegre, Brazil: CPGCC da UFRGS, 1993 (Research Notes [TI-319]).


Produção técnica
Programas de computador sem registro
1.
ZAMBERLAN, A. O. ; FAGAN, S. B. ; BORDINI, R. H. . MASPN - Multi-agent System for Polymeric Nanoparticles. 2016.

2.
BOISSIER, O. ; BORDINI, R. H. ; HUBNER, J. F. ; RICCI, A. ; SANTI, A. . JaCaMo. 2010.

3.
HUBNER, J. F. ; BORDINI, R. H. . Jason. 2004.

Trabalhos técnicos
1.
BORDINI, R. H.. SPC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2018). 2018.

2.
Bordini, R. H.. SPC Member - Principles and Practice of Multi-Agent Systems (PRIMA-2018). 2018.

3.
Bordini, R. H.. PC Member - International Joint Conference on Artificial Intelligence (IJCAI-2018). 2018.

4.
Bordini, R. H.. PC Member - International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS-2018). 2018.

5.
Bordini, R. H.. PC Member - International Conference on Agents and Artificial Intelligence (ICAART). 2018.

6.
Bordini, R. H.. PC Member - Encontro Nacional de Inteligência Artificial e Computacional (ENIAC-2018). 2018.

7.
Bordini, R. H.. PC Member - Brazilian Conference on Intelligent Systems (BRACIS-2018). 2018.

8.
Bordini, R. H.. PC Member - Workshop Escola de Agentes, Ambientes e Aplicações (WESAAC). 2018.

9.
BORDINI, R. H.. PC Member - Concurso de Teses e Dissertações em Inteligência Artificial e Computacional (CTDIAC). 2018.

10.
BORDINI, R. H.. PC Member - AGERE! Workshop held with SPLASH. 2018.

11.
BORDINI, R. H.. PC Member - Workshop on Engineering Multi-Agent Systems (EMAS) held with AAMAS. 2018.

12.
BORDINI, R. H.. PC Member - 16th Ibero-American Conference on Artificial Intelligence (IBERAMIA). 2018.

13.
BORDINI, R. H.. PC Member - Worksop on Trust in Agent Societies (TRUST) held with AAMAS. 2018.

14.
BORDINI, R. H.. PC Member - AAAI Conference on Artificial Intelligence (AAAI-2018). 2018.

15.
BORDINI, R.H.. SPC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2017.

16.
BORDINI, R.H.. PC Member - AAAI Conference on Artificial Intelligence (AAAI). 2017.

17.
BORDINI, R. H.. SPC Member - International Joint Conference on Artificial Intelligence (IJCAI-2017). 2017.

18.
BORDINI, R. H.. PC Member - Brazilian Conference on Intelligent Systems (BRACIS-2017). 2017.

19.
BORDINI, R. H.. PC Member - Encontro Nacional de Inteligência Artificial e Computacional (ENIAC-2017). 2017.

20.
BORDINI, R. H.. PC Member - Simpósio Brasileiro de Automação Inteligente (SBAI-2017). 2017.

21.
BORDINI, R. H.. SPC Member - Principles and Practice of Multi-Agent Systems (PRIMA-2017). 2017.

22.
BORDINI, R. H.. PC Member - International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS-2017). 2017.

23.
BORDINI, R. H.. PC Member - Worksop on Trust in Agent Societies (TRUST) held with AAMAS. 2017.

24.
BORDINI, R. H.. PC Member - Workshop Escola de Agentes, Ambientes e Aplicações (WESAAC). 2017.

25.
BORDINI, R. H.. PC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) - Blue Sky Track. 2017.

26.
BORDINI, R. H.. PC Member - WORKSHOP DE PESQUISA EM COMPUTAÇÃO DOS CAMPOS GERAIS. 2017.

27.
BORDINI, R. H.. EPIA Conference on AI - Track on Multi-Agent Systems: Theory and Applications (MASTA). 2017.

28.
BORDINI, R.H.. PC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2016.

29.
BORDINI, R.H.. PC Member - European Conference on Artificial Intelligence (ECAI). 2016.

30.
BORDINI, R.H.. PC Member - Australasian Joint Conference on Artificial Intelligence (AI). 2016.

31.
BORDINI, R.H.. PC Member - Brazilian Conference on Intelligent System (BRACIS). 2016.

32.
BORDINI, R.H.. SPC Member - Principles and Practice of Multi-Agent Systems (PRIMA). 2015.

33.
BORDINI, R.H.. SPC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2014.

34.
BORDINI, R.H.. SPC Member - International Joint Conference on Artificial Intelligence (IJCAI). 2013.

35.
BORDINI, R.H.. PC Member - International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2013.

36.
BORDINI, R.H.. PC Member - Simpósio Brasileiro de Engenharia de Software (SBES). 2013.

37.
BORDINI, R.H.. PC Member - Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). 2013.


Demais tipos de produção técnica
1.
Bordini, Rafael H.. Programação Multiagente. 2012. (Curso de curta duração ministrado/Outra).

2.
Bordini, Rafael H.; HINDRIKS, K. ; LEITE, J. . Tutorial 3: Agent oriented programming languages. 2012. (Curso de curta duração ministrado/Outra).

3.
Bordini, Rafael H.. Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School. 2011. (Curso de curta duração ministrado/Outra).

4.
Boissier, Olivier ; Bordini, Rafael H. ; HUBNER, J. F. ; Ricci, Alessandro . Multiagent Programming. 2010. (Curso de curta duração ministrado/Outra).

5.
HUBNER, J. F. ; Bordini, Rafael H. . Programação de Sistemas Multi-Agentes: uma abordagem para o desenvolvimento de ambientes, agentes, e suas organizações. 2010. (Curso de curta duração ministrado/Outra).

6.
Bordini, Rafael H.; Dastani, Mehdi ; HINDRIKS, K. ; LEITE, J. . Tutorial 3: Programming Languages and Development Tools for Multiagent Systems. 2008. (Curso de curta duração ministrado/Outra).

7.
Bordini, Rafael H.; DASTANI, M. ; LEITE, J. ; Winikoff, M. . Tutorial 2: Programming Languages and Development Tools for Multi-Agent Systems. 2007. (Curso de curta duração ministrado/Outra).

8.
Bordini, Rafael H.; Dastani, Mehdi ; LEITE, J. . Programming Languages for Multi-Agent Systems. 2007. (Curso de curta duração ministrado/Outra).

9.
Bordini, Rafael H.; Dastani, Mehdi ; LEITE, J. ; Winikoff, M. . Tutorial 2: Programming languages and Development Tools for MAS. 2006. (Curso de curta duração ministrado/Outra).

10.
Bordini, Rafael H.; Dastani, Mehdi . Tutorial10: Programming Languages for Multi-Agent Systems. 2005. (Curso de curta duração ministrado/Outra).

11.
Dastani, Mehdi ; Bordini, Rafael H. ; VAN RIEMSDIJK, B. . Programming Languages for Multi-Agent Systems. 2005. (Curso de curta duração ministrado/Outra).



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 Bordini, R. H.; FAGUNDES, M. S. ; HILGERT, L. W. ; MENEGUZZI, F. R. ; VIEIRA, Renata . Método para Inserir Código em Programa com Linguagem de Programação Lógica Utilizando Ontologias. 2014, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020140042091, título: "Método para Inserir Código em Programa com Linguagem de Programação Lógica Utilizando Ontologias" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 21/02/2014

2.
 FAGUNDES, M. S. ; Bordini, R. H. ; MENEGUZZI, F. R. ; VIEIRA, R. ; Hilgert, Lucas . Método para Estimar o Tempo Esperado para o Reconhecimento de Plano. 2014, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020140098615, título: "Método para Estimar o Tempo Esperado para o Reconhecimento de Plano" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 24/04/2014

3.
 Bordini, R. H.; MENEGUZZI, F. R. ; VIEIRA, R. ; FREITAS, A. ; KOSTER, A. . Método para Alocação de Tarefas em Cenários Dinâmicos. 2015, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020150055790, título: "Método para Alocação de Tarefas em Cenários Dinâmicos" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 12/03/2015



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
COSTA, A. C. R.; BORDINI, R. H.; REATEGUI, E. B.. Participação em banca de CAMILA DASSO THOMASI. OrIAs: Uma Infraestrutura de Nível Micro-Organizacional Baseada em Artefatos para Sistemas Multiagentes. 2014. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

2.
HÜBNER, Jomi F.; Bordini, R. H.; MARCHI, J.; RABELO, R. J.. Participação em banca de Maicon Rafael Zatelli. Integração de agenes, organização e ambiente na interação de sistemas multiagentes. 2013. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

3.
VIEIRA, Renata; Bordini, R. H.. Participação em banca de Daniela Oliveira Ferreira do Amaral. O Reconhecimento de Entidades Nomeadas por meio de Conditional Random Fields para a Língua Portuguesa. 2013. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

4.
VIEIRA, Renata; Bordini, R. H.. Participação em banca de Artur Luiz Silva da Cunha Freitas. Ontologia para Teste de Desempenho de Software. 2013. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

5.
SOUZA, O. N.; Bordini, R. H.; CACERES, R. A.. Participação em banca de Thiago Lipinski Paes. PRO-SMART: Predição de Estruturas Terciárias de Proteínas Utilizando Sistemas Multiagentes. 2013. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

6.
BORDINI, R. H.. Participação em banca de Maicon de Brito do Amarante. Uma abordagem baseada em agentes para avaliação do balanceamento de carga em redes veiculares: dois estudos de caso. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

7.
VICCARI, R. M.; GUEDES, G. T. A.; BARONE, D. A. C.; BORDINI, R. H.; SILVEIRA, R. A.. Participação em banca de Gilleanes Thorwald Araujo Guedes. Uma Ferramenta para Auxiliar a Avaliação de Textos Construídos Colaborativamente em Ambientes de Ensino-Aprendizagem. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

8.
VICCARI, R. M.; UENO, Y.; BAZZAN, A. L. C.; BORDINI, R. H.; FAGUNDES, L. C.. Participação em banca de Yuzo Ueno. O Modelo da Membrana Quântica: A Emergência de Vida Artificial em Ambientes Dinâmicos Quantizados. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

9.
SANTOS, C. S.; SILVA, L. Á. L.; ALVARES, L. O. C.; BORDINI, R. H.; PALAZZO, L. A. M.. Participação em banca de Luís Álvaro de Lima Silva. Aplicando Métodos de Solução de Problemas em Tarefas de Interpretação de Rochas. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

10.
COSTA, A. C. R.; SANTOS, M. A. F.; BORDINI, R. H.; ALVARES, L. O. C.; OLIVEIRA, F. M.. Participação em banca de Marco Aurélio Freitas dos Santos. Estudo da Utilização de uma Ferramenta para Construção de Programas em Português em Disciplinas Básicas de Programação. 2001. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

11.
ALVARES, L. O. C.; CORDENONSI, A. Z.; BARONE, D. A. C.; BORDINI, R. H.; OLIVEIRA, F. M.. Participação em banca de André Zanki Cordenonsi. Um Ambiente de Evolução de Comportamentos para Sistemas Multiagentes Reativos. 2000. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Teses de doutorado
1.
TACLA, C. A.; BORDINI, R. H.; SCALABRIN, E. E.; SECA NETO, A. S.; LUGO, G. A. G.. Participação em banca de Miriam Mariela Mercedes Morveli Espinoza. Cálculo da Força de Argumentos Retóricos e sua Aplicação em Diálogos de Negociação Persuasiva em Sistemas Multi-Agente. 2018. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

2.
EARLE, C. B.; FREDLUND, L.; NAVARRO, J. J. M.; BORDINI, R. H.; RUBIERA, J. C.; SOUTO, L. M. C.; HERNANDEZ, S. M.; FRAGUAS, F. J. L.; MARTINEZ, M. E. G.. Participação em banca de Álvaro Fernández Díaz. eJason: a Framework for Distributed and Fault-tolerant Multi-Agent Systems. 2018 - Universidad Politécnica de Madrid.

3.
BORDINI, R. H.. Participação em banca de Maicon Rafael Zatelli. Exploiting Parallelism In the Agent Paradigm. 2017. Tese (Doutorado em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

4.
LOPES, J. A. P.; ROSA, M. A.; Bordini, R. H.. Participação em banca de Diego Issicaba. Block-Oriented Agent-Based Architecture to Support the Power Distribution System Operation. 2013. Tese (Doutorado em Electrical and Computer Engineering) - Universidade do Porto.

5.
Bordini, R. H.; HÜBNER, Jomi F.; PEREIRA, C.E.; MENEGUZZI, F.. Participação em banca de Mauricio da Silva Escobar. Agents Anywhere: Uma Linguagem para o Desenvolvimento de Aplicações Multiagentes Ubíquos. 2013. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

6.
Bordini, R. H.. Participação em banca de André Luiz Duarte Cavalcante. Arquitetura Baseada em Agentes e Auto-Oganizável para a Manufatura. 2012. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Sul.

7.
LUCENA, C. J. P.; BARBOSA, S. D. J.; Bordini, R. H.; FUKS, H.. Participação em banca de Ingrid Oliveira de Nunes. User-Centric Preference-Based Decision Making. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

8.
Bordini, Rafael H.; Garibaldi, Jon. Participação em banca de Konstantin Vikhorev. Real-time Guarantees in High-level Agent Programming Languages. 2011. Tese (Doutorado em Computer Science) - University of Nottingham.

9.
BORDINI, R. H.. Participação em banca de Ana Paula Lemke. K2 - Uma Arquitetura para a Adaptação de Agentes de Software ao Contexto. 2011. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

10.
Bordini, R. H.. Participação em banca de Elder Rizzon Santos. Creative Agency. 2010. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

11.
Bordini, R. H.. Participação em banca de Ricardo Matsumura de Araújo. Memetic Networks: problem-solving with social network models. 2009. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

Qualificações de Doutorado
1.
TACLA, C. A.; BORDINI, R. H.; SILVA, F.; ALMEIDA, L. D. A.. Participação em banca de Ayslan Trevizan Possebom. Tomada de Decisões por Consenso usando Argumentação em Sistemas Multiagentes. 2016. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

2.
TACLA, C. A.; SCALABRIN, E. E.; BORDINI, R. H.; SECA NETO, A. S.. Participação em banca de Miriam Mariela Morveli. Cálculo da força de argumentos retóricos e sua aplicação em diálogos de negociação persuasiva em sistemas multi-agente. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

3.
ASADA, E. N.; VIEIRA JUNIOR, J. C. M.; BORDINI, R. H.. Participação em banca de Filipe de Oliveira Saraiva. Desenvolvimento de Sistemas Multiagentes Aplicados a Redes de Distribuição de Energia Elétrica Inteligentes. 2014. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

4.
HÜBNER, J. F.; BORDINI, R. H.. Participação em banca de Maiquel de Brito. UM MODELO DE INSTITUIÇÃO ARTIFICIAL SITUADA. 2014. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

5.
MOREIRA, A. F.; VIEIRA, R.; WASSERMANN, R.; BORDINI, R. H.. Participação em banca de MARLO VIEIRA DOS SANTOS E SOUZA. Dinâmica epistêmica em linguagens de Programação BDI. 2014. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

6.
OLIVEIRA, R. S.; Bordini, R. H.; MARCHI, J.. Participação em banca de Maicon Rafael Zatelli. Exploiting Parallelism in the Agent Paradigm. 2014. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

7.
BORDINI, R. H.. Participação em banca de André Marcelo Schneider. Abordagem evolucionária com idades para construção de conhecimento aplicado à robótica móvel. 2006. Exame de qualificação (Doutorando em PPGC - INF - UFRGS) - Universidade Federal do Rio Grande do Sul.

8.
BORDINI, R. H.. Participação em banca de Edson Prestes e Silva Junior. Navegação exploratória baseada em problemas de valores de contorno. 2003. Exame de qualificação (Doutorando em PPGC - INF - UFRGS) - Universidade Federal do Rio Grande do Sul.

9.
ALVARES, L. O. C.; SCHNEIDER, A. M.; BORDINI, R. H.. Participação em banca de André Marcelo Schneider. Arquiteturas para Agentes Inteligentes. 2002. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

10.
ALVARES, L. O. C.; MORAES, M. C.; BORDINI, R. H.. Participação em banca de Márcia Cristina Moraes. Agentes Improvisacionais: Uma Perspectiva para Agentes de Software Voltados a Interfaces. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

11.
ALVARES, L. O. C.; PEREIRA, A. S.; ENGEL, P. M.; BORDINI, R. H.. Participação em banca de Adriana Soares Pereira. Algoritmos Genéticos. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

12.
ALVARES, L. O. C.; SILVA JUNIOR, E. P. E.; ENGEL, P. M.; BORDINI, R. H.. Participação em banca de Edson Prestes e Silva Junior. Sistemas Baseados em Conhecimentos. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.



Participação em bancas de comissões julgadoras
Concurso público
1.
BIGOLIN, N. M.; Bordini, R.H.; SILVA, L. Á. L.. Professor Adjunto em Técnicas e Metodologias de Computação. 2011. Universidade Federal de Santa Maria.

Outras participações
1.
Bordini, R. H.. Avaliação de pedidos de bolsas dos programas PIBIC/PIBITI e PIBIC-Af (Ações Afirmativas), biênio 2017-2018, da UFMS. 2017. Universidade Federal de Mato Grosso do Sul.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Program Chair. 2015. (Congresso).

2.
7o WESAAC - Workshop-Escola de Sistemas de Agentes, Seus Ambientes e Aplicações.Chefe do Comitê de Programa. 2013. (Oficina).

3.
IJCAI-2013 - 23rd International Joint Conference on Artificial Intelligence. Senior Programme Committee. 2013. (Congresso).

4.
11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). Senior Programme Committee Member. 2012. (Congresso).

5.
13th Ibero-American Conference on Artificial Intelligence (IBERAMIA). Area Chair. 2012. (Congresso).

6.
3rd International Conference on Ambient Systems, Networks and Technologies (ANT) - Agent Systems, Intelligent Computing and Applications Track. PC member. 2012. (Congresso).

7.
Concurso de Teses e Disssertações em Inteligência Artificial (CTDIA).PC Member. 2012. (Outra).

8.
Dagstuhl Seminar 12342.Reflections on Multi-Agent Oriented Programming. 2012. (Seminário).

9.
Encontro Nacional de Inteligência Artificial (ENIA).PC Member. 2012. (Encontro).

10.
Simpósio Brasileiro de Engenharia de Software (SBES).PC Member. 2012. (Simpósio).

11.
VI Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2012. (Oficina).

12.
10th International Conference on Autonomous Agents and Multi-Agent Systems. Senior Programme Committee Member. 2011. (Congresso).

13.
10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2011. (Congresso).

14.
10th International Workshop on Programming Multi-Agent Systems (held with AAMAS).Workshop Chair. 2011. (Oficina).

15.
1o Workshop-Escola de Informática Teórica - WEIT 2011.PC member. 2011. (Oficina).

16.
22nd International Joint Conference on Artificial Inteligence (IJCAI). PC Member. 2011. (Congresso).

17.
25o Simósio Brasileiro de Engenharia de Software (SBES), part of CBSoft. PC member. 2011. (Congresso).

18.
2nd International Conference on Ambient Systems, Networks and Technologies - DAI Track. PC member. 2011. (Congresso).

19.
3rd International Workshop on Collaborative Agents - Research & Development (CARE). PC member. 2011. (Congresso).

20.
9th European Workshop on Multi-Agent Systems (EUMAS).PC Member. 2011. (Oficina).

21.
9th International Workshop on Declarative Agent Languages and Technologies (DALT).PC member. 2011. (Oficina).

22.
Agent Directed Simulation (ADS, held with SpringSim'11). Programme Committee Member. 2011. (Congresso).

23.
IEEE/WIC/ACM International Conference on Intelligent Agent Technology. Program Vice-Chair. 2011. (Congresso).

24.
International Workshop on Computational Logics - CLIMA XII (held with IJCAI).PC member. 2011. (Oficina).

25.
International Workshop on Data Mining in Networks (DaMNet), held with ICDM.PC member. 2011. (Oficina).

26.
Simpósio Brasileiro de Engenharia de Software (SBES).PC Member. 2011. (Simpósio).

27.
V Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2011. (Oficina).

28.
11th International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN held with MALLOW).PC member. 2010. (Oficina).

29.
19th European Conference on AI (ECAI). PC Member. 2010. (Congresso).

30.
5th ACM/IEEE International Conference on Human-Robot Interaction (HRI). Reviewer. 2010. (Congresso).

31.
8th European Dependable Computing Conference (EDCC). Reviewer. 2010. (Congresso).

32.
8th European Workshop on Multi-Agent Systems (EUMAS).PC Member. 2010. (Oficina).

33.
8th International Workshop on Declarative Agent Languages and Technologies.PC member. 2010. (Oficina).

34.
Advances in Computer Simulation Track - 25th ACM Symposium on Applied Computing (SAC-SIM). PC member. 2010. (Congresso).

35.
CBSoft - Tutoriais (Tutoriais do Congresso Brasileiro de Software). Avaliador. 2010. (Congresso).

36.
International Workshop on Computational Logics - CLIMA XI (held with ECAI).PC member. 2010. (Oficina).

37.
IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2010. (Oficina).

38.
Third International Symposium on Agent Based Modeling and Simulation (held with EMCSR). Programme Committee Member. 2010. (Congresso).

39.
21st International Joint Conference on Artificial Intelligent (IJCAI-2009). ?. 2009. (Congresso).

40.
24th ACM Symposium on Applied Computing - Special Track on Advances in Computer Simulation (SAC-SIM). PC member. 2009. (Congresso).

41.
6th Conference of the European Social Simulation Association (ESSA-2009). ?. 2009. (Congresso).

42.
7th German Conference on Multi-Agent System Technologies (MATES). PC member. 2009. (Congresso).

43.
7th International Workshop on Declarative Agent Languages and Technologies (DALT).PC member. 2009. (Oficina).

44.
Agent-Directed Simulation Symposium (ADS). PC member. 2009. (Congresso).

45.
Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA), held with MATES.PC member. 2009. (Oficina).

46.
Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS).Engineering Autonomous Systems: A Multi-Agent Programming Perspective. 2009. (Oficina).

47.
Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS).PC member. 2009. (Oficina).

48.
Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS), held with SBES.PC member. 2009. (Oficina).

49.
International Workshop on Collaborative Agents -- REsearch and Development (CARE), held with AI'09.PC member. 2009. (Oficina).

50.
International Workshop on Computational Logics - CLIMA X (held with MATES).PC member. 2009. (Oficina).

51.
The 7th Workshop on Coordination, Organizations, Insittutions, and Norms in Agent Systems (COIN@IJCAI09). ?. 2009. (Congresso).

52.
Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS).PC Member. 2009. (Oficina).

53.
11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008). ?. 2008. (Congresso).

54.
21st Australian Joint Conference on Artificial Intelligence (AI-08). ?. 2008. (Congresso).

55.
23rd AAAI Confererence on Artificial Intelligence. ?. 2008. (Congresso).

56.
23rd ACM Symposium on Applied Computing (SAc-2008). ?. 2008. (Congresso).

57.
2nd Workshop on Agent Based Modelling and Simulation (ABModSim 2008). ?. 2008. (Congresso).

58.
3rd International Workshop on Normative Multiagent Systems (NorMAS 2008). ?. 2008. (Congresso).

59.
5th International Workshop on Model Checking and Artificial Intelligente (MoChArt). PC member. 2008. (Congresso).

60.
6th International Workshop "From Agent Theory to agent Implementation". ?. 2008. (Congresso).

61.
6th International Workshop on Declarative Agent Languages and Technologies (DALT-2008). ?. 2008. (Congresso).

62.
7th Ibero-American Workshop on Multi-Agent Systems (Iberagents-2008). ?. 2008. (Congresso).

63.
7th International Joint Conference on Autonomous Agents and Multi-Agents Systems. ?. 2008. (Congresso).

64.
9th International Workshop on Computacional Logic in Multi-Agent Systems (CLIMA-IX). ?. 2008. (Congresso).

65.
Dagstuhl Seminar 08361 - Programming Multi-Agent Systems. ?. 2008. (Congresso).

66.
Dagstuhl Seminar 08461 - Planning in Multiagent Systems. ?. 2008. (Congresso).

67.
Inveted speaker at the SIKS-Day - 2008.?. 2008. (Seminário).

68.
Invited talk at the AISB 2008 Symposium on Logic and the Simulation of International and Reasoning.?. 2008. (Seminário).

69.
Joint International Conference on Autonomous Agents and Multi-Agent Systems. ?. 2008. (Congresso).

70.
The Society for the Study of Artifical Intelligence and Simulation of Behaviour - AISB 2008. ?. 2008. (Congresso).

71.
Workshop on Knowledge Representation for Agents and Multi-Agent Systems. ?. 2008. (Congresso).

72.
10th Pacific Rim International Workshop on Multi-Agent Systems (PRIMA-2007). ?. 2007. (Congresso).

73.
20th Australian Joint Conference on Artificial Intelligence (AI-07). ?. 2007. (Congresso).

74.
2nd Workshop on Communication between Human and Artificial Agents (CHAA'07). ?. 2007. (Congresso).

75.
5th German Conference on Multiagent Systems Technologies (MATES-2007).?. 2007. (Seminário).

76.
5th International Workshop on Declarative Agent Languages and Tecnhologies. ?. 2007. (Congresso).

77.
6th IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2007). ?. 2007. (Congresso).

78.
8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII). ?. 2007. (Congresso).

79.
Dagstuhl Seminar 07122, Normative Multi-Agent Systems. ?. 2007. (Congresso).

80.
Fifth European Workshop on Multi-Agents Systems. ?. 2007. (Congresso).

81.
Fifth German Conference on Multi-Agent System Technologies. ?. 2007. (Congresso).

82.
Multi-Agents Logics, Languages, and Organisations - Federated Workshops. ?. 2007. (Congresso).

83.
Seventh Annual International Workshop on "Engeneering Societies in the Agents World". ?. 2007. (Congresso).

84.
Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems. ?. 2007. (Congresso).

85.
14th International Workshop on Declarative Agent Languages and technologies (DALT-06). ?. 2006. (Congresso).

86.
15th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2006). ?. 2006. (Congresso).

87.
17th European Conference on Artificial Intelligence (ECAI 2006). ?. 2006. (Congresso).

88.
17th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII). ?. 2006. (Congresso).

89.
4th Workshop on Model Checking and Artificial Intelligence (MoChArt-2006). ?. 2006. (Congresso).

90.
Dagstuhl Seminar 06261 - Foundations and Practice of Programming Multi-Agent Systems. ?. 2006. (Congresso).

91.
Departamental / Group Sminars given at: UCL, Universities of Limburg, Leuven, Namur, Southampton, Liverpool, Nottingham, Birmingham, Aberdeen.?. 2006. (Seminário).

92.
fifth International Joint Conference on Autonomous Agents and Multi-Agents Systems. ?. 2006. (Congresso).

93.
Fifth International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006). ?. 2006. (Congresso).

94.
International Workshop on Agents and Multi-Agent Systems, from Theory to Application (AMTA-2006). ?. 2006. (Congresso).

95.
Joint Brazilian and Iberoamerican AI Conference SBIA/IBERAMIA. ?. 2006. (Congresso).

96.
Programming Languages and Development Tools for Multi-Agents Systems. ?. 2006. (Congresso).

97.
Second Workshop on Software Engineering for Agent-Oriented Systems (SEAS 2006). ?. 2006. (Congresso).

98.
Third International Workshop on Enviroments for Multi-Agent Systems (E4MAS 2006). ?. 2006. (Congresso).

99.
Tuenth European Conference on Logics in Artificial Intelligence (JELIA 2006). ?. 2006. (Congresso).

100.
Workshop on Agent based Modelling and Simulation held as part of the 18th European Meeting on Cybernetics and Systems Research. ?. 2006. (Congresso).

101.
6th International Workshop on Computational Logic in Multi-Agent Systems. BDI Agent Programming in AgentSpeak Using Jason. 2005. (Congresso).

102.
Course given at the Seventh European Agent Systems Summer School.Programming Languages for Multi-Agents Systems.. 2005. (Outra).

103.
Fourth International Joint Conference on Autonomous Agents and Multi-Agents Systems. ?. 2005. (Congresso).

104.
Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems. ?. 2005. (Congresso).

105.
Programming Languages for Multi-Agents Systems. ?. 2005. (Congresso).

106.
Sixth International Workshop on Computacional Logic in Multi-Agent Systems. ?. 2005. (Congresso).

107.
Socially Inspired Computing - Engineering with Social Metaphors, an AISB Symposium. ?. 2005. (Congresso).

108.
Third International Workshop on Delcarative Agent Languages and Technologies. ?. 2005. (Congresso).

109.
XXXII Seminário Integrado de Software e Hardware. ?. 2005. (Congresso).

110.
Joint Workshop on Multi-Agent and Multi-Agent based Simulation. ?. 2004. (Congresso).

111.
Ninethy European Conference on Logics in Artificial Intelligence (JELIA-04). ?. 2004. (Congresso).

112.
Second International Workshop Declarative Agent Languages and Technologies. ?. 2004. (Congresso).

113.
Second International Workshop on Programming Multiagent Systems: Languages and Tools. ?. 2004. (Congresso).

114.
Seventeenth Brazilian Symposium on AI. ?. 2004. (Congresso).

115.
Third International Joint Conference on Autonomous Agents and Multi-Agents Systems. ?. 2004. (Congresso).

116.
First International Workshop on Programming Multiagent Systems: Languages, frameworks, techniques and tools. ?. 2003. (Congresso).

117.
Fourth Workshop on Multi-Agent based Simulation. ?. 2003. (Congresso).

118.
International Workshop on Delcarative Agent Languages and Technologies. ?. 2003. (Congresso).

119.
Second International Joint Conference on Autonomous Agents and Multi-Agents Systems. ?. 2003. (Congresso).

120.
Workshop on Declarative Agent Languages and Technologies. ?. 2003. (Congresso).

121.
Dagstuhl Seminar 02481: Programming Multi-Agent Systems Based on Logic.Progress in BDI Logic Programming with AgentSpeak(L) - Talk at Dagstuhl Seminar. 2002. (Outra).

122.
Dagstuhl Seminar 02481 - Programming Multi Agent Systems based on Logic. ?. 2002. (Congresso).

123.
The First International Joint Conference on Autonomous Agents and Multi-Agent Systems. AgentSpeak(XL): Efficient Intention Selection in BDI Agents via Decision-Theoretic Task Scheduling. 2002. (Congresso).

124.
Third International Workshop on Multi-Agent based Simulation. ?. 2002. (Congresso).

125.
UK Workshop on Multiagent Systems (UKMAS 2002). ?. 2002. (Congresso).

126.
Workshop on Logic in Games and Multi-Agent Systems. ?. 2002. (Congresso).

127.
Fourth Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS'2001).Fourth Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS'2001). 2001. (Oficina).

128.
International Workshop on Agent Theories, Architectures, and Languages. Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), 1-3 August. 2001. (Congresso).

129.
V Oficina de Inteligência Artificial.V Oficina de Inteligência Artificial - UCPEL. 2001. (Oficina).

130.
International Conference on Multi-Agent Systems. 2000. (Congresso).

131.
Second International Workshop on Multi-Agent Based Simulation. 2000. (Oficina).

132.
Second Workshop on Decision-Theoretic and Game-Theoretic Agents. ?. 2000. (Congresso).

133.
Workshop of the UK Interest Group on Multi-Agent Systems.Third Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS'2000). 2000. (Oficina).

134.
Workshop on Game Theoretic and Decision Theoretic Agents. 2000. (Oficina).

135.
Workshop of the UK Interest Group on Multi-Agent Systems.Second Workshop of the UK Interest Group on Multi-Agent Systems (UKMAS-1999). 1999. (Oficina).

136.
Agent Theories, Architectures, and Languages. 1998. (Congresso).

137.
Third International Conference on Multi-Agent Systems. 1998. (Congresso).

138.
International Workshop on Cooperative Information Agents. First International Workshop on Cooperative Information Agents (CIA'97). 1997. (Congresso).

139.
International Conference on Multi-Agent Systems. First International Conference on Multi-Agent Systems (ICMAS'95). 1995. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
BORDINI, R. H.. Advising Committee Member - Software Agents, Environments and Applications School (WESAAC). 2017. (Outro).

2.
BORDINI, R. H.. Steering Committee Member - Workshop on Engineering Multi-Agent Systems, held with AAMAS (EMAS). 2017. (Outro).

3.
BORDINI, R.H.. Advising Committee Member - Software Agents, Environments and Applications School (WESAAC). 2016. (Outro).

4.
BORDINI, R.H.. Steering Committee Member - Workshop on Engineering Multi-Agent Systems, held with AAMAS (EMAS). 2016. (Outro).

5.
BORDINI, R.H.. Steering Committee Member - AGERE! International Workshop on Programming based on Actors, Agents, and Decentralized Control. 2016. (Outro).

6.
Bordini, R. H.; ELKIND, E. . Programme Chair - 14th International Conference on Autonomous Agents and Multi-Agent Systems. 2015. (Congresso).

7.
BORDINI, R. H.; SILVA, V. T. ; MENEGUZZI, F. . 8o Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC-2014). 2014. (Outro).

8.
BORDINI, R.H.; VIDAL, J. . Workshops Co-Chair - Member of the organising committee, International Conference on Autonomous Agents and Multi-Agent Systems. 2014. (Congresso).

9.
BORDINI, R.H.. Steering Committee Member - Workshop on Autonomous Software Systems held with CBSOFT. 2014. (Outro).

10.
Bordini, R. H.; KIEKINTVELD, C. D. . Tutorials Co-Chair - Member of the organising committee, International Conference on Autonomous Agents and Multi-Agent Systems. 2013. (Congresso).

11.
Agha, Gul ; Bordini, Rafael H. ; MARRON, A. ; Ricci, Alessandro . 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control - AGERE!@SPLASH. 2012. (Outro).

12.
BOISSIER, O. ; BORDINI, R. H. ; DENNIS, L. . 9th International Workshop on Programming Multi-Agent Systems. 2011. (Outro).

13.
Agha, Gul ; Bordini, Rafael H. ; Ricci, Alessandro . 1st International Workshop on Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control Abstractions - AGERE!@SPLASH. 2011. (Outro).

14.
Bordini, Rafael H.; BRANDAO, A. A. F. ; CORTES, M. ; CHOREN, R. ; LUCENA, C. J. P. ; SICHMAN, J. ; SILVA, V. T. . Workshop on Autonomous Software Systems (AutoSoft). 2010. (Outro).

15.
Bordini, Rafael H.. MALLOW 2007: Multi-Agent Logics, Languages, and Organisations - Federated Workshops. 2007. (Outro).

16.
Bordini, Rafael H.. EASSS 2007: 9th European Agent Systems Summer School. 2007. (Outro).

17.
Bordini, Rafael H.; Dastani, Mehdi ; Dix, Jürgen ; Seghrouchni, Amal El Fallah . 4th International Workshop on Programming Multi-Agent Systems. 2006. (Outro).

18.
Bordini, Rafael H.; Dastani, Mehdi ; Dix, Jürgen ; Seghrouchni, Amal El Fallah . 3rd International Workshop on Programming Multi-Agent Systems. 2005. (Outro).

19.
Bordini, Rafael H.; Dastani, Mehdi ; Dix, Jürgen ; Seghrouchni, Amal El Fallah . 2nd International Workshop on Programming Multi-Agent Systems. 2004. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Caetano Porto da Silva. N/D. Início: 2018. Dissertação (Mestrado profissional em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).

2.
Vitor Peres. N/D. Início: 2017. Dissertação (Mestrado profissional em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).

3.
Debora Engelmann. N/D. Início: 2017. Dissertação (Mestrado profissional em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Tabajara Krausburg Rodrigues. N/D. Início: 2018. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Vagner de Oliveira Gabriel. N/D. Início: 2018. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).

3.
Juliana Damasio. N/D. Início: 2017. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Alison Roberto Panisson. N/D. Início: 2015. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

5.
Tulio Basegio. N/D. Início: 2014. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Tabajara Krausburg Rodrigues. Constrained Coalition Formation among Heterogeneous Agents for the Multi-Agent Programming Contest. 2018. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Heitor Bordini.

2.
Antônio do Nascimento Leães Neto. Classificação dom Algoritmo AdaBoost.M1: O Mito do Limiar de Erro de Treinamento. 2017. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Rafael Heitor Bordini.

3.
Rafael Cauê Cardoso. Programação Orientada a Agentes com Aplicações em Robótica. 2014. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Heitor Bordini.

4.
Alison Roberto Panisson. Argumentation-based Dialogues for Task Reallocation Among Rational Agents. 2014. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Rafael Heitor Bordini.

5.
Marcelo Tomio Hama. UAVAS: AgentSpeak for Unmanned Aerial Vehicles. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

6.
Ricardo Rodrigues Lucca. MARO: Um modelo de emoções usando ontologia. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Rafael Heitor Bordini.

7.
Jorge Alberto Rangel Torres. Uma arquitetura para animar agentes autônomos em ambientes virtuais usando o modelo BDI. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Coorientador: Rafael Heitor Bordini.

8.
Fabio Yoshimitsy Okuyama. Descrição e Geração de Ambientes para Simulações com Sistemas Multiagente. 2003. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Heitor Bordini.

9.
Maíra Ribeiro Rodrigues. Definição de um Modelo de Interações para Sociedades Artificiais. 2003. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Rafael Heitor Bordini.

10.
João Luiz Jung. Concepção e Implementação de um Agente Semiótico como parte de um Modelo Social de Aprendizagem à Distância. 2001. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Coorientador: Rafael Heitor Bordini.

Tese de doutorado
1.
Rafael Cauê Cardoso. A Decentralised Online Multi-Agent Planning Framework for Multi-Agent Systems. 2018. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Heitor Bordini.

2.
Alexandre de Oliveira Zamberlan. Sistema Multiagente para Avaliação do Efeito de Aglomeração em Nanopartículas Poliméricas. 2018. Tese (Doutorado em Nanociências) - Universidade Franciscana, . Coorientador: Rafael Heitor Bordini.

3.
Artur Luiz Silva da Cunha Freitas. Model-Driven Engineering of Multi-Agent Systems Based on Ontology. 2017. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Rafael Heitor Bordini.

4.
João Mário Lopes Brezolin. Espaços Conceituais: Uma Proposta de Uso de Representações Conceituais Aplicada a Sistemas Multiagentes. 2017. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Rafael Heitor Bordini.

5.
Giovani Parente Farias. PLAN RECOGNITION AND FAILURE PREDICTION FOR AMBIENT ASSISTED LIVING. 2017. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Rafael Heitor Bordini.

6.
Mauricio da Silva Escobar. Agents Anywhere: Uma Linguagem para o Desenvolvimento de Aplicações Multiagentes Ubíquos. 2013. Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Rafael Heitor Bordini.

7.
Patricia H. Shaw. Reasoning about Goal Plan Trees in Autonomous Agents. 2009. Tese (Doutorado em PhD in Computer Science) - Durham University, Engineering and Physical Sciences Research Council. Orientador: Rafael Heitor Bordini.

8.
Fabio Yoshimitsu Okuyama. Modelo MAS-SOC: Integrando Ambientes e Organizações para Simulações Baseadas em Sistemas Multiagentes Situados. 2008. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Rafael Heitor Bordini.

Supervisão de pós-doutorado
1.
Moser Silva Fagundes. 2013. Pontifícia Universidade Católica do Rio Grande do Sul, . Rafael Heitor Bordini.

2.
Berndt Farwer. 2008. Durham University, Engineering and Physical Sciences Research Council. Rafael Heitor Bordini.

Trabalho de conclusão de curso de graduação
1.
Priscila Giovanella Vivian. Sistema de Cardápios Virtuais Acessível a Pessoas com Deficiência Visual. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

2.
Fabio Kelleter e Michel Alves. O Quiz da Esfinge: Um Jogo Educativo como Recurso para Incentivar o Estudo Extraclasse. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

3.
Caetano Porto da Silva. Simulação de um Agente Emotivo Utilizando a Hierarquia de Necessidades de Maslow. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

4.
Marcio Menezes Nunes. Transformação de Diagramas UML para Redes de Petri. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

5.
Alexandre Alves e Eduardo Mendiccelli. BMA - Bluetooth Manager for Android. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

6.
Mateus Luvison. Um Simulador do Comportamento Humano no Mercado de Ações. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

7.
Gabriel Alabarse Hernandez. Aplicação de Técnicas de Formação de Coalizões para Gerência de Smart Grids. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

Iniciação científica
1.
Ian Oliveira Calaça da Costa. Programação Orientada a Agentes para Robótica: Integração de Jason e ROS. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

2.
Anny Gorete Naconesni Figueira. Alocação de Tarefas para Times de Robôs Autônomos Heterogêneos. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

3.
Victor dos Santos Melo. Argumentação e Confiança em Sistemas Multi-Agentes. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

4.
Pedro Braga Alves. Domínio de Planejamento para Problemas de Logística. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

5.
Doyle Mello Barboza. Domínios de Planejamento para Problemas de Logística. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

6.
Samuel Rukhaber Badin. Programação de Agentes para Robótica. 2015. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

7.
Pablo Emerson de Lima Vieira. Programação Orientada a Agentes para Robótica. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

8.
Rafael Sperb. Programação de Agentes para Robótica. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

9.
Diego Matté. Programação Orientada a Agentes. 2012. Iniciação Científica. (Graduando em Sistemas de Informação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

10.
Guilherme Augusto Dias. Estudo sobre Utilização de Verificadores de Modelos. 2011. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

11.
Gustavo Miotto. Uso de Sistemas Multi-Agentes para Simulação de Smart Grids. 2011. Iniciação Científica. (Graduando em Bacharelado em Engenharia de Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

12.
Felipe da Rosa Gonzalez. Implementação de um Algoritmo de Slicing para AgentSpeak. 2011. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

13.
Caio Licks Pires de Miranda. Utilização de Programação Orientada a Agents para Contole de VANTs. 2010. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

14.
Felipe da Rosa Gonzalez. Implementação de um Algoritmo de Slicing para AgentSpeak. 2010. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

15.
Rafael de Oliveira Jannone. Combining Cognitive and Utilitarian Coordination in a Layered Agent Architecture. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

16.
Daniel Monteiro Basso. Combining Cognitive and Utilitarian Coordination in a Layered Agent Architecture. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

17.
Guilherme Drehmer. Utilização de Sistemas Multiagentes em Simulações para as Ciências Sociais. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

18.
Marcelo Gonçalves de Azambuja. Utilização de Sistemas Multiagentes em Simulações para as Ciências Sociais. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Rafael Heitor Bordini.

19.
Denise de Oliveira. Utilização de Sistemas Multiagentes em Simulações para as Ciências Sociais. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

20.
Rodrigo Machado. Utilização de Sistemas Multiagentes em Simulações para as Ciências Sociais. 2001. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.

Orientações de outra natureza
1.
Diego Issicaba. Programação Multiagente para Simulação de Smart Grids. 2012. Orientação de outra natureza - Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Rafael Heitor Bordini.



Inovação



Programa de computador sem registro
1.
HUBNER, J. F. ; BORDINI, R. H. . Jason. 2004.

2.
BOISSIER, O. ; BORDINI, R. H. ; HUBNER, J. F. ; RICCI, A. ; SANTI, A. . JaCaMo. 2010.

3.
ZAMBERLAN, A. O. ; FAGAN, S. B. ; BORDINI, R. H. . MASPN - Multi-agent System for Polymeric Nanoparticles. 2016.


Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 10/12/2018 às 21:06:11