Curriculum Vitae
Rafael Rodrigues Testa
Identificação
Identificação pessoal
- Nome completo
- Rafael Rodrigues Testa
- Género
- Masculino
Nomes de citação
- Testa, Rafael
- Testa, R.
- Testa, R. R.
- Testa, Rafael Rodrigues
Identificadores de autor
- Ciência ID
- CC1F-4FC2-CBD7
- ORCID iD
- 0000-0002-7052-1376
- Google Scholar ID
- fApyVAUAAAAJ&hl
Websites
- https://rafaeltesta.com/ (Profissional)
Domínios de atuação
- Humanidades - Filosofia, Ética e Religião - Filosofia
- Ciências Exatas - Matemática - Matemática Aplicada
- Ciências Exatas - Ciências da Computação e da Informação
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
| Espanhol; Castelhano | Utilizador independente (B2) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador proficiente (C1) | Utilizador independente (B1) |
| Francês | Utilizador elementar (A2) | Utilizador independente (B1) | Utilizador elementar (A1) | Utilizador independente (B1) | Utilizador elementar (A1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2014/11/18
Concluído
|
Philosophy (Doctor of Philosophy)
Universidade Estadual de Campinas, Brasil
"Revisão de Crenças Paraconsistente baseada em um operador formal de consistência" (TESE/DISSERTAÇÃO)
|
|
|
2008/12/18
Concluído
|
Philosophy (Master)
Universidade Estadual de Campinas, Brasil
"Dilemas Deônticos: uma abordagem baseada em relações de preferência." (TESE/DISSERTAÇÃO)
|
|
|
2006/01/20
Concluído
|
Philosophy (Bachelor)
Universidade Estadual de Campinas, Brasil
"Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas" (TESE/DISSERTAÇÃO)
|
Percurso profissional
Cargos e Funções
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2020/09 - Atual | Collaborating Researcher | Universidade Estadual de Campinas, Brasil |
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2015/09 - Atual | Research Associate | University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2021/10 - 2022/12 | Postdoctoral Research Fellow | Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brasil |
| 2015/01/01 - 2018/12/31 | Postdoctoral Research Fellow | University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2017/09/01 - 2018/08/31 | Postdoctoral Research Fellow | University of Madeira - Faculty of Exact Sciences and Engineering, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2022/12/20 - 2024/12/31 | LogLibras - Advancing a didactic material of Logic for deaf students in a bilingual and intercultural perspective
Investigador responsável
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Em curso
|
| 2021/10 - 2022/09 | Reasoning with inconsistencies: advances in Formal Epistemology
E-26/202.367/2021
Bolseiro de Pós-Doutoramento
Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brasil
|
Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro
Em curso
|
| 2020/10 - 2021/09 | Inteligência Artificial: da Lógica às Humanidades
CNPq/MCTIC Nº 03/2020
Bolseiro de Integração na Investigação
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico Ministério da Ciência Tecnologia Inovações e Comunicações Concluído
|
| 2015/01/01 - 2018/12/31 | Advances and new perspectives on Paraconsistent Belief Revision
2014/22119-2
Bolseiro de Pós-Doutoramento
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
|
| 2017/09/01 - 2018/08/31 | Paraconsistent Belief Revision: constructive models and new operations
2017/10836-0
Bolseiro de Pós-Doutoramento
Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
|
Fundação de Amparo à Pesquisa do Estado de São Paulo |
| 2010/11/01 - 2016/10/31 | Logical consequence, reasoning and computation - LOGCONS
Bolseiro de Integração na Investigação
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
|
| 2016/05 - 2016/05 | First Campinas Workshop in Contemporary Epistemology
2016/0141-5
Outra
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
|
| 2010/02/01 - 2014/01/31 | Paraconsistent Belief Revision based on a formal consistency operator
Bolseiro de Doutoramento
University of Campinas - Institute of Philosophy and Human Sciences, Brasil
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico |
| 2005/04/01 - 2010/03/31 | Logical Consequence and Combinations of Logics: Fundaments and Efficient Applications - ConsRel
Bolseiro de Integração na Investigação
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
|
| 2006/08/01 - 2008/07/31 | Deontic dilemmas: an apporach based on preference relations
Bolseiro de Mestrado
University of Campinas - Institute of Philosophy and Human Sciences, Brasil
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2020/06/01 - 2021/01/01 | "Foca no ENEM" radio education
Education Project Coordinator
MOV8, Brasil
|
Concluído
|
Outro
| Designação | Financiadores | |
|---|---|---|
| 2022/06/01 - Atual | IFSP-FILOLIBRAS
2020 VTP_304
Investigador
IFSP-Votuporanga, Brasil
|
Em curso
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Edição de livro |
|
| Entrada de enciclopédia |
|
| Livro |
|
| Recurso online |
|
| Relatório |
|
| Resumo em conferência |
|
| Tese / Dissertação |
|
Outros
| Outra produção |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2023/11/24 | Projeto LogLibras – Pedagogia Visual no Ensino de Lógica para Surdos | I Seminário de Pesquisadores em Acessibilidade na Unicamp (Ciclo Anticapacitista da Unicamp)
Unicamp (Campinas, Brasil)
|
| 2022/04/07 | Belief Revision in a Nutshell | 7th World Congress and School on Universal Logic - Belief Revision Workshop
Orthodox Academy of Crete (Crete, Grécia)
|
| 2022/02/07 | Filosofia para quê? Aplicações e desafios da Filosofia na contemporaneidade | Aula inaugural do Departamento de Filosofia
Faculdade João Paulo II (Marília)
|
| 2021/05/14 | Sociedade da informação, ética informacional e divisão digital | Café Filosófico
Claretiano
|
| 2020/09/30 | Knowledge Representation and Reasoning: applications and motivations to Paraconsistent Logics | GTAL-CLE Seminars
CLE-Unicamp (Campinas, Brasil)
|
| 2020/09/30 | Representação do Conhecimento e Raciocínio: aplicações e motivações às lógicas paraconsistentes | GTSL/CLE Seminars
CLE-Unicamp
|
| 2020/06/15 | Inteligência Artificial e seus dilemas lógico-filosóficos | Webinar FAJOPA
FAJOPA (Brasil)
|
| 2018/06 | On Paraconsistent Belief Change | First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Technische Universität Dresden (Dresden, Alemanha)
|
| 2018 | On Theory Change: consistency and the dynamic of belief sets | GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
|
| 2017 | Some remarks on Paraconsistent Belief Revision | Data and knowledge engineering seminars
Cardiff University - School of Computer Science and Informatics (Cardiff - Wales, Reino Unido)
|
| 2016/04 | Advances and new perspectives on paraconsistent belief revision | 3rd Workshop CLE and Buenos Aires Logic Group
Institute for Research in Philosophy of the Argentinean Society of Philosophical Analysis (IIF-SADAF) (Buenos Aires, Argentina)
|
| 2015/06 | Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision | 5th World Congress on Universal Logic
Istanbul Üniversitesi (Istambul, Turquia)
|
| 2015/02 | On Paraconsistent Belief Revision | 2nd Madeira Workshop on Belief Revision and Argumentation
Universidade da Madeira (Funchal, Portugal)
|
| 2014 | A system of Belief Revision based on a formal consistency operator | GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
|
| 2013 | Revisão de Crenças em Lógicas Paraconsistentes: Novas Perspectivas à justificativa coerentista? | GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
|
| 2012 | Aspectos de Revisão de Crenças em LFIs | XV Encontro Nacional da ANPOF
Universidade Federal do Paraná (Curitiba, Brasil)
|
| 2012 | Lógica e Pensamento Critico | Curso Superior de Inteligência Estratégica
Escola Superior de Guerra – ESG (Rio de Janeiro, Brasil)
|
| 2012 | Um olhar lógico e filosófico à obra de Alan Turing | Centenário Alan Turing do Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas
Instituto Federal Sul de Minas (Muzambinho, Brasil)
|
| 2011 | External Revision in Belief Sets via Paraconsistency | 12th Asian Logic Conference
Victoria University of Wellington (Wellington, Nova Zelândia)
|
| 2010 | Sobre o conceito de racionalidade na teoria da escolha: preferências, consistência e paraconsistência | XIV Encontro Nacional da ANPOF
(Águas de Lindóia, Brasil)
|
| 2007 | Sobre a Lógica de Revisão de Creças: a (não) similaridade dos diferentes métodos para construir contrações de teorias | V Simpósio Internacional Principia
Universidade Federal de Santa Catarina (Florianópolis, Brasil)
|
| 2006 | Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas | XII Encontro Nacional da ANPOF
(Bahia, Brasil)
|
Orientação
| Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
|---|---|---|
| 2016/09 - 2017/07 | Belief Revision in Science: Informational Economy and Paraconsistency
Orientador de Daniel Credico de Coimbra
|
Philosophy, Logic (Iniciação científica)
University of Campinas - Institute of Philosophy and Human Sciences, Brasil
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2022/04/01 - 2022/04/11 | Belief Revision Workshop at 7th World Congress and School on Universal Logic (2022/04/07 - 2022/04/07)
Oficina (workshop) (Presidente da Comissão Organizadora)
|
Orthodox Academy of Crete, Grécia |
| 2018/12/10 - 2018/12/11 | Workshop CLE: Indução, probabilidade e seus dilemas, at CLE-Unicamp (2018/12/10 - 2018/12/11)
Oficina (workshop) (Coorganizador)
|
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2017/07/19 - 2017/07/22 | 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science'17), at CLE-Unicamp. (2017/07/19 - 2017/07/22)
Congresso (Coorganizador)
|
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2016/09/12 - 2016/09/15 | Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning, at School of Civil Engineering, Architecture
and Urban Design - Unicamp. (2016/09/12 - 2016/09/15)
Congresso (Membro da Comissão Organizadora)
|
Sociedade Brasileira de Lógica, Brasil Polska Akademia Nauk, Polónia |
| 2016/05/23 - 2016/05/27 | First Campinas Workshop in Contemporary Epistemology (EpiC'16), at CLE-Unicamp. (2016/05/23 - 2016/05/27)
Oficina (workshop) (Presidente da Comissão Organizadora)
|
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2015/03/31 - 2015/04/03 | 2nd Workshop CLE and Buenos Aires Logic Group (CLE-BALogic'15), at CLE-Unicamp. (2015/03/31 - 2015/04/03)
Oficina (workshop) (Membro da Comissão Organizadora)
|
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil University of Buenos Aires and CONICET - Buenos Aires Logic Group, Argentina |
| 2013/03/24 - 2013/03/27 | X Seminário Nacional de História da Matemática (National seminar for the History of Mathematics) (SNHM'13), at Unicamp. (2013/03/24 - 2013/03/27)
Congresso (Membro da Comissão Organizadora)
|
Sociedade Brasileira de História da Matemática, Brasil University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2013/03/21 - 2013/03/23 | 1st CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science'13), at Unicamp. (2013/03/21 - 2013/03/23)
Congresso (Membro da Comissão Organizadora)
|
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2011/05/09 - 2011/05/13 | XVI EBL - Encontro Brasileiro de Lógica (EBL'11), at National Laboratory for Scientifc Computing, Petrópolis, Rio de Janeiro,
Brazil. (2011/05/09 - 2011/05/13)
Congresso (Membro da Comissão Organizadora)
|
Sociedade Brasileira de Lógica, Brasil |
| 2011/05/07 - 2011/05/08 | Logic School of EBL, at Institute for Mathematics, Fluminense Federal University, Niterói, RJ-Brazil. (2011/05/07 - 2011/05/08)
Oficina (workshop) (Membro da Comissão Organizadora)
|
Sociedade Brasileira de Lógica, Brasil |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2022/04/01 - 2022/04/11 | 7th World Congress and School on Universal Logic
Congresso
|
7th World Congress and School on Universal Logic
Orthodox Academy of Crete, Grécia
|
| 2020/10/20 - 2020/10/22 | 1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Oficina (workshop)
|
1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Universidade Federal do Maranhão, Brasil
|
| 2020/09/12 - 2020/09/14 | 18th International Workshop on Non-Monotonic Reasoning
Oficina (workshop)
|
18th International Workshop on Non-Monotonic Reasoning
Principles of Knowledge Representation and Reasoning, Estados Unidos
|
| 2018/12/03 - 2018/12/06 | The goal of this workshop is to foster collaboration between researchers in Germany and São Paulo working on ontology design
and maintenance, uncertainty representation, and inconsistency handling. Venue: São Paulo.
Oficina (workshop)
|
Second Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação, Brasil
Technische Universität Dresden, Alemanha |
| 2018/06/26 - 2018/06/29 | The goal of this workshop is to foster collaboration between researchers in Germany and São Paulo working on ontology design
and maintenance, uncertainty representation, and inconsistency handling. Venue: Dresden.
Oficina (workshop)
|
First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Universidade de São Paulo Instituto de Matemática e Estatística, Brasil
Technische Universität Dresden, Alemanha |
| 2017/11/16 - 2017/11/20 | Workshop on the applications of Belief Revision and Argumentation Theories.
Oficina (workshop)
|
Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON'17) |
| 2017/07/19 - 2017/07/22 | "CLE4Science-Colloquia" promotes regular meetings enabling collaboration among researchers interested in Philosophy and History
of Formal Sciences.
Conferência
|
2nd CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
| 2016/09/12 - 2016/09/15 | The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together
scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly
to what Studia Logica is today and to what CLE has achieved in its four decades of existence.
Congresso
|
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE
Sociedade Brasileira de Lógica, Brasil
Polska Akademia Nauk, Polónia University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil |
| 2016/05/23 - 2016/05/27 | This event is intended to contribute to discussions on contemporary philosophy by offering an exchange of ideas between renowned
researchers in form of a scientific meeting and workshops.
Oficina (workshop)
|
First Campinas Workshop in Contemporary Epistemology
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
Group for Analytic Metaphysics and Epistemology, Brasil |
| 2016/04/20 - 2016/04/22 | Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
Oficina (workshop)
|
3rd CLE-BA LOGIC
University of Buenos Aires and CONICET - Buenos Aires Logic Group, Argentina
|
| 2015/06/20 - 2015/06/30 | This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The
congress follows with invited and contributed talks.
Congresso
|
5th World Congress and School on Universal Logic
Istanbul Üniversitesi - Institute of Logic, Turquia
|
| 2015/03/31 - 2015/04/03 | Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
Oficina (workshop)
|
2nd Workshop CLE and Buenos Aires Logic Group
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
| 2015/02/09 - 2015/02/13 | Workshop on the applications of Belief Revision and Argumentation Theories.
Oficina (workshop)
|
2nd Madeira Workshop on Belief Revision and Argumentation |
| 2013/03/21 - 2013/03/23 | "CLE4Science-Colloquia" promotes regular meetings enabling collaboration among researchers interested in Philosophy and History
of Formal Sciences.
Conferência
|
1st CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
|
| 2013/03/09 - 2013/03/13 | O SNHM prioriza a divulgação de estudos e pesquisas sobre História da Matemática a professores dos vários níveis educacionais.
Congresso
|
X Seminário Nacional de História da Matemática (National seminar for the History of Mathematics)
Sociedade Brasileira de História da Matemática, Brasil
|
| 2012 - 2012 | Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congresso
|
XV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil
|
| 2011/05/09 - 2011/05/13 | The Brazilian Logic Conference (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since
1979 and congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American
community to join together and engage in a discussion about the state-of-art of their subject.
Congresso
|
XVI Brazilian Logic Conference
Sociedade Brasileira de Lógica, Brasil
|
| 2011/05/07 - 2011/05/08 | The Logic School is a parallel event to the EBL aimed (mainly) at undergraduate and graduate students. It offers tutorials
on different logical subject matters by world renowned experts.
Oficina (workshop)
|
Logic School 2011
Sociedade Brasileira de Lógica, Brasil
|
| 2011 - 2011 | The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments
in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic.
Congresso
|
12th Asian Logic Conference
Victoria University of Wellington, Nova Zelândia
|
| 2010 - 2010 | Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Conferência
|
XIV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil
|
| 2007 - 2007 | Symposium organized by NEL – Logic and Epistemology Research Group and the editors of Principia – an International Journal
of Epistemology, belonging to Federal University of Santa Catarina.
Simpósio
|
V Simpósio Internacional Principia
Universidade Federal de Santa Catarina, Brasil
|
| 2006 - 2006 | Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congresso
|
XII Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil
|
Júri de grau académico
| Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
|---|---|---|
| 2017/12/02 | Labelled natural deduction for modal and multimodal logics
Arguente
|
Dante Cardoso Pinto de Almeida (Doutoramento)
Universidade Estadual de Campinas, Brasil
|
| 2017/11/20 | Advances on Belief Base Dynamics
Arguente
|
Marco Paulo Ferreirinha Garapa (Doutoramento)
Universidade da Madeira, Portugal
|
Arbitragem científica em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2020 - Atual | Contemplação (2179-8079) |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2016/07 - 2016/11 | Special Topics on Logic: Introduction to Modal Logic | Philosophy (Postgraduate Certificate) | University of Campinas - Institute of Philosophy and Human Sciences, Brasil |
| 2015/07 - 2015/11 | Computability | Philosophy (Postgraduate Certificate) | University of Campinas - Institute of Philosophy and Human Sciences, Brasil |
| 2010/03 - 2010/06 | Critical Thinking | (Postgraduate Certificate) | Brazilian College of Saint Benedict, Brasil |
| 2009 - 2009 | Fundamentals of Mathematical Logic | Information System (Bachelor) | Universidade Federal de São Carlos, Brasil |
| 2007 - 2007 | Introduction to Mathematical Logic | Information System (Bachelor) | Universidade Federal de São Carlos, Brasil |
Membro de associação
| Nome da associação | Tipo de participação | |
|---|---|---|
| 2016/05/23 - Atual | Group for Analytic Metaphysics and Epistemology (GAME) | Founding member |
| 2009 - Atual | Sociedade Brasileira de Lógica | member |
| 2005 - Atual | Grupo de Lógica Teórica e Aplicada (GLTA), at CLE-Unicamp, Brazil | member |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2022/08/30 - 2022/09/02 | PC Member of 21st EPIA Conference on Artificial Intelligence (EPIA2022), KRR area.
Membro
|
Universidade de Lisboa Instituto Superior Técnico, Portugal |
| 2021 - 2021 | PC member of 20th EPIA Conference on Artificial Intelligence (EPIA2021)
Membro
|
|
| 2020 - 2020 | PC member of IJCAI-PRICAI 2020 - 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International
Conference on Artificial Intelligence. July 11-17, Yokohama, Japan.
Membro
|
|
| 2019/09/18 - 2019/09/20 | PC member of 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU). Belgrade
- Serbia
Membro
|
|
| 2019/09/03 - 2019/09/06 | PC member of 19th EPIA Conference on Artificial Intelligence, Vila Real - Portugal
Membro
|
|
| 2019 - 2019 | PC member of 15th International Workshop on Defeasible and Ampliative Reasoning (DARe), co-located with LPNMR 2019. Philadelphia,
PA - USA
Membro
|
|
| 2019 - 2019 | PC member of 28th International Joint Conference on Artificial Intelligence (IJCAI). Macau-China 2019.
Membro
|
Outro júri / avaliação
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2020 - 2020 | Ad hoc Reviewer - Journal of Logic and Computation (Online ISSN 1465-363X Print ISSN 0955-792X) | |
| 2018 - 2018 | Ad hoc Reviewer - Manuscrito (ISSN 0100-6045) | |
| 2018 - 2018 | Ad hoc Reviewer - Artificial Intelligence and Law (ISSN: 0924-8463) | |
| 2017 - 2017 | Ad hoc Reviewer - Journal of Applied Non-Classical Logics (ISSN 1166-3081) | |
| 2017 - 2017 | Reviewer - Logique et Analyse (ISSN: 2295-5836) | |
| 2017 - 2017 | Ad hoc Reviewer - KÍNESIS (ISSN 1984-8900) | |
| 2014/09/22 - 2014/09/24 | Congress of Scientific Initiation at Unicamp 2014 | Universidade Estadual de Campinas, Brasil |
| 2011/09/11 - 2011/09/13 | Congress of Scientific Initiation at Unicamp 2011 | Universidade Estadual de Campinas, Brasil |
| 2010/09/12 - 2010/09/14 | Congress of Scientific Initiation at Unicamp 2010 | Universidade Estadual de Campinas, Brasil |