Rede de Colaboração
Diretório de grupos de pesquisa

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

Possui doutorado em Ciência da Computação pela University College London (1998), 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 (1991). Atualmente é professor adjunto da Universidade Federal 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 multi-agentes. Tem interesse também nas variadas áreas de aplicação de sistemas autônomos que vão desde exploração espacial até sistemas pervasivos, por exemplo no âmbito de "ambient assisted living".

Rafael Bordini é membro eleito do conselho de diretores da International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS - http://www.ifaamas.org), e é membro 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 também para a NSF (Estados Unidos), NWO (Holanda), FWF (Áustria), Alliance (Franco-British Research Partnership Programme), e ASTAR (Singapura). Participou da organização de duas das edições da conferência AAMAS (a principal na área de Agentes), e foi Senior Programme Committee de duas edições desta mesma conferencia, além de pertencer ao comitê de programa das principais conferencias de Inteligência Artificial e de um número grande de eventos na área de Agentes. Foi o criador do evento MALLOW (Federated Workshops on Multi-Agent Logics, Languages, and Organisations), agora na sua segunda edição, e pertence dos Steering Committees do Workshop ProMAS (Programming Multi-Agent Sytems) que já teve 8 edições e do MALLOW , além de ter pertencido dos "Advisory Boards" do "European Agent Systems Summer School" e do "European Workshop on Multi-Agent Systems".
(Texto informado pelo autor)

Última atualização do currículo em 12/12/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/4589262718627942
Dados pessoais
NomeRafael Heitor Bordini
Nome em citações bibliográficasBORDINI, R. H.;Bordini, R. H.;Bordini, Rafael H.;Bordini, R.H.
SexoMasculino
Endereço profissionalUniversidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica.
Av. Bento Goncalves, 9500 -- Campus do Vale - Bloco IV
Agronomia
91501-970 - Porto Alegre, RS - Brasil - Caixa-Postal: 15064
Telefone: (51) 33087750 Fax: (51) 33087308
URL da Homepage: http://www.inf.ufrgs.br/~bordini

Formação acadêmica/Titulação
2002 - 2004Pós-Doutorado .
University of Liverpool.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
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.
1994 - 1998Doutorado em Ciência da Computação .
University College London (University of London).
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 / Área: Ciência da Computação.
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 - 1994Mestrado 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 / Área: Ciência da Computação.
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 - 1991Graduação em Bacharelado em Informática .
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.

Atuação profissional
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional
2009 - Atual 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
2009 - AtualAtividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
Projetos de pesquisa
Jason - Uma Plataforma Para o Desenvolvimento de Sistemas Multi-Agentes
2009 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados
Rede Estadual de Simulação Social
Programação Orientada a Organização para Sistemas Multiagentes
3/2001 - 05/2002Ensino, 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/2002Ensino, 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/2002Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
Linhas de pesquisa
Muli-Agent Systems Applied to Social Simulation
Formal Methods in Distributed Artificial Intelligence
Agent-Oriented Programming
Software Engineering for Autonomous Systems
Applications of Multi-Agent Systems
Verification of Multi-Agent Systems by Model Checking
Programming Languages for Multi-Agent Systems
1999 - 2002Atividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
Projetos de pesquisa
Using Multi-Agent Systems Techniques in Simulations for the Social Sciences (MASSOC)
Combining Utilitarian and Cognitive Coordination in a Layered Agent Architecture (CUCLA)
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 - AtualEnsino, Computer Science, Nível: Graduação.
Disciplinas ministradas
Multi-Agent Systems (submodule of Advanced Artificial Intelligence)
10/2004 - AtualExtensão universitária , St Chads College, .
Atividade de extensão realizada
Tutor.
07/2004 - AtualPesquisa e desenvolvimento , Department of Computer Science, .
Linhas de pesquisa
Applications of Multi-Agent Sytems
Agent-Oriented Programming Languages
Formal Methods in Multi-Agent Systems
2004 - 2009Atividades de Participação em Projeto, Department of Computer Science, .
Projetos de pesquisa
Verifiable agent-oriented programming languages with applications in e-Science and the Semantic Web
Model Checking Agent Programming Languages (MCAPL)
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/2004Pesquisa e desenvolvimento , Department of Computer Science, .
Linhas de pesquisa
Model Checking for an Agent-Oriented Programming Language
10/2003 - 04/2004Ensino, Flexible Degrees, Nível: Graduação.
Disciplinas ministradas
Introduction to Artificial Intelligence

Linhas de Pesquisa
1. Muli-Agent Systems Applied to Social Simulation

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Planejamento e Gestão das Cidades, Inclusive Política e Planejamento Habitacional; Serviços Coletivos Prestados Pela Administração Pública Na Esfera da Justiça; Outros.
Palavras-chave: Multi-Agent Systems; Social Simulation; Artificial Societies; BDI Architecture; Agent Oriented Programming.
2. Formal Methods in Distributed Artificial Intelligence

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Palavras-chave: Multi-Agent Systems; Formal Methods in DAI; BDI Architecture; BDI Logics; Modal Logics.
3. Agent-Oriented Programming

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: Multi-Agent Systems; Decision-Theoretic Coordination; BDI Architecture; 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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Informática.
Palavras-chave: Agent Oriented Programming; BDI Agents; Model Checking; Multi-Agent Systems; Formal Methods in DAI; AgentSpeakL.
9. Applications of Multi-Agent Sytems

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Informática.
10. Agent-Oriented Programming Languages

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
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.
Setores de atividade: Informática.
11. Formal Methods in Multi-Agent Systems

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Verificação Formal.
Setores de atividade: Informática.

Projetos de Pesquisa
2010 - AtualNESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Álvaro Freitas Moreira - Integrante / Flavio Wagner - Coordenador / Luis da Cunha Lamb - Integrante / Luigi Carro - Integrante / Erika Cota - Integrante / Leila Ribeiro - Integrante / Lucio Duarte - Integrante / Antonio Carlos S. Beck Filho - Integrante / Rafael Heitor Bordini - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
2010 - AtualRede Estadual de Simulação Social
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Ana L. C. Bazzan - Coordenador / Patricia Jaques - Integrante / Diana F. Adamatti - Integrante / Antônio Carlos da Rocha Costa - Integrante / Graçaliz Dimuro - Integrante / Rafael Heitor Bordini - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
2009 - AtualProgramação Orientada a Organização para Sistemas Multiagentes
Descrição: This project deal with the social level in multi-agent oriented programming, including normative programming languages and organisation abstractions in programming agent organisations..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Jomi Fred Hübner - Coordenador / Alessandro Ricci - Integrante / Olivier Boissier - Integrante / Jaime Sichman - Integrante / Rafael Heitor Bordini - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2004 - 2009Verifiable agent-oriented programming languages with applications in e-Science and the Semantic Web
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Rafael Heitor Bordini - Coordenador.
Financiador(es): Nuffield Foundation - Auxílio financeiro..
2004 - 2009Model Checking Agent Programming Languages (MCAPL)
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Michael Fisher - Integrante / Berndt Farwer - Integrante / Louise Dennis - Integrante / Rafael Heitor Bordini - Coordenador.
Financiador(es): Engineering and Physical Sciences Research Council - Auxílio financeiro..
2003 - AtualJason - 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 UFRGS e UFSC mas os pesquisadores trabalharam nesse projeto anteriormente na University of Liverpool, University of Durham, FURG, e EMSE..
Situação: Em andamento; Natureza: Desenvolvimento.
Integrantes: Jomi Fred Hübner - Integrante / Rafael Heitor Bordini - Coordenador.
.
1999 - 2002Using 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): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
1999 - 2002Combining Utilitarian and Cognitive Coordination in a Layered Agent Architecture (CUCLA)
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Ana L. C. Bazzan - Integrante / Victor R. Lesser - Integrante / Rosa M. Vicari - Coordenador / Rafael Heitor Bordini - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / National Science Foundation - Auxílio financeiro..

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

Á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 Pouco Lê Pouco.
Italiano Compreende Pouco Lê Pouco.


Produção em C,T & A
Produção bibliográfica
Citações
Web of Science
Total de trabalhos26Total de citações159Fator H7
Bordini, R*  Data: 18/11/2011
SCOPUS
Total de trabalhos56Total de citações288  
Bordini, R.H. (Fator-H: 10)  Data: 18/11/2011
Outras
Total de trabalhos171Total de citações2667  
Rafael Bordini (Fator-H: 28)  Data: 18/11/2011
Artigos completos publicados em periódicos
1. Bordini, Rafael H. ; Dastani, Mehdi ; Dix, Jürgen ; Seghrouchni, Amal El Fallah . Preface. Autonomous Agents and Multi-Agent Systems, v. 23, p. 155-157, 2011.
2. Dennis, Louise A. ; Fisher, Michael ; Webster, Matthew P. ; Bordini, Rafael H. . Model checking agent programming languages. Automated Software Engineering, p. ND, 2011.
3. HÜ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.
4. OKUYAMA, F. Y. ; Bordini, R. H. ; da Rocha Costa, A. C. . Situated normative infrastructures: the normative object approach. Journal of Logic and Computation (Print), v. N/A, p. N/A, 2011.
5.   Boissier, Olivier ; Bordini, Rafael H. ; HÜBNER, Jomi F. ; Ricci, Alessandro ; Santi, Andrea . Multi-agent oriented programming with JaCaMo. Science of Computer Programming (Print), v. N/A, p. N/A, 2011.
6. Bordini, 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.
7. HÜ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.
8.   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.
9. VIEIRA, 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.
10. Fisher, 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.
11.   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.
12. BORDINI, 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.
13. BORDINI, 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.
14. Bordini, 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.
15.   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.
16. BORDINI, 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.
17. ROSSETTI, 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.
18. BORDINI, 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.
19. BORDINI, 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.
20. HUBNER, 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. (Org.) ; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Journal of Autonomous Agents and Multi-Agent Systems -- Special issue on programming multi-agent systems. 23. ed. Springer, 2011.
2. BORDINI, R. H. (Org.) ; DASTANI, M. (Org.) . Journal of Autonomous Agents and Multi-Agent Systems -- Special issue eumas-2007 best papers. 20. ed. Springer, 2010.
3. Bordini, R. H. (Org.) ; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009. 389 p.
4.   BORDINI, R. H. ; HUBNER, J. F. ; Wooldridge, M. . Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007. v. 1. 273 p.
5. BORDINI, R. H. (Org.) ; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . International Journal of Agent-Oriented Software Engineering 1(3/4) -- Special issue on programming multiagent systems. 1. ed. , 2007.
6. BORDINI, R. H. (Org.) ; 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.
7. BORDINI, R. H. (Org.) ; 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.
8. BORDINI, R. H. (Org.) ; 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.
9. Bordini, R. H. (Org.) ; 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. 296 p.
Capítulos de livros publicados
1. 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.
2. 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. -.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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. . 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.
2. Bordini, R. H. ; HUBNER, J. F. . An overview of Jason. Association for Logic Programming NewsletterALP Newsletter, México.
Trabalhos completos publicados em anais de congressos
1. 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.
2. 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.
3. 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.
4. 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. Pre-proceedings of ProMAS-2011, 2011.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. 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.
51. 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.
52. 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.
53. 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.
54. 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.
55. 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.
56. 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.
57. 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.
58. 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.
59. 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.
60. 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.
61. 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.
62. 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.
63. 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.
64. 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.
65. 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.
66. 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.
67. 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.
68. 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.
69. 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.
70. 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.
71. 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.
72. 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.
73. 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.
74. 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.
75. 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.
76. 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.
77. 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.
78. 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.
79. 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.
80. 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.
81. 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.
82. 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.
83. 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.
84. 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.
85. 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.
86. 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.
87. 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.
88. 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.
89. 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.
90. 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.
91. 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.
92. 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. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
Apresentações de Trabalho
1. BORDINI, R. H. ; VIEIRA, R. ; MOREIRA, A. F. . Fundamentos de Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).
2. BORDINI, R. H. . Inteligência Artificial Distribuída (Uma Introdução aos Sistemas Multiagentes). 2001. (Apresentação de Trabalho/Seminário).
3. BORDINI, R. H. . Introdução aos Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).
Demais tipos de produção bibliográfica
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. . 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]).
3. BORDINI, R. H. . Os Fundamentos Formais da IA. Porto Alegre, Brazil: CPGCC da UFRGS, 1993 (Research Notes [RP-215]).
Produção técnica
Softwares sem registro de patente
1. BOISSIER, O. ; BORDINI, R. H. ; HUBNER, J. F. ; RICCI, A. ; SANTI, A. . JaCaMo. 2010.
2. HUBNER, J. F. ; BORDINI, R. H. . Jason. 2004.

Bancas
Participação em bancas examinadoras
Dissertações
1. 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.
2. 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.
3. 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.
4. 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.
5. 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. 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.
Qualificações de doutorado
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.

Eventos
Participação em eventos
1. 11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS).Senior Programme Committee Member. 2012. (Congresso).
2. 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) - Agent Systems, Intelligent Computing and Applications Track.PC member. 2012. (Congresso).
3. 13th Ibero-American Conference on Artificial Intelligence (IBERAMIA).Area Chair. 2012. (Congresso).
4. VI Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2012. (Oficina).
5. 10th International Conference on Autonomous Agents and Multi-Agent Systems.Senior Programme Committee Member. 2011. (Congresso).
6. Agent Directed Simulation (ADS, held with SpringSim'11).Programme Committee Member. 2011. (Congresso).
7. 2nd International Conference on Ambient Systems, Networks and Technologies - DAI Track.PC member. 2011. (Congresso).
8. 3rd International Workshop on Collaborative Agents - Research & Development (CARE).PC member. 2011. (Congresso).
9. IEEE/WIC/ACM International Conference on Intelligent Agent Technology.Program Vice-Chair. 2011. (Congresso).
10. 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). 2011. (Congresso).
11. 22nd International Joint Conference on Artificial Inteligence (IJCAI).PC Member. 2011. (Congresso).
12. 25o Simósio Brasileiro de Engenharia de Software (SBES), part of CBSoft.PC member. 2011. (Congresso).
13. International Workshop on Computational Logics - CLIMA XII (held with IJCAI).PC member. 2011. (Oficina).
14. 9th International Workshop on Declarative Agent Languages and Technologies (DALT).PC member. 2011. (Oficina).
15. International Workshop on Data Mining in Networks (DaMNet), held with ICDM.PC member. 2011. (Oficina).
16. 9th European Workshop on Multi-Agent Systems (EUMAS).PC Member. 2011. (Oficina).
17. 10th International Workshop on Programming Multi-Agent Systems (held with AAMAS).Workshop Chair. 2011. (Oficina).
18. 1o Workshop-Escola de Informática Teórica - WEIT 2011.PC member. 2011. (Oficina).
19. V Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2011. (Oficina).
20. Third International Symposium on Agent Based Modeling and Simulation (held with EMCSR).Programme Committee Member. 2010. (Congresso).
21. CBSoft - Tutoriais (Tutoriais do Congresso Brasileiro de Software).Avaliador. 2010. (Congresso).
22. 19th European Conference on AI (ECAI).PC Member. 2010. (Congresso).
23. 8th European Dependable Computing Conference (EDCC).Reviewer. 2010. (Congresso).
24. 5th ACM/IEEE International Conference on Human-Robot Interaction (HRI).Reviewer. 2010. (Congresso).
25. Advances in Computer Simulation Track - 25th ACM Symposium on Applied Computing (SAC-SIM).PC member. 2010. (Congresso).
26. International Workshop on Computational Logics - CLIMA XI (held with ECAI).PC member. 2010. (Oficina).
27. 11th International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN held with MALLOW).PC member. 2010. (Oficina).
28. 8th International Workshop on Declarative Agent Languages and Technologies.PC member. 2010. (Oficina).
29. 8th European Workshop on Multi-Agent Systems (EUMAS).PC Member. 2010. (Oficina).
30. IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC).PC member. 2010. (Oficina).
31. 21st International Joint Conference on Artificial Intelligent (IJCAI-2009).?. 2009. (Congresso).
32. The 7th Workshop on Coordination, Organizations, Insittutions, and Norms in Agent Systems (COIN@IJCAI09).?. 2009. (Congresso).
33. Agent-Directed Simulation Symposium (ADS).PC member. 2009. (Congresso).
34. 6th Conference of the European Social Simulation Association (ESSA-2009).?. 2009. (Congresso).
35. 24th ACM Symposium on Applied Computing - Special Track on Advances in Computer Simulation (SAC-SIM).PC member. 2009. (Congresso).
36. International Conference on Agents and Artificial Intelligence (IJCAI).?. 2009. (Congresso).
37. 7th German Conference on Multi-Agent System Technologies (MATES).PC member. 2009. (Congresso).
38. Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS).Engineering Autonomous Systems: A Multi-Agent Programming Perspective. 2009. (Oficina).
39. 7th International Workshop on Declarative Agent Languages and Technologies (DALT).PC member. 2009. (Oficina).
40. International Workshop on Computational Logics - CLIMA X (held with MATES).PC member. 2009. (Oficina).
41. Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS).PC member. 2009. (Oficina).
42. Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS).PC Member. 2009. (Oficina).
43. Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA), held with MATES.PC member. 2009. (Oficina).
44. Fifth Workshop on Software Engineering for Agent-oriented Systems (SEAS), held with SBES.PC member. 2009. (Oficina).
45. International Workshop on Collaborative Agents -- REsearch and Development (CARE), held with AI'09.PC member. 2009. (Oficina).
46. 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).?. 2008. (Congresso).
47. 21st Australian Joint Conference on Artificial Intelligence (AI-08).?. 2008. (Congresso).
48. 7th Ibero-American Workshop on Multi-Agent Systems (Iberagents-2008).?. 2008. (Congresso).
49. Workshop on Knowledge Representation for Agents and Multi-Agent Systems.?. 2008. (Congresso).
50. 23rd AAAI Confererence on Artificial Intelligence.?. 2008. (Congresso).
51. 7th International Joint Conference on Autonomous Agents and Multi-Agents Systems.?. 2008. (Congresso).
52. 5th International Workshop on Model Checking and Artificial Intelligente (MoChArt).PC member. 2008. (Congresso).
53. 9th International Workshop on Computacional Logic in Multi-Agent Systems (CLIMA-IX).?. 2008. (Congresso).
54. 6th International Workshop on Declarative Agent Languages and Technologies (DALT-2008).?. 2008. (Congresso).
55. 6th International Workshop "From Agent Theory to agent Implementation".?. 2008. (Congresso).
56. 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008).?. 2008. (Congresso).
57. Joint International Conference on Autonomous Agents and Multi-Agent Systems.?. 2008. (Congresso).
58. 2nd Workshop on Agent Based Modelling and Simulation (ABModSim 2008).?. 2008. (Congresso).
59. 23rd ACM Symposium on Applied Computing (SAc-2008).?. 2008. (Congresso).
60. Dagstuhl Seminar 08461 - Planning in Multiagent Systems.?. 2008. (Congresso).
61. Dagstuhl Seminar 08361 - Programming Multi-Agent Systems.?. 2008. (Congresso).
62. The Society for the Study of Artifical Intelligence and Simulation of Behaviour - AISB 2008.?. 2008. (Congresso).
63. Inveted speaker at the SIKS-Day - 2008.?. 2008. (Seminário).
64. Invited talk at the AISB 2008 Symposium on Logic and the Simulation of International and Reasoning.?. 2008. (Seminário).
65. 10th Pacific Rim International Workshop on Multi-Agent Systems (PRIMA-2007).?. 2007. (Congresso).
66. 20th Australian Joint Conference on Artificial Intelligence (AI-07).?. 2007. (Congresso).
67. 6th IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2007).?. 2007. (Congresso).
68. 2nd Workshop on Communication between Human and Artificial Agents (CHAA'07).?. 2007. (Congresso).
69. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII).?. 2007. (Congresso).
70. 5th International Workshop on Declarative Agent Languages and Tecnhologies.?. 2007. (Congresso).
71. Fifth European Workshop on Multi-Agents Systems.?. 2007. (Congresso).
72. Fifth German Conference on Multi-Agent System Technologies.?. 2007. (Congresso).
73. Multi-Agents Logics, Languages, and Organisations - Federated Workshops.?. 2007. (Congresso).
74. Dagstuhl Seminar 07122, Normative Multi-Agent Systems.?. 2007. (Congresso).
75. Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems.?. 2007. (Congresso).
76. Seventh Annual International Workshop on "Engeneering Societies in the Agents World".?. 2007. (Congresso).
77. 5th German Conference on Multiagent Systems Technologies (MATES-2007).?. 2007. (Seminário).
78. Tuenth European Conference on Logics in Artificial Intelligence (JELIA 2006).?. 2006. (Congresso).
79. 17th European Conference on Artificial Intelligence (ECAI 2006).?. 2006. (Congresso).
80. 15th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2006).?. 2006. (Congresso).
81. 4th Workshop on Model Checking and Artificial Intelligence (MoChArt-2006).?. 2006. (Congresso).
82. Joint Brazilian and Iberoamerican AI Conference SBIA/IBERAMIA.?. 2006. (Congresso).
83. 17th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII).?. 2006. (Congresso).
84. 14th International Workshop on Declarative Agent Languages and technologies (DALT-06).?. 2006. (Congresso).
85. Fifth International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006).?. 2006. (Congresso).
86. Second Workshop on Software Engineering for Agent-Oriented Systems (SEAS 2006).?. 2006. (Congresso).
87. International Workshop on Agents and Multi-Agent Systems, from Theory to Application (AMTA-2006).?. 2006. (Congresso).
88. Third International Workshop on Enviroments for Multi-Agent Systems (E4MAS 2006).?. 2006. (Congresso).
89. Workshop on Agent based Modelling and Simulation held as part of the 18th European Meeting on Cybernetics and Systems Research.?. 2006. (Congresso).
90. fifth International Joint Conference on Autonomous Agents and Multi-Agents Systems.?. 2006. (Congresso).
91. Dagstuhl Seminar 06261 - Foundations and Practice of Programming Multi-Agent Systems.?. 2006. (Congresso).
92. Programming Languages and Development Tools for Multi-Agents Systems.?. 2006. (Congresso).
93. Departamental / Group Sminars given at: UCL, Universities of Limburg, Leuven, Namur, Southampton, Liverpool, Nottingham, Birmingham, Aberdeen.?. 2006. (Seminário).
94. Sixth International Workshop on Computacional Logic in Multi-Agent Systems.?. 2005. (Congresso).
95. Fourth International Joint Conference on Autonomous Agents and Multi-Agents Systems.?. 2005. (Congresso).
96. Third International Workshop on Delcarative Agent Languages and Technologies.?. 2005. (Congresso).
97. XXXII Seminário Integrado de Software e Hardware.?. 2005. (Congresso).
98. Socially Inspired Computing - Engineering with Social Metaphors, an AISB Symposium.?. 2005. (Congresso).
99. Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems.?. 2005. (Congresso).
100. Programming Languages for Multi-Agents Systems.?. 2005. (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. Ninethy European Conference on Logics in Artificial Intelligence (JELIA-04).?. 2004. (Congresso).
104. Third International Joint Conference on Autonomous Agents and Multi-Agents Systems.?. 2004. (Congresso).
105. Seventeenth Brazilian Symposium on AI.?. 2004. (Congresso).
106. Second International Workshop Declarative Agent Languages and Technologies.?. 2004. (Congresso).
107. Second International Workshop on Programming Multiagent Systems: Languages and Tools.?. 2004. (Congresso).
108. Joint Workshop on Multi-Agent and Multi-Agent based Simulation.?. 2004. (Congresso).
109. International Workshop on Delcarative Agent Languages and Technologies.?. 2003. (Congresso).
110. First International Workshop on Programming Multiagent Systems: Languages, frameworks, techniques and tools.?. 2003. (Congresso).
111. Fourth Workshop on Multi-Agent based Simulation.?. 2003. (Congresso).
112. Second International Joint Conference on Autonomous Agents and Multi-Agents Systems.?. 2003. (Congresso).
113. Workshop on Declarative Agent Languages and Technologies.?. 2003. (Congresso).
114. 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).
115. Third International Workshop on Multi-Agent based Simulation.?. 2002. (Congresso).
116. UK Workshop on Multiagent Systems (UKMAS 2002).?. 2002. (Congresso).
117. Workshop on Logic in Games and Multi-Agent Systems.?. 2002. (Congresso).
118. Dagstuhl Seminar 02481 - Programming Multi Agent Systems based on Logic.?. 2002. (Congresso).
119. Dagstuhl Seminar 02481: Programming Multi-Agent Systems Based on Logic.Progress in BDI Logic Programming with AgentSpeak(L) - Talk at Dagstuhl Seminar. 2002. (Outra).
120. International Workshop on Agent Theories, Architectures, and Languages.Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), 1-3 August. 2001. (Congresso).
121. 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).
122. V Oficina de Inteligência Artificial.V Oficina de Inteligência Artificial - UCPEL. 2001. (Oficina).
123. International Conference on Multi-Agent Systems. 2000. (Congresso).
124. Second Workshop on Decision-Theoretic and Game-Theoretic Agents.?. 2000. (Congresso).
125. Workshop on Game Theoretic and Decision Theoretic Agents. 2000. (Oficina).
126. Second International Workshop on Multi-Agent Based Simulation. 2000. (Oficina).
127. 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).
128. 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).
129. Agent Theories, Architectures, and Languages. 1998. (Congresso).
130. Third International Conference on Multi-Agent Systems. 1998. (Congresso).
131. International Workshop on Cooperative Information Agents.First International Workshop on Cooperative Information Agents (CIA'97). 1997. (Congresso).
132. International Conference on Multi-Agent Systems.First International Conference on Multi-Agent Systems (ICMAS'95). 1995. (Congresso).
Organização de eventos
1. BOISSIER, O. ; BORDINI, R. H. ; DENNIS, L. . 10th International Workshop on Programming Multi-Agent Systems. 2011. (Outro).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Gabriel de Oliveira Ramos. N/D. Início: 2011. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
2. Vinicius de Antoni. N/D. Início: 2011. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).
3. Marcelo Tomio Hama. UAVAS: AgentSpeak for Unmanned Aerial Vehicles. Início: 2010. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
4. Ricardo Rodrigues Lucca. MARO: Um modelo de emoções usando ontologia. Início: 2010. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).
Trabalho de conclusão de curso de graduação
1. Gabriel Alabarse Hernandez. Aplicação de Técnicas de Formação de Coalizões para Gerência de Smart Grids. Início: 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).
2. Guilherme Krüger Araujo. Uso de Técnicas de Programação Orientada a Agentes para Aplicações em Computação Móvel. Início: 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).
Iniciação científica
1. Gustavo Miotto. Uso de Sistemas Multi-Agentes para Simulação de Smart Grids. Início: 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).
2. Felipe da Rosa Gonzalez. Implementação de um Algoritmo de Slicing para AgentSpeak. Início: 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).
Supervisões e orientações concluídas
Dissertação de mestrado
1. 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, . Co-Orientador: Rafael Heitor Bordini.
2. 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.
3. 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. Co-Orientador: Rafael Heitor Bordini.
4. 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, . Co-Orientador: Rafael Heitor Bordini.
Tese de doutorado
1. 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.
2. 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. Co-Orientador: Rafael Heitor Bordini.
Iniciação Científica
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 23:45:08