Rafael Heitor Bordini

Rafael Bordini possui doutorado em Ciência da Computação pela University College London (1999), mestrado em Computação pela UFRGS (1994), e Bacharelado em Informática pela PUCRS (1992). Foi ?Research Fellow? na Universidade de Liverpool (2002-2004), ?Lecturer? na Universidade de Durham (2004-2009), e então professor adjunto no INF-UFRGS até ingressar na PUCRS em 2012 onde atualmente é professor adjunto da Escola Politécnica. Fez pós-doutorado na Universidade de Gênova em 2019 e possui bolsa PQ2 do CNPq. Sua produção científica situa-se na área de Inteligência Artificial, com foco em Sistemas Multiagentes, e envolve também elementos de linguagens de programação, verificação formal e engenharia de software. Atualmente trabalha principalmente com técnicas como argumentação, ontologias, agentes conversacionais, planejamento automático, formação de coalizões, e aprendizado de máquina para resolver problemas na área da saúde e sustentabilidade do planeta entre outros usos responsáveis e éticos da IA para o bem social, por exemplo suporte à alocação de leitos hospitalares (tema especialmente importante com as consequências da COVID-19) e regaste em situações de desastres naturais. É coordenador dos grupos de pesquisa SMART e IA na Saúde do Núcleo de IA da Escola Politécnica da PUCRS. Foi Programme Chair da principal conferência na área de Agentes Autônomos e Sistemas Multiagentes (AAMAS) em 2015 e atualmente é Area Chair dessa conferência além de membro do corpo editorial do principal periódico dessa área (JAAMAS), bem como é membro emérito do conselho diretor do IFAAMAS e EURAMAS, associações de pesquisadores Internacional e Européia (respectivamente). Há muitos anos é (Senior) PC das principais conferências em IA (incluindo IJCAI, ECAI, AAAI e AAMAS) e foi do comitê organizador ou consultivo de diversos eventos internacionais e nacionais (incluindo AAMAS, EASSS, EUMAS, AGERE, ProMAS, EMAS, AutoSoft, WESAAC), e organizou ou participou de diversos Dagstuhl Seminars. Rafael Bordini é membro do EPSRC (UK) College of Peer Reviewers e revisa projetos de pesquisa para as agências financiadoras de diversos países. É um dos desenvolvedores de duas plataformas de software para sistemas inteligentes autônomos chamadas Jason e JaCaMo que são amplamente utilizadas pela comunidade internacional da área; a primeira possui uma média de cerca de 500 downloads mensais desde 2006 e é utilizada para ensino em pelo menos 23 países, tendo sido utilizada por diversos ganhadores de competições de programação de sistemas multiagentes. Possui mais de 150 obras publicadas, incluindo um livro altamente citado (1780 citações segundo o Google Scholar) sobre programação de agentes inteligentes utilizando a plataforma Jason publicado pela Wiley e outro livro sobre a plataforma JaCaMo publicado pela MIT Press em 2020. É um dos cientistas da computação mais citados do Rio Grande do Sul, com mais de 8000 citações e h-index 40. Sua colaboração com a indústria gerou 3 pedidos de patentes resultantes de projeto financiado pela Samsung do Brasil.

Informações coletadas do Lattes em 02/12/2024

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1994 - 1998

University College London (University of London)
Título: Contributions to an Anthropological Approach to the Cultural Adaptation of Migrant Agents
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 TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. Setores de atividade: Informática.

Mestrado em Computação

1992 - 1994

Universidade Federal do Rio Grande do Sul
Título: Suporte Lingüístico para Migração de Agentes
Orientador: Rosa Maria Viccari e Antônio Carlos da Rocha Costa
, Ano de Obtenção: 1994.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 TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. Setores de atividade: Informática.

Graduação em Bacharelado em Informática

1988 - 1991

Pontifícia Universidade Católica do Rio Grande do Sul

Pós-doutorado

2019

Pós-Doutorado. , Università degli Studi di Genova, UNIGE, Itália. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

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.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Pouco, Lê Pouco.

Francês

Compreende Pouco, Lê Pouco.

Alemão

Lê Pouco.

Áreas de atuação

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/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: Engenharia de Software.

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: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

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.

Organização de eventos

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

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

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

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

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

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

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

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

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

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

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

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).

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).

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

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).

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).

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

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

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

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

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

Participação em eventos

Dagstuhl Seminar 21072 - Autonomous Agents on the Web. 2021. (Seminário).

14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Program Chair. 2015. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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).

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

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

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

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

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

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).

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

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).

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

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

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

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

Participação em bancas

Aluno: Gustavo Rezende Silva

HÜBNER, J. F.BORDINI, R. H.; PANTOJA, C. E.; ANTONELO, E. A.; BECKER, L. B.. Active Perception within BDI Agents Reasoning Cycle with Applications in Mobile Robots. 2020. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Ricardo Arend Machado

GONCALVES, E. M. N.;BORDINI, R. H.; PANISSON, A. R.;ADAMATTI, D. F.. Testes em Sistemas Multiagentes sob Modelo Organizacional Moise+. 2020. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande.

Aluno: Evaristo José do Nascimento

SILVA, L. Á. L.;BORDINI, R. H.; NUNES, R. C.. Modificações Baseadas em Inundação em Estruturas Hierárquicas e Irregulares de Representação de Terrenos Virtuais em Sistemas de Simulação. 2020. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: GUSTAVO BATHU PAULUS

SILVA, L. Á. L.;BORDINI, R. H.; MULLER, F. M.. Casos e Clusters no Desenvolvimento de Políticas de Reuso para Tomada de Decisão em Jogos de Carta. 2020. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Camila Dasso Thomasi

COSTA, A. C. R.BORDINI, R. H.; REATEGUI, E. B.. 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.

Aluno: Maicon Rafael Zatelli

HÜBNER, Jomi F.Bordini, R. H.; MARCHI, J.; RABELO, R. J.. 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.

Aluno: Daniela Oliveira Ferreira do Amaral

VIEIRA, RenataBordini, R. H.. 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.

Aluno: Thiago Lipinski Paes

SOUZA, O. N.;Bordini, R. H.; CACERES, R. A.. 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.

Aluno: Artur Luiz Silva da Cunha Freitas

VIEIRA, RenataBordini, R. H.. 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.

Aluno: Maicon de Brito do Amarante

BORDINI, R. H.. 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.

Aluno: Gilleanes Thorwald Araujo Guedes

VICCARI, R. M.; GUEDES, G. T. A.; BARONE, D. A. C.;BORDINI, R. H.; SILVEIRA, R. A.. 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.

Aluno: Yuzo Ueno

VICCARI, R. M.; UENO, Y.;BAZZAN, A. L. C.BORDINI, R. H.; FAGUNDES, L. C.. 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.

Aluno: Marco Aurélio Freitas dos Santos

COSTA, A. C. R.; SANTOS, M. A. F.;BORDINI, R. H.; ALVARES, L. O. C.; OLIVEIRA, F. M.. 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.

Aluno: Luís Alvaro de Lima Silva

SANTOS, C. S.; SILVA, L. Á. L.; ALVARES, L. O. C.;BORDINI, R. H.; PALAZZO, L. A. M.. 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.

Aluno: Andre Zanki Cordenonsi

CORDENONSI, A. Z.; ALVARES, L. O. C.; BARONE, D. A. C.;BORDINI, R. H.; OLIVEIRA, F. M.. 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.

Aluno: Sam Leask

BORDINI, R.H.; PRIDMORE, T.. GROVE: A computationally grounded model for rational intention revision in BDI agents. 2021. Tese (Doutorado em Computer Science) - University of Nottingham.

Aluno: Angelo Ferrando

BORDINI, R. H.; DE BOER, F.; DENNIS, L. A.; ANCONA, D.; MASCARDI, V.. An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond. 2019. Tese (Doutorado em PhD in Computer Science) - Università degli Studi di Genova.

Aluno: Miriam Mariela Mercedes Morveli Espinoza

TACLA, C. A.;BORDINI, R. H.; SCALABRIN, E. E.; SECA NETO, A. S.; LUGO, G. A. G.. 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á.

Aluno: Álvaro Fernández Díaz

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.. eJason: a Framework for Distributed and Fault-tolerant Multi-Agent Systems. 2018 - Universidad Politécnica de Madrid.

Aluno: Maicon Rafael Zatelli

BORDINI, R. H.. 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.

Aluno: Diego Issicaba

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

Aluno: Maurício da Silva Escobar

Bordini, R. H.HÜBNER, Jomi F.; PEREIRA, C.E.;MENEGUZZI, F.. 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.

Aluno: André Luiz Duarte Cavalcante

Bordini, R. H.. 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.

Aluno: Ingrid Oliveira de Nunes

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

Aluno: Konstantin Vikhorev

Bordini, Rafael H.; Garibaldi, Jon. Real-time Guarantees in High-level Agent Programming Languages. 2011. Tese (Doutorado em Computer Science) - University of Nottingham.

Aluno: ANA PAULA LEMKE

BORDINI, R. H.. 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.

Aluno: Elder Rizzon Santos

Bordini, R. H.. 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.

Aluno: Ricardo Matsumura de Araujo

Bordini, R. H.. 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.

Aluno: Ayslan Trevizan Possebom

TACLA, C. A.;BORDINI, R. H.; SILVA, F.; ALMEIDA, L. D. A.. 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á.

Aluno: Miriam Mariela Morveli

TACLA, C. A.; SCALABRIN, E. E.;BORDINI, R. H.; SECA NETO, A. S.. 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á.

Aluno: Filipe de Oliveira Saraiva

ASADA, E. N.; VIEIRA JUNIOR, J. C. M.;BORDINI, R. H.. 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.

Aluno: Maiquel de Brito

HÜBNER, J. F.BORDINI, R. H.. 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.

Aluno: Marlo Vieira dos Santos e Souza

MOREIRA, A. F.VIEIRA, R.; WASSERMANN, R.;BORDINI, R. H.. 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.

Aluno: Maicon Rafael Zatelli

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

Aluno: Andre Marcelo Schneider

BORDINI, R. H.. 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.

Aluno: Edson Prestes e Silva Júnior

BORDINI, R. H.. 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.

Aluno: Andre Marcelo Schneider

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

Aluno: Marcia Cristina Moraes

MORAES, M. C.; ALVARES, L. O. C.;BORDINI, R. H.. 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.

Aluno: Adriana Soares Pereira

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

Aluno: Edson Prestes e Silva Júnior

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

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.

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.

Orientou

Crhistopher Lenhard

Investigação de Técnicas de Engano na Modelagem e Implementação de Agentes Inteligentes Imersos em Ambientes de Simulação Virtual Tática; Início: 2021; Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria; (Coorientador);

Douglas de Oliveira Trajano

Detecção de Linguagem Tóxica para a Língua Portuguesa; Início: 2021; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul; (Orientador);

Bernardo Scapini Consoli

Patient Representation Learning for Explainability; Início: 2021; Tese (Doutorado 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);

Débora Cristina Engelmann

Conversational Agents based on Argumentation Theory and Ontologies; Início: 2019; 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);

Giovani Nícolas Bettoni

Extração de Informação em Evoluções Clínicas e Integração com Dados Farmacogenômicos; 2022; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, ; Orientador: Rafael Heitor Bordini;

Gabriel Fernandes Leal

Aplicação de Aprendizado de Máquina para Descobertas de Farmacogenômica no Tratamento do Câncer de Esôfago; 2022; 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;

Jessica Arruda Ferreira de Santana

Aprendizado de Máquina para detecção de Tuberculose em Exames de Imagem; 2021; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, ; Orientador: Rafael Heitor Bordini;

Mateus da Silveira Colissi

TEAMUP: Conversational Agents to Support Coordination in Groupwork; 2021; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, ; Orientador: Rafael Heitor Bordini;

Flavielle Blanco Marques

Predição da Estrutura Tridimensional de Proteínas Utilizando o Método CReF com Informações de Contato; 2021; 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;

Debora Engelmann

An interactive agent to support hospital bed allocation based on plan validation; 2019; 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;

Chiara Capone

Smart RogAgent: Design, Implementation and Experiments of a Multiagent System for Team Building Simulation; 2019; Dissertação (Mestrado em MSc in Computer Science) - Università degli Studi di Genova, ; Coorientador: Rafael Heitor Bordini;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Tabajara Krausburg Rodrigues

Sequences of Coalition Structures in Multi-Agent Systems Applied to Disaster Response; 2022; 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;

Juliana Damasio

Using Interactive Agents to Provide Daily Living Assistance for Visually Impaired People; 2021; 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;

ALISON ROBERTO PANISSON

A framework for reasoning and dialogue in multi-agent systems using argumentation schemes; 2019; 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;

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;

Túlio Basegio

Decentralised allocation of structured tasks in heterogeneous agent teams; 2018; Tese (Doutorado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, ; Orientador: Rafael Heitor Bordini;

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;

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;

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;

Joao 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;

Maurício 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;

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;

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;

ALISON ROBERTO PANISSON

2020; Pontifícia Universidade Católica do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Rafael Heitor Bordini;

Moser Silva Fagundes

2013; Pontifícia Universidade Católica do Rio Grande do Sul, ; Rafael Heitor Bordini;

Berndt Farwer

2008; Durham University, Engineering and Physical Sciences Research Council; Rafael Heitor Bordini;

Nichola 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;

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;

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;

Márcio 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Daniel Monteiro Basso

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;

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;

Marcelo Gonçalves de Azambuja

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;

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;

Produções bibliográficas

OLIVEIRA, JULIANA DAMASIO ; ENGELMANN, DEBORA C. ; KNIEST, DAVI ; Vieira, Renata ; BORDINI, Rafael H. . Multi-Agent Interaction to Assist Visually-Impaired and Elderly People. International Journal of Environmental Research and Public Health , v. 19, p. 8945, 2022.
PANISSON, ALISON R. ; MCBURNEY, PETER ; BORDINI, Rafael H. . A computational model of argumentation schemes for multi-agent systems. Argument & Computation , v. 12, p. 357-395, 2021.
OLIVEIRA, JULIANA DAMASIO ; COUTO, JÚLIA COLLEONI ; PAIXÃO-CORTES, VANESSA STANGHERLIN MACHADO ; BORDINI, RAFAEL HEITOR . Improving the Design of Ambient Intelligence Systems: Guidelines Based on a Systematic Review. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION , v. 38, p. 1-9, 2021.
BORDINI, Rafael H. ; EL FALLAH SEGHROUCHNI, AMAL ; HINDRIKS, KOEN ; LOGAN, BRIAN ; Ricci, Alessandro . Agent programming in the cognitive era. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS , v. 34, p. 37, 2020.
ENGELMANN, D. C. ; PANISSON, A. R. ; MAGISTRALI, L. S. ; ROSA, J. L. A. ; CARLOTTO, E. ; DAHLEM, J. P. ; TELLI, D. G. ; VIEIRA, R. ; BORDINI, R. H. ; CALIENDO, P. . Inteligência Artificial no Apoio à Tomada de Decisões no Direito Tributário. Revista de Direitos Fundamentais e Tributação , v. 1, p. 45-64, 2020.
GABRIEL, VÁGNER DE OLIVEIRA ; PANISSON, ALISON R. ; BORDINI, Rafael H. ; ADAMATTI, DIANA FRANCISCA ; BILLA, CLEO ZANELLA . Reasoning in BDI agents using Toulmin's argumentation model. THEORETICAL COMPUTER SCIENCE , v. 805, p. 76-91, 2020.
BOISSIER, O. ; Bordini, R. H. ; HÜBNER, J. F. ; RICCI, A. . Dimensions in programming multi-agent systems. KNOWLEDGE ENGINEERING REVIEW (ONLINE) , v. 34, p. 1, 2019.
BASEGIO, TULIO L. ; BORDINI, Rafael H. . Allocating structured tasks in heterogeneous agent teams. COMPUTATIONAL INTELLIGENCE , v. 35, p. 124-155, 2019.
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 , v. 25, p. 1-15, 2019.
SARKADI, 'TEFAN ; PANISSON, ALISON R. ; BORDINI, Rafael H. ; MCBURNEY, PETER ; PARSONS, SIMON ; CHAPMAN, MARTIN . Modelling deception using theory of mind in multi-agent systems. AI COMMUNICATIONS , v. 32, p. 1-16, 2019.
CARDOSO, 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.
Freitas, 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.
DA 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.
Freitas, 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.
MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . Meta-Information and Argumentation in Multi-Agent Systems. iSys - Revista Brasileira de Sistemas de Informação , v. 10, p. 74-97, 2017.
CARDOSO, R. C. ; BORDINI, R. H. . A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism. ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL , v. 6, p. 5-17, 2017.
FARIAS, G. P. ; PEREIRA, R. F. ; HILGERT, L. W. ; MENEGUZZI, F. ; Vieira, Renata ; BORDINI, R. H. . Predicting Plan Failure by Monitoring Action Sequences and Duration. ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL , v. 6, p. 71, 2017.
ZAMBERLAN, 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.
MITROVIĆ ; IVANOVIĆ ; Bordini, R. H. ; BADICA, C. . Jason Interpreter, Enterprise Edition. Informatica (Ljubljana) , v. 40, p. 19-27, 2016.
Ricci, 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.
MASCARDI, 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.
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.
OKUYAMA, 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.
Dennis, Louise A. ; Fisher, Michael ; Webster, Matthew P. ; Bordini, Rafael H. . Model checking agent programming languages. Automated Software Engineering , v. 19, p. 5-63, 2012.
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.
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.
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.
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.
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.
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.
Bordini, 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.
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.
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.
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.
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.
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.
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.
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.
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.
BORDINI, R. H. ; Moreira, Á. F. . Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electronic Notes in Theoretical Computer Science , Holanda, v. 70, n.4, p. 7, 2002.
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.
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.
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.
BOISSIER, O. ; BORDINI, R. H. ; HÜBNER, J. F. ; RICCI, A. . Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo. 1. ed. Cambride, MA: MIT Press, 2020. 264p .
DENNIS, L. A. (Org.) ; BORDINI, R. H. (Org.) ; LESPERANCE, Y. (Org.) . Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12058. 1. ed. Springer, 2020.
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.
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.
Bordini, R. H. ; DASTANI, M. (Org.) ; DIX, J. (Org.) ; EL FALLAH-SEGHROUCHNI, A. (Org.) . Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009. 389p .
BORDINI, R. H. ; HUBNER, J. F. ; Wooldridge, M. . Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, 2007. v. 1. 273p .
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.
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.
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.
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 .
de Oliveira Zamberlan, Alexandre ; Heitor Bordini, Rafael ; Chagas Kurtz, Guilherme ; Binotto Fagan, Solange . Multi-Agent Systems, Simulation and Nanotechnology. In: Ricardo Lopez-Ruiz. (Org.). Multi Agent Systems - Strategies and Applications. 25ed.: IntechOpen, 2020, v. , p. 1-14.
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.
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.
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.
BORDINI, R. H. ; DENNIS, L. ; FARWER, B. ; FISHER, M. . Directions for agent model checking. In: Dastani, M.; Hindriks, K.; Meyer, J.-J. C.. (Org.). Speciﬁcation and Veriﬁcation of Multi-agent Systems. : Springer, 2010, v. , p. -.
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.
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.
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.
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.
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.
Bordini, R. H. ; HUBNER, J. F. . An overview of Jason. Association for Logic Programming NewsletterALP Newsletter, México.
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.
ENGELMANN, D. C. ; FERRANDO, A. ; PANISSON, A. R. ; ANCONA, D. ; BORDINI, R.H. ; MASCARDI, V. . RV4JaCa - Runtime Verification for Multi-Agent Systems. In: Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), 2022, Vienna. Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July - EPTCS, 2022. v. 362. p. 23-36.
PANISSON, A. R. ; MCBURNEY, P. ; BORDINI, R.H. . Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems. In: International Conference on Principles of Knowledge Representation and Reasoning (KR), 2022, Haifa. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022, 2022.
COUTO, J. C. ; DAMASIO, J. ; BORDINI, R.H. ; RUIZ, D. . New Trends in Big Data Profiling. In: Science and Information Conference - Intelligent Computing (SAICC), 2022, London. Intelligent Computing Proceedings of the 2022 Computing Conference, Volume 1 - Lecture Notes in Networks and Systems, 2022. v. 506.
CONSOLI, B. S. ; SANTOS, H. D. P. ; ULBRICH, A. H. D. S. ; VIEIRA, R. ; BORDINI, R.H. . BRATECA (Brazilian Tertiary Care Dataset): a Clinical Information Dataset for the Portuguese Language. In: Conference on Language Resources and Evaluation (LREC), 2022, Marseille. Proceedings of the 13th Conference on Language Resources and Evaluation (LREC 2022), Marseille, 20-25 June, 2022. p. 5609-5616.
KRAUSBURG, T. ; DIX, J. ; BORDINI, R.H. . An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures. In: Principles and Practice of Multi-Agent Systems (PRIMA), 2022, Valencia. PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. LNCS, 2022. v. 13753. p. 399-416.
FERREIRA, C. E. A. ; PANISSON, A. R. ; ENGELMANN, D. C. ; VIEIRA, R. ; MASCARDI, V. ; BORDINI, R.H. . Explaining Semantic Reasoning Using Argumentation. In: Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation (PAAMS), 2022, L'Aquila. Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection - 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings. LNCS, 2022. v. 13616. p. 153-165.
COLISSI, M. S. ; VIEIRA, R. ; MASCARDI, V. ; Bordini, R. H. . A Chatbot that Uses a Multi-agent Organization to Support Collaborative Learning. In: International Conference on Human Computer Interaction (HCI), 2021, Washington. Proceedings of the 23rd HCI International Conference, 2021. v. 3. p. 31-38.
KRAUSBURG, T. ; DIX, J. ; BORDINI, R. H. . Feasible Coalition Sequences. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2021, London. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, 2021. p. 719-727.
ENGELMANN, D. C. ; DAMASIO, J. ; KRAUSBURG, T. ; BORGES, O. T. ; COLISSI, M. S. ; PANISSON, A. R. ; BORDINI, R. H. . Dial4JaCa - A Communication Interface between Multi-agent Systems and Chatbots. In: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMAS), 2021, Salamanca. Proceedings of PAAMS-2021, 2021.
PANISSON, A. R. ; ENGELMANN, D. C. ; BORDINI, R. H. . Engineering Explainable Agents: An Argumentation-Based Approach. In: International Workshop on Engineering Multi-Agent Sytems (EMAS), 2021, London. Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems, 2021.
ENGELMANN, D. C. ; CEZAR, L. D. ; PANISSON, A. R. ; BORDINI, R.H. . A Conversational Agent to Support Hospital Bed Allocation. In: Brazilian Conference on Intelligent Systems (BRACIS), 2021, Virtual Event. Intelligent Systems - 10th Brazilian Conference (BRACIS), Virtual Event, November 29 - December 3, Proceedings Part I. Lecture Notes in Computer Science, 2021. v. 13073. p. 3-17.
REYES, D. ; TRAJANO, D. ; MANSSOUR, I. H. ; VIEIRA, R. ; BORDINI, R.H. . Entity Relation Extraction from News Articles in Portuguese for Competitive Intelligence Based on BERT. In: Brazilian Conference on Intelligent Systems (BRACIS), 2021, Evento Virtual. Intelligent Systems - 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part II. Lecture Notes in Computer Science, 2021. v. 13074. p. 449-464.
KRAUSBURG, T. ; DIX, J. ; BORDINI, R.H. . Computing Sequences of Coalition Structures. In: IEEE Symposium Series on Computational Intelligence (SSCI), 2021, Orlando. Proceedings of the IEEE Symposium Series on Computational Intelligence, SSCI 2021, Orlando, FL, USA, December 5-7, 2021.
KRAUSBURG, T. ; CHRISOSTHEMOS, V. ; BORDINI, R. H. ; DIX, J. . Disaster Response Simulation. In: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2020, L'Aquila. 18th International Conference, PAAMS 2020, 2020. p. 434-438.
KRAUSBURG, T. ; CHRISOSTHEMOS, V. ; BORDINI, R. H. ; DIX, J. . Disaster Response Simulation as a Testbed for Multi-Agent Systems. In: European Conference on Multi-Agent Systems (EUMAS), 2020, Thessaloniki. Proceedings of 17th EUMAS, 2020.
PANISSON, A. R. ; BORDINI, R. H. ; COSTA, A. C. R. . An Approach to the Multi-Level Semantics of Agent Societies. In: Brazilian Conference on Intelligent Systems (BRACIS), 2020, Rio Grande. Proceedings of the 9th Brazilian Conference on Intelligent Systems (BRACIS), 2020.
ENGELMANN, D. C. ; COUTO, J. ; GABRIEL, V. O. ; VIEIRA, R. ; BORDINI, R. H. . Towards an Ontology to Support Decision-making in Hospital Bed Allocation (S). In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2019, Lisbon. Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering (SEKE), 2019. p. 71-80.
KRAUSBURG, T. ; BORDINI, R. H. . Constrained Coalition Formation among Heterogeneous Agents for the Multi-Agent Programming Contest. In: International Conference on Agents and Artificial Intelligence (ICAART), 2019, Prague. Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART), 2019. p. 162-169.
RICCI, A. ; CIORTEA, A. ; MAYER, S. ; BOISSIER, O. ; BORDINI, R. H. ; HÜBNER, J. F. . Engineering Scalable Distributed Environments and Organizations for MAS. In: International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2019, Montreal. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2019. p. 790-798.
CARDOSO, R. C. ; BORDINI, R. H. . Decentralised Planning for Multi-Agent Programming Platforms. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2019, Montreal. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2019. p. 799-807.
CAPONE, C. ; BORDINI, R. H. ; MASCARDI, V. ; DELZANNO, G. ; FERRANDO, A. ; GELATI, L. ; GUERRINI, G. . Smart RogAgent: where Agents and Humans Team Up. In: International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2019, Torino. Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2019.
OLIVEIRA, J. D. ; CAMPOS, M. B. ; AMORY, A. M. ; BORDINI, R. H. . GoDonnie: A robot programming language for teaching people who are visually impaired. In: Simpósio Brasileiro de Informática na Educação (SBIE), 2019, Brasilia. Anais do Simpósio Brasileiro de Informática na Educação (SBIE), 2019.
OLIVEIRA, J. D. ; BORDINI, R. H. . A Survey on the Needs of Visually Impaired Users and Requirements for a Virtual Assistant in Ambient Assisted Living. In: International Conference on Information Technology: New Generations (ITNG), 2019, Las Vegas. Proceedings of the 16th International Conference on Information Technology -- New Generations (ITNG), 2019.
OLIVEIRA, J. D. ; CAMPOS, M. B. ; AMORY, A. M. ; BORDINI, R. H. . GoDonnie: A Robot Programming Language to Improve Orientation and Mobility Skills in People Who are Visually Impaired. In: International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS), 2019, Pittsburgh. Proceedings of the 21st International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS), 2019.
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 International Conference on Computational Models of Argument (COMMA), 2018. p. 361-368.
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 International Conference on Computational Models of Argument (COMMA), 2018. p. 345-352.
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, held with AAMAS/IJCAI/ECAI/ICML, 2018. v. 2154. p. 50-61.
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 (BRACIS), 2018, São Paulo. Proceedings of 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018. p. 378-383.
MACHADO, N. L. R. ; FONTOURA, L. M. ; BORDINI, R. H. ; SILVA, L. Á. L. . Explanation Templates for Case-based Reasoning in Collaborative Risk Management. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2018, Redwood City. The 30th International Conference on Software Engineering and Knowledge Engineering, 2018. p. 74-79.
FREITAS, A. ; BORDINI, R. H. ; VIEIRA, R. . Designing Multi-Agent Systems from Ontology Models. In: International Workshop on Engeering Multi-Agent Systems (EMAS), 2018, Stockholm. Engineering Multi-Agent Systems - 6th International Workshop (LNCS), 2018. v. 11375. p. 76-95.
RICCI, A. ; BORDINI, R. H. ; HÜBNER, J. F. ; COLLIER, R. . AgentSpeak(ER): Enhanced Encapsulation in Agent Plans. In: International Workshop on Engineering Multi-Agent Systems (EMAS), 2018, Stockholm. Engineering Multi-Agent Systems - 6th International Workshop (LNCS), 2018. v. 11375. p. 34-51.
PANISSON, A. R. ; SARKADI, S. ; MCBURNEY, P. ; PARSONS, S. ; BORDINI, R. H. . On the Formal Semantics of Theory of Mind in Agent Communication. In: International Conference on Agreement Technologies (AT), 2018, Bergen. Proceedings of the 6th International Conference on Agreement Technologies (AT), LNCS, 2018. v. 11327. p. 18-32.
SARKADI, S. ; PANISSON, A. R. ; BORDINI, R. H. ; MCBURNEY, P. ; PARSONS, S. . Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems. In: nternational Conference on Agreement Technologies (AT), 2018, Bergen. Proceedings of the 6th International Conference on Agreement Technologies (AT), LNCS, 2018. v. 11327. p. 3-17.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
PANISSON, A. R. ; MCBURNEY, P. ; BORDINI, R.H. . Towards an Enthymeme-Based Communication Framework. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2022, Auckland. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022, 2022. p. 1708-1710.
BORDINI, R. H. ; EL FALLAH-SEGHROUCHNI, A. ; HINDRIKS, K. ; LOGAN, B. ; RICCI, A. . Agent Programming in the Cognitive Era. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2021, London. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, 2021. p. 1718-1720.
ENGELMANN, D. C. ; DAMASIO, J. ; KRAUSBURG, T. ; BORGES, O. T. ; CEZAR, L. D. ; PANISSON, A. R. ; BORDINI, R. H. . Dial4JaCa - A Demonstration. In: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2021, Salamanca. Proceeding of PAAMS, 2021.
BORDINI, R. H. ; COLLIER, R. ; HÜBNER, J. F. ; RICCI, A. . Encapsulating Reactive Behaviour in Goal-Based Plans for Programming BDI Agents: Extended Abstract. In: International Conference on Autonomous Agents an Multi-Agent Systems (AAMAS), 2020, Auckland. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, 2020. p. 1783-1785.
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 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018. p. 2054-2056.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
HUBNER, J. F. ; BORDINI, R. H. . Programação de sistemas multi-agentes : uma abordagem para o desenvolvimento de ambientes, agentes, e suas organizações. In: IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande, RS. Anais, 2010.
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.
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.
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.
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.
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.
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.
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.
BORDINI, R.H. . Multi-Agent Systems for the Social Good. 2022. (Apresentação de Trabalho/Conferência ou palestra).
BORDINI, R.H. . Painel: Inteligência Artificial e seus Impactos na Inovação. 2022. (Apresentação de Trabalho/Outra).
BORDINI, R. H. . Jason: Reflexões sobre o Passado e Perspectivas para o Futuro. 2021. (Apresentação de Trabalho/Conferência ou palestra).
BORDINI, R. H. . UMA PLATAFORMA PARA PESQUISA E DESENVOLVIMENTO DE SISTEMAS MULTIAGENTES. 2017. (Apresentação de Trabalho/Conferência ou palestra).
Bordini, R. H. . JaCaMo: Uma Plataforma para o Desenvolvimento de Sistemas Multiagentes. 2014. (Apresentação de Trabalho/Conferência ou palestra).
BORDINI, R. H. ; VIEIRA, R. ; MOREIRA, A. F. . Fundamentos de Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).
BORDINI, R. H. . Inteligência Artificial Distribuída (Uma Introdução aos Sistemas Multiagentes). 2001. (Apresentação de Trabalho/Seminário).
BORDINI, R. H. . Introdução aos Sistemas Multiagentes. 2001. (Apresentação de Trabalho/Seminário).
BORDINI, R. H. ; CAMPBELL, J. A. . Anthropologically-Based Migration of Agents: a New Approach to Interoperability 1995 (Research Note UCL-CS [RN/95/79]).
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]).
BORDINI, R. H. . Os Fundamentos Formais da IA. Porto Alegre, Brazil: CPGCC da UFRGS, 1993 (Research Notes [RP-215]).

Outras produções

ENGELMANN, D. C. ; OLIVEIRA, J. D. ; BORGES, O. T. ; KRAUSBURG, T. ; VIVAN, M. ; BORDINI, R. H. . Integração do Jason/JaCaMo com Dialogflow. 2020.

PANISSON, A. R. ; BORDINI, R. H. . Diálogos baseados em Argumentação para Programação Orientada a Agentes. 2020.

PANISSON, A. R. ; SARKADI, S. ; MCBURNEY, P. ; PARSONS, S. ; BORDINI, R. H. . Framework para Teoria da Mente em Programação Orientada a Agentes. 2020.

KRAUSBURG, T. ; BORDINI, R. H. . Coalition4MAS: Sistema para permitir que agentes JaCaMo usem técnicas de formação de coalizões. 2019.

CHRISOSTHEMOS, V. ; SEVERO, J. V. B. ; KRAUSBURG, T. ; BORDINI, R. H. . MASiRe: Simulador de desastres naturais para avaliar técnicas de IA para coordenação de veículos autônomos. 2019.

ENGELMANN, D. C. ; BORDINI, R. H. . Chatbot para auxiliar na alocação de leitos hospitalares. 2019.

ENGELMANN, D. C. ; BORDINI, R. H. . Ontologia sobre Alocação de Leitos Hospitalares. 2019.

PANISSON, A. R. ; BORDINI, R. H. . Um Framework de Comunicação para Agentes BDI baseado em Entimemes. 2019.

ENGELMANN, DÉBORA C. ; MAGISTRALI, L. S. ; ROSA, J. L. A. ; CALIENDO, P. ; BORDINI, R. H. . Ontologia sobre Direito Tributário. 2019.

KRAUSBURG, T. ; ENGELMANN, D. C. ; PERES, V. M. X. ; MAGISTRALI, L. S. ; BORDINI, R. H. . MASOntology: extensão para permitir que agentes Jason acessem Ontologias. 2018.

KRAUSBURG, T. ; CARDOSO, R. C. ; OLIVEIRA, J. D. ; PERES, V. M. X. ; FARIAS, G. P. ; ENGELMANN, D. C. ; HÜBNER, J. F. ; BORDINI, R. H. . Sistema para a 'Multi-Agent Programming Contest 2018'. 2018.

ENGELMANN, D. C. ; BORDINI, R. H. . Domínio de Planejamento para Alocação de Leitos Hospitalares. 2018.

PANISSON, A. R. ; BORDINI, R. H. . Raciocínio baseado em Argumentação para Programação Orientada a Agentes. 2018.

FARIAS, G. P. ; Bordini, Rafael H. . Gerador de bibliotecas de planos para reconhecimento de intenções do usuário. 2017.

COSTA, I. O. C. ; KRAUSBURG, T. ; CARDOSO, R. C. ; BORDINI, R. H. . JROS: interface para permitir conectar agentes Jason ao ROS. 2017.

CARDOSO, R. C. ; KRAUSBURG, T. ; BASEGIO, T. L. ; ENGELMANN, D. C. ; HÜBNER, J. F. ; BORDINI, R. H. . Sistema para a 'Multi-Agent Programming Competition 2017'. 2017.

CARDOSO, R. C. ; BORDINI, R. H. . FLOODS: Domínio de planejamento para um cenário de resgate com veículos autônomos em um desastre por alagamento. 2017.

CARDOSO, R. C. ; HÜBNER, J. F. ; BORDINI, R. H. . Benchmarks para comparar linguagens de programação orientadas a agentes e orientadas a atores. 2017.

FREITAS, A. ; BORDINI, R. H. ; VIEIRA, R. . OntoMAS: uma ontologia para modelagem de sistemas multi-agentes baseada no JaCaMo. 2017.

FREITAS, A. ; BORDINI, R. H. ; VIEIRA, R. . Onto2JaCaMo: suporte para o uso de ontologias para programação em JaCaMo. 2017.

CARDOSO, RAFAEL C. ; PEREIRA, R. F. ; KRZISCH, G. ; MAGNAGUAGNO, M. C. ; BASEGIO, T. L. ; KRAUSBURG, T. ; FREITAS, A. ; MENEGUZZI, F. R. ; HÜBNER, J. F. ; BORDINI, R. H. . Sistema para a 'Multi-Agent Programming Competition 2016'. 2016.

CARDOSO, RAFAEL C. ; Bordini, Rafael H. . DOMAP: Planejamento Multiagente para a Plataforma JaCaMo. 2016.

MELO, V. S. ; PANISSON, A. R. ; BORDINI, R. H. . ARMI: Raciocínio baseado em Argumentação usando Meta-Informação. 2016.

CARDOSO, R. C. ; ALVES, P. B. ; BARBOZA, D. M. ; BORDINI, R. H. . Versão HTN do Domínio Petrobras e Código JaCaMo para Execução. 2016.

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

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

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

BORDINI, R.H. . SPC Member for AAAI-2022. 2022.

BORDINI, R.H. . SPC for AAMAS-2023. 2022.

BORDINI, R.H. . PC Member BRACIS-2022. 2022.

BORDINI, R. H. . SPC Member IJCAI 2021. 2021.

BORDINI, R. H. . PC Member AAMAS-2021. 2021.

BORDINI, R. H. . SPC Member AAAI 2021. 2021.

BORDINI, R. H. . PC Member BRACIS-2021. 2021.

BORDINI, R. H. . Area Chair for AAMAS-2022. 2021.

BORDINI, R. H. . SPC Member AAMAS 2020. 2020.

BORDINI, R. H. . PC Member BRACIS 2020. 2020.

BORDINI, R. H. . SPC member IJCAI 2020. 2020.

BORDINI, R. H. . SPC Member AAMAS 2019. 2019.

BORDINI, R. H. . SPC Member IJCAI 2019. 2019.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bordini, Rafael H. . Programação Multiagente. 2012. (Curso de curta duração ministrado/Outra).

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).

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

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).

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).

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).

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

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).

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

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

Projetos de pesquisa

2021 - Atual

Aplicação de Técnicas de Aprendizado de Máquina para Descobertas de Farmacogenômica para o Tratamento do Câncer de Esôfago, Descrição: A farmacogenômica é uma área que estuda como as alterações genômicas podem influenciar na resposta aos medicamentos. Através dela é possível explorar e definir o melhor tipo de tratamento para diferentes pessoas e seus perfis genéticos. Além disso, métodos computacionais são cada vez mais empregados nos estudos de bioinformática, como os que buscam aplicar técnicas de Aprendizado de Máquina (AM) para tarefas de predição. Estudos recentes mapeiam a resposta de linhagens celulares relacionadas ao câncer para uma ampla coleção de fármacos utilizados em tratamentos. Assim, o objetivo do projeto é explorar repositórios públicos de dados, buscar por dados locais do Hospital São Lucas da PUCRS e utilizar técnicas de AM para predizer as respostas de pacientes de câncer de esôfago aos diversos fármacos com base no seu perfil genético e nas linhagens celulares de tumores. Serão relacionados dados presentes em bases públicas, além dos dados locais obtidos pelo Grupo de Farmacologia Aplicada. Com base nesses dados, o estudo busca desenvolver modelos preditivos utilizando-se redes neurais profundas, aplicando as técnicas de AM para a importante área de farmacogenômica de modo a avançar a capacidade de prever o melhor tratamento para cada paciente através da grande quantidade de casos disponíveis. Isso pode melhorar não só a qualidade de vida dos pacientes de câncer de esôfago, mas também pode ter significativo impacto econômico.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Rafael Heitor Bordini - Coordenador / Renata Vieira - Integrante / Fernanda Bueno Morrone - Integrante., Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Auxílio financeiro / Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa.
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. , Integrantes: Rafael Heitor Bordini - Integrante / Jomi Fred Hübner - Coordenador / Alessandro Ricci - Integrante / Boissier, Olivier - Integrante.
2004 - 2009

Model Checking Agent Programming Languages (MCAPL), Situação: Concluído; Natureza: Pesquisa. , Integrantes: Rafael Heitor Bordini - Coordenador / Michael Fisher - Integrante / Berndt Farwer - Integrante / Louise Dennis - Integrante., Financiador(es): Engineering and Physical Sciences Research Council - Auxílio financeiro.
2004 - 2009

Verifiable 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.
2003 - Atual

Jason: a platform for agent-oriented programming, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi Fred Hübner - Integrante.
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.
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.

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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.
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. , Integrantes: Rafael Heitor Bordini - Coordenador / Jomi F. Hübner - Integrante.

Histórico profissional

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

Experiência profissional

2012 - Atual

Pontifícia Universidade Católica do Rio Grande do Sul

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

Atividades

08/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Inteligentes Autônomos
08/2018
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação
05/2018
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
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
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
08/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computabilidade e Complexidade
08/2015
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação
03/2015
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
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
03/2013
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
03/2013
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
08/2012
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
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
03/2012
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
03/2012
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
03/2012
Pesquisa e desenvolvimento, Escola Politécnica.,Linhas de pesquisa
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

2009 - 2012

Universidade Federal do Rio Grande do Sul

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

1999 - 2002

Universidade Federal do Rio Grande do Sul

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
03/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
03/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.,Linhas de pesquisa

2004 - 2009

Durham University

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

Atividades

10/2004
Ensino, Computer Science, Nível: Graduação,Disciplinas ministradas, Multi-Agent Systems (submodule of Advanced Artificial Intelligence)
10/2004
Extensão universitária , St Chads College.,Atividade de extensão realizada, Tutor.
07/2004
Pesquisa e desenvolvimento, Department of Computer Science.,Linhas de pesquisa

2002 - 2004

University of Liverpool

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.,Linhas de pesquisa
10/2003 - 04/2004
Ensino, Flexible Degrees, Nível: Graduação,Disciplinas ministradas, Introduction to Artificial Intelligence