Joao Marcos de Almeida

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

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


João Marcos atua na área de Lógica, é doutor em Matemática pelo Instituto Superior Técnico da Universidade Técnica de Lisboa e em Filosofia pela Universidade Estadual de Campinas. Atualmente é professor associado do Departamento de Informática e Matemática Aplicada da UFRN (Brasil), e parceiro do Security and Quantum Information Group (SQIG) / IT (Portugal). (Texto informado pelo autor)


Identificação


Nome
Joao Marcos de Almeida
Nome em citações bibliográficas
MARCOS, J.;Marcos, João;MARCOS, JOAO

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Campus Universitario
Lagoa Nova
59072970 - Natal, RN - Brasil
Telefone: (84) 32153814
Ramal: 220
URL da Homepage: http://sequiturquodlibet.googlepages.com


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


2003 - 2005
Doutorado em Matemática.
Universidade Técnica de Lisboa, UTL, Portugal.
Título: Logics of Formal Inconsistency, Ano de obtenção: 2005.
Orientador: Carlos Caleiro.
Bolsista do(a): Fundação Para a Ciência e a Tecnologia, FCT, Portugal.
Palavras-chave: Lógica - Filosofia; Logica matemática não-clássica; Semânticas (Filosofia); Modalidade (Lógica); Inferência (Lógica).
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Educação; Outros Setores.
1999 - 2005
Doutorado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Logics of Formal Inconsistency, Ano de obtenção: 2005.
Orientador: Walter Alexandre Carnielli.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lógica - Filosofia; Logica matemática não-clássica; Semânticas (Filosofia); Modalidade (Lógica); Inferência (Lógica).
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Educação; Outros Setores.
1997 - 1999
Mestrado em Lógica e Filosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Semânticas de Traduções Possíveis,Ano de Obtenção: 2000.
Orientador: Walter Alexandre Carnielli.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Linguagens formais - Semântica; Lógica matemática não-clássica; Lógica - Filosofia.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Setores de atividade: Educação; Outros Setores.
1992 - 1996
Graduação em Engenharia Civil.
Universidade Federal de Minas Gerais, UFMG, Brasil.


Pós-doutorado


2017
Pós-Doutorado.
Ruhr-Universität Bochum, RUB, Alemanha.
Bolsista do(a): Alexander von Humboldt, AVH, Alemanha.
Grande área: Ciências Humanas
2009 - 2010
Pós-Doutorado.
Vienna University of Technology, TUWien, Austria.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Formação Complementar


1995 - 1995
Análise na Reta. (Carga horária: 48h).
Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.


Atuação Profissional



Sociedade Brasileira de Lógica, SBL, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Sócio, Enquadramento Funcional: 2o. Vice-Presidente


ACM Special Interest Group on Logic and Computation, ACM SIGLOG, Estados Unidos.
Vínculo institucional

2014 - Atual
Vínculo: Sócio, Enquadramento Funcional: Membro do Education Committee


Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador associado


Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: , Enquadramento Funcional: Professor associado, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2007 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Lógica I
Lógica II
8/2006 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Aplicada à Computação
Algoritmos e Técnicas de Programação
Lógica Computacional: demonstração assistida e semi-automática de teoremas
08/2006 - Atual
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Teoria e Inteligência Computacional
Lógica
Lógicas Não-Clássicas
Seminários em Fundamentos da Computação
Seminário em Teoria e Inteligência Computacional
2/2006 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Linguagem de Programação
Lógica Aplicada à Computação
Lógicas Não-Clássicas
Sistemas de Reescrita
Tópicos Especiais em Computação
Programação Funcional
01/2006 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.


Instituto Superior Técnico da UTL, IST, Portugal.
Vínculo institucional

2005 - Atual
Vínculo: Membro Grupo de Investigação, Enquadramento Funcional: , Carga horária: 0
Outras informações
Full member of the Center for Logic and Computation (CLC) http://clc.math.ist.utl.pt/membership.html

Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0
Outras informações
Collaborator of the Center for Logic and Computation (CLC)

Vínculo institucional

2003 - 2005
Vínculo: Estudante de Doutorado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.
Outras informações
Orientador: Carlos Caleiro (IST / UTL). Co-orientador: Walter Carnielli (Unicamp - Brasil) Com a bolsa SFRH / BD / 8825 / 2002 da FCT, Portugal, durante todo o período.

Atividades

3/2005 - Atual
Pesquisa e desenvolvimento , Centro de Lógica e Computação, .

3/2003 - 2/2005
Pesquisa e desenvolvimento , Departamento de Matemática, Centro de Lógica e Computação.

9/2003 - 8/2004
Ensino, Engenharia do Ambiente, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Engenharia Biológica, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Engenharia Geológica e Mineira, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Engenharia de Materiais, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Engenharia Química, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Química, Nível: Graduação

Disciplinas ministradas
Computação e Programação
9/2003 - 8/2004
Ensino, Matemática Aplicada e Computação, Nível: Graduação

Disciplinas ministradas
Lógica Computacional
9/2003 - 8/2004
Ensino, Ciências Informáticas, Nível: Graduação

Disciplinas ministradas
Lógica Computacional

Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2005 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador associado, Carga horária: 0
Outras informações
Projeto Temático Fapesp: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications http://www.bv.fapesp.br/en/auxilios/1173/logical-consequence-and-combinations-of-logics-fundaments-and-efficient-applications/

Vínculo institucional

1999 - 2005
Vínculo: Estudante de doutorado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.
Outras informações
Orientador: Walter Alexandre Carnielli (Unicamp). Co-orientador: Carlos Caleiro (IST / UTL - Portugal) Com bolsa da CAPES entre 03/1999 e 02/2001. Com bolsa Dehousse (Bélgica) entre 03/2001 e 02/2002. Com bolsa do CNPq entre 04/2002 e 02/2003. Com bolsa da FCT (Portugal) entre 03/2003 e 02/2005.

Vínculo institucional

1997 - 1999
Vínculo: Estudante de mestrado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.
Outras informações
Orientador: Walter Alexandre Carnielli. Com bolsa do CNPq durante todo o período.

Atividades

3/1999 - 2/2005
Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.

Linhas de pesquisa
Filosofia
3/1997 - 2/1999
Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.


Ghent University, UGENT, Bélgica.
Vínculo institucional

2001 - 2002
Vínculo: Outro, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Orientador: Diderik Batens. Com uma bolsa de doutoramento Dehousse, RUG, Bélgica. Minha página pessoal no Centre for Logic and Philosophy of Science, RUG, Ghent, Bélgica: http://logica.rug.ac.be/centrum/members/joao.html

Atividades

3/2001 - 2/2002
Pesquisa e desenvolvimento , Centre For Logic And Philosophy Of Science, Philosophy And Moral Science Department.


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

1994 - 1996
Vínculo: Outro, Enquadramento Funcional: Estudante de Iniciação Científica, Carga horária: 20
Outras informações
Orientador: Armando Gil Magalhães Neves. Com bolsa do CNPq durante todo o período.

Atividades

8/1994 - 12/1996
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Matemática.

Linhas de pesquisa
Física Matemática

Centro Universitário do Leste de Minas Gerais, UNILESTEMG, Brasil.
Vínculo institucional

2003 - 2005
Vínculo: Celetista, Enquadramento Funcional: Professor assistente, Carga horária: 5

Atividades

3/2003 - 12/2005
Outras atividades técnico-científicas , Centro de Ciências Exatas, Centro de Ciências Exatas.

Atividade realizada
Consultoria didática.


Linhas de pesquisa


1.
Lógica e Filosofia da Ciência
2.
Física Matemática
3.
Lógica e Filosofia da Ciência
4.
Filosofia
5.
QuantLog: Logic in Quantum Computation and Information
6.
Lógica dedutiva abstrata e aplicações
7.
Combinações entre lógicas
8.
Fundamentos da Computação

Objetivo: Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações (LoLITA).
Grande área: Ciências Exatas e da Terra
Setores de atividade: Educação.
Palavras-chave: Lógica.
9.
Lógica e Filosofia Formal


Projetos de pesquisa


2014 - Atual
Teoria dos Conjuntos Fuzzy e Algumas Extensões / PVE-2013

Projeto certificado pelo(a) coordenador(a) Benjamín René Callejas Bedregal em 12/08/2014.
Descrição: O principal objetivo deste projeto e contribuir na consolidação de uma base teórica de diversas extensões da teoria dos conjuntos fuzzy como por exemplo Lógica fuzzy intervalo-valorada,Lógica fuzzy Intuicionista, Lógica Fuzzy Intuicionista Intervalo valorada, Lógica Fuzzy valorada em reticulados limitados, Lógica fuzzy hesitante, Lógica fuzzy n-dimensional, etc. assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica fuzzy [0;1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma dessas extensões fuzzy. Um segundo objetivo, é também propor um novo tipo de extensão de lógica fuzzy, a lógica fuzzy intervalar-modal, que consiga capturar aspectos de incertezas nos graus de pertinências não tratados pelas outras extensões. Algumas metas que se esperam alcançar com este projeto: 1. Uma maior integração científica entre os membros do grupo; 2. Cooperação com os grupos dos quais participam os colaboradores deste projeto; 3. Consolidar o grupo, tanto no cenário nacional como internacional, na área de lógica fuzzy, principalmente no que diz respeito a extensões da lógica fuzzy; 4. Aumento significativo da produção científica do grupo; e 5. Melhorar a qualidade das pesquisas dos alunos de doutorado do grupo ao cooperar em seus trabalhos com bons pesquisadores de outras instituições..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (5) .
Integrantes: Joao Marcos de Almeida - Integrante / Benjamín René Callejas Bedregal - Coordenador / Regivan Hugo Nunes Santiago - Integrante / Renata Hax Sander Reiser - Integrante / Javier Fernandez - Integrante / Adrião Duarte Dória Neto - Integrante / Graçaliz Pereira Dimuro - Integrante / Rogério Rodrigues de Vargas - Integrante / Glad Deschrijver - Integrante / Gleb Beliakov - Integrante / Humberto Bustince Sola - Integrante / Tomasa Calvo - Integrante / Radko Mesiar - Integrante / Michal Backzynski - Integrante / Vicenç Torra - Integrante / Balasubramaniam Jayaram - Integrante / Marcus Pinto da Rocha Costa - Integrante / Fagner Lemos Santana - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2016
GeVe - Generalizações de Verofuncionalidade (Edital Universal CNPq No 14/2013 faixa C)
Descrição: O _Princípio de Composicionalidade do Significado_ (PCS) para linguagens formais, de inspiração fregeana, pode ser compreendido como asseverando que o significado de uma expressão composta é analisável deterministicamente (e, com frequência, recursivamente) a partir do significado de suas expressões constituintes, levando em consideração o modo pelo qual tais constituintes são combinadas de modo a formar a expressão composta. De um ponto de vista lógico, isto consiste na prescrição de uma restrição ---que pode ou não ser respeitada--- aos mecanismos internos que constroem e dão significado a um dado sistema formal. Nos domínios da semântica formal e da estrutura das derivações lógicas, o PCS costuma ser diretamente refletido por metapropriedades importantes como a _verofuncionalidade_ e a _analiticidade_, características de sistemas lógicos computacionalmente bem-comportados. O projeto *GeVe* é dedicado ao estudo de várias formas bem motivadas através das quais as propriedades e metapropriedades mais atraentes das lógicas verofuncionais podem ser alargadas de modo a cobrir terrenos lógicos mais amplos. A ubiquidade do uso das lógicas não-clássicas na formalização do raciocínio prático exige a formulação de teorias do significado e da composicionalidade mais flexíveis do que as usuais, teorias estas que permitam o estabelecimento de bases mais inclusivas para a compreensão de tais lógicas. Tais investigações pressupõem não apenas o desenvolvimento de arcabouços adequados desde as perspectivas da Teoria dos Modelos, da Teoria das Demonstrações e da Lógica Universal, mas também a construção de pontes sólidas entre estes campos de estudo, baseadas em diversas generalizações da noção de verofuncionalidade. Prevêem-se aplicações das lógicas verofuncionais neste sentido ampliado, em suas múltiplas versões, em diversas áreas da ciência da computação, da matemática, da filosofia e da linguística, onde a complexidade sempre crescente dos sistemas erigidos dá origem a novos e complicados desafios para a composicionalidade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) .
Integrantes: Joao Marcos de Almeida - Coordenador / Carlos Caleiro - Integrante / Jaime Ramos - Integrante / Jean Yves Béziau - Integrante / Regivan Hugo Nunes Santiago - Integrante / Elaine Gouvea Pimentel - Integrante / Luiz Carlos Pereira - Integrante / OLGUÍN, Claudio Andrés Callejas - Integrante / Marco Volpe - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante / Benjamín René Callejas Bedregal - Integrante / Adriano Dodó - Integrante / Flaulles Boone Bergamaschi - Integrante / Sanderson Molick Silva - Integrante / Hélida Salles Santos - Integrante / Vivek Nigam - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 2
2013 - 2015
Utilização do Ambiente Virtual de Aprendizagem *TryLogic* para o ensino de Lógica
Descrição: O projeto se propõe a aplicar ao ensino de Lógica uma metodologia que combina práticas de ensino à distância com atividades de ensino presencial. O foco principal é buscar oferecer assistência suplementar aos alunos da disciplina obrigatória de ?Lógica Aplicada à Computação?, um dos grandes gargalos dos cursos de Ciência da Computação e de Engenharia da Computação. A metodologia a ser desenvolvida e disponibilizada online também se aplicará em maior ou menor grau a disciplinas congêneres oferecidas na UFRN aos cursos de Engenharia de Software, BCT, Matemática, Estatística, Filosofia, Biblioteconomia, e o novo curso BTI que começa a partir do próximo ano com 240 alunos da área de Tecnologia da Informação. A intenção é levar às salas de aula o Ambiente Virtual de Aprendizagem (AVA) *TryLogic*, que está sendo continuamente desenvolvido em nosso laboratório de pesquisa, e proporcionar aos discentes a oportunidade de experimentar com diferentes ferramentas computacionais de apoio ao ensino de Lógica. Como o AVA estará disponível também fora de sala de aula para a interação com os docentes e para o cumprimento de atividades compulsórias relacionadas ao aprendizado, os alunos serão levados a passar mais tempo envolvidos com os tópicos da disciplina com a qual eles têm tido dificuldade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Joao Marcos de Almeida - Coordenador / Benjamín René Callejas Bedregal - Integrante / Regivan Hugo Nunes Santiago - Integrante / Patrick Cesar Alves Terrematte - Integrante.Financiador(es): Universidade Federal do Rio Grande do Norte - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 2
2012 - 2016
GeTFun: Generalizing Truth-Functionality
Descrição: A coordinated exchange programme for the investigation of compositional meaning in logic and applications.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) .
Integrantes: Joao Marcos de Almeida - Coordenador / Regivan Hugo Nunes Santiago - Integrante / Luiz Carlos Pereira - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Jean-Yves Béziau - Integrante / Carolina Blasio - Integrante / Carlos Caleiro - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Ori Lahav - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Jaime Ramos - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante.Financiador(es): Research Executive Agency - European Commission - Bolsa.
2012 - 2015
Fortalecimento do PPgSC/UFRN através da Criação de Uma Rede de Experimentação para Projetos de Desenvolvimento de Tecnologias em Software
Descrição: O objetivo principal desse projeto é fortalecer e consolidar o programa de Pós-Graduação em Sistemas e Computação (PPgSC) da Universidade Federal do Rio Grande do Norte (UFRN), atualmente com conceito 4 atribuído pela CAPES e com um curso de Doutorado cujas atividades se iniciaram em 2008. Esse fortalecimento acontecerá através da cooperação, no contexto de uma rede de experimentação, entre grupos de pesquisa do PPgSC/UFRN com grupos de excelência nas mesmas linhas de pesquisa em instituições consolidadas no Pais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (6) Doutorado: (10) .
Integrantes: Joao Marcos de Almeida - Integrante / David Boris Paul Deharbe - Integrante / Thais Vasconcelos Batista - Integrante / Jair Cavalcanti Leite - Integrante / Roberta de Souza Coelho - Integrante / Uirá Kulesza - Coordenador / Arndt von Staa - Integrante / Martin Alejandro Musicante - Integrante / Anamaria Martins Moreira - Integrante / Marcel Vinícius Medeiros Oliveira - Integrante / Paulo Henrique Monteiro Borba - Integrante / Elizabeth Ferreira Gouvêa Goldbarg - Integrante / Marco César Goldbarg - Integrante / Edward Hermann Haeusler - Integrante / Eduardo Henrique da Silva Aranha - Integrante / André Maurício Cunha Campos - Integrante / Gibeon Soares de Aquino Júnior - Integrante / Leonardo Cunha de Miranda - Integrante / Lyrene Fernandes da Silva - Integrante / Márcia Jacyntha Nunes Rodrigues Lucena - Integrante / Nelio Alessandro Azevedo Cacho - Integrante / Umberto Souza da Costa - Integrante / Plácido Antonio de Souza Neto - Integrante / Evando Carlos Pessini - Integrante / Daniel Aguiar da Silva Carvalho - Integrante / Handerson Bezerra Medeiros - Integrante / Fellipe Araújo Aleixo - Integrante / Marília Aranha Freire - Integrante / Felipe Alves Pereira Pinto - Integrante / Demóstenes Santos de Sena - Integrante / Patrick Cesar Alves Terrematte - Integrante / Rodrigo Farias Herculano Mendes - Integrante / Sidney Soares Marcelino - Integrante / Matheus da Silva Menezes - Integrante / Silvia Maria Diniz Monteiro - Integrante / Camila Nascimento de Oliveira Taumaturgo - Integrante / Alessandro Fabrício Garcia - Integrante / Carlos José Pereira de Lucena - Integrante / Noemi de La Rocque Rodriguez - Integrante / Roberto Ierusalimschy - Integrante / Bruno Vieira Lopes - Integrante / Jefferson Santos - Integrante / Carla Taciana Lima Lourenco Silva Schuenemann - Integrante / Fernando José Castor de Lima Filho - Integrante / Jaelson Freire Brelaz de Castro - Integrante / Sérgio Castelo Branco Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2015
Fortalecimento do PPgSC/UFRN através da Criação de Uma Rede de Experimentação para Projetos de Desenvolvimento de Tecnologias em Software
Descrição: O objetivo principal desse projeto é fortalecer e consolidar o programa de Pós-Graduação em Sistemas e Computação (PPgSC) da Universidade Federal do Rio Grande do Norte (UFRN), atualmente com conceito 4 atribuído pela CAPES e com um curso de Doutorado cujas atividades se iniciaram em 2008. Esse fortalecimento acontecerá através da cooperação, no contexto de uma rede de experimentação, entre grupos de pesquisa do PPgSC/UFRN com grupos de excelência nas mesmas linhas de pesquisa em instituições consolidadas no Pais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (6) Doutorado: (10) .
Integrantes: Joao Marcos de Almeida - Integrante / David Boris Paul Deharbe - Integrante / Thais Vasconcelos Batista - Integrante / Jair Cavalcanti Leite - Integrante / Roberta de Souza Coelho - Integrante / Uirá Kulesza - Coordenador / Arndt von Staa - Integrante / Martin Alejandro Musicante - Integrante / Anamaria Martins Moreira - Integrante / Marcel Vinícius Medeiros Oliveira - Integrante / Paulo Henrique Monteiro Borba - Integrante / Elizabeth Ferreira Gouvêa Goldbarg - Integrante / Marco César Goldbarg - Integrante / Edward Hermann Haeusler - Integrante / Eduardo Henrique da Silva Aranha - Integrante / André Maurício Cunha Campos - Integrante / Gibeon Soares de Aquino Júnior - Integrante / Leonardo Cunha de Miranda - Integrante / Lyrene Fernandes da Silva - Integrante / Márcia Jacyntha Nunes Rodrigues Lucena - Integrante / Nelio Alessandro Azevedo Cacho - Integrante / Umberto Souza da Costa - Integrante / Plácido Antonio de Souza Neto - Integrante / Evando Carlos Pessini - Integrante / Daniel Aguiar da Silva Carvalho - Integrante / Handerson Bezerra Medeiros - Integrante / Fellipe Araújo Aleixo - Integrante / Marília Aranha Freire - Integrante / Felipe Alves Pereira Pinto - Integrante / Demóstenes Santos de Sena - Integrante / Patrick Cesar Alves Terrematte - Integrante / Rodrigo Farias Herculano Mendes - Integrante / Sidney Soares Marcelino - Integrante / Matheus da Silva Menezes - Integrante / Silvia Maria Diniz Monteiro - Integrante / Camila Nascimento de Oliveira Taumaturgo - Integrante / Alessandro Fabrício Garcia - Integrante / Carlos José Pereira de Lucena - Integrante / Noemi de La Rocque Rodriguez - Integrante / Roberto Ierusalimschy - Integrante / Bruno Vieira Lopes - Integrante / Jefferson Santos - Integrante / Carla Taciana Lima Lourenco Silva Schuenemann - Integrante / Fernando José Castor de Lima Filho - Integrante / Jaelson Freire Brelaz de Castro - Integrante / Sérgio Castelo Branco Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2013
CONDE - Conjuntos Difusos Estendidos (Edital Universal CNPq No 14/2011 faixa B)
Descrição: A teoria dos conjuntos difusos surge em 1965 com o trabalho de Lotfi Asker Zadeh quem propõe relaxar a teoria usual de conjuntos por considerar infinitos níveis ou graus de pertinência de um elemento ao conjunto para assim incluir na teoria de conjuntos as incertezas e vaguezas que se têm na hora de se definir um conjunto. A teoria dos conjuntos difusos, tem-se mostrado uma ferramenta muito útil que, pela sua própria natureza, é adequada para lidar com imprecisões, ignorância e vagueza presentes em problemas do mundo real. No entanto, a definição de conjunto difuso não permite levar em consideração completamente esta vagueza, pois impõe que seja dado um valor numérico pertencente ao intervalo [0,1] para descrever o grau com o qual um elemento do universo pertence a um determinado conjunto, o qual pode não ser simples de se fazer e, como quem determina esse valor é um ``especialista'', o valor provavelmente seria diferente se mudarmos de especialista ou mesmo mantendo o especialista pedirmos para fazer sua avaliação um tempo depois. Ou seja, esse valor exato não consegue encapsular as diferencias de avaliações de diferentes especialistas nem as hesitações que tem um especialista em sua avaliação. Assim, parece razoável considerar formas alternativas de proporcionar a informação que não requeiram de tal precisão, ou que, ao menos, levem em consideração, de alguma forma, a imprecisão ou vagueza inerente ao problema que está sendo abordado. Neste sentido, existem diversas propostas para abordar este problema as quais levam a diferentes extensões da teoria dos conjuntos difusos, por considerar graus de pertinências mais gerais. O principal objetivo deste projeto é contribuir na consolidação de uma base teórica das diversas extensões da teoria dos conjuntos difusos mencionadas acima, assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica difusa [0,1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) .
Integrantes: Joao Marcos de Almeida - Integrante / Benjamín René Callejas Bedregal - Coordenador / Regivan Hugo Nunes Santiago - Integrante / Renata Hax Sander Reiser - Integrante / Javier Fernandez - Integrante / Humberto Bustince Sola - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2014
Logical Consequence, Reasoning and Computation (LogCons 10/51038-0)
Descrição: A noção de consequência lógica, na tradição clássica, consiste na relação fundamental entre premissas e conclusão, válida em qualquer aspecto do raciocínio. Dessa forma, os fundamentos da noção de consequência lógica podem ser analisados em dois aspectos principais: do ponto de vista das demonstrações (ou provas) e sob o aspecto modelo-teórico. Há, contudo, muitos problemas relativos a ambas as abordagens, que investigamos no presente projeto. O ponto de vista das combinações de lógicas nos permite resolver diversos dos problemas presentes no ?estado da arte? das pesquisas em Lógica. Questões análogas às da combinação de semânticas e lógicas não-clássicas dão um novo e promissor impulso para a pesquisa sobre novos modelos de computação, como a computação e informação quântica, busca de algoritmos quânticos e criptografia quântica. O impacto das aplicações práticas de combinações de lógicas nos campos de prova de teoremas, IA, revisão de crenças, probabilidade e possibilidade, herdando do projeto anterior (ConsRel 2004\14107-2), será continuado a ser estudado. Isto justifica amplamente o interesse em se partir da perspectiva de combinar noções de consequência lógica para investigar temas de cunho probabilístico, computacionais e filosóficos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (8) Doutorado: (8) .
Integrantes: Joao Marcos de Almeida - Integrante / Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2009 - 2011
O que é uma bi-implicação difusa?
Descrição: Edital MCT/CNPq nº 70/2008 - Mestrado/Doutorado - Processo No. 553393/2009-0 R$ 28.800,00 (bolsa de Mestrado - GM).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Joao Marcos de Almeida - Coordenador / Claudio Andrés Callejas Olguín - Integrante.
2009 - Atual
Lógica, Linguagem, Informação, Teoria e Aplicações (LoLITA)
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Demonstração Assistida e Experimentação Computacional com Lógicas Não-Clássicas
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Lógica em Computação (LogComp)
Situação: Concluído; Natureza: Pesquisa.
2006 - 2009
Teoria e Inteligência Computacional (TIC)
Descrição: As exigências da nova geração de sistemas como interatividade, desempenho, adequabilidade, baixo risco, qualidade, corretude, validação, confiabilidade, dentre outros requer a integração das diversas tecnologias que suporta o desenvolvimento de sistemas híbridos. Em paralelo à aplicação de tecnologias de ponta, uma base teórica que dê suporte ao desenvolvimento desses sistemas é outra exigência fundamental. A proposta do grupo é desenvolver pesquisa, promovendo o aprofundando nessas tecnologias essenciais e a integração das mesmas, bem como o desenvolvimento da base teórica necessária para a aplicação das mesmas, afim de viabilizar o desenvolvimento desses sistemas híbridos. É nosso objetivo também a disseminação desse trabalho através da geração de tecnologia, da aplicação efetiva desta nos diversos setores produtivos da nossa sociedade, além da geração de multiplicadores através dos nossos bolsistas e alunos..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (22) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Joao Marcos de Almeida - Integrante / Aarão Lyra - Integrante / André Maurício Cunha Campos - Integrante / Anne Magaly de Paula Canuto - Coordenador / Benjamín René Callejas Bedregal - Integrante / Bruno Motta de Carvalho - Integrante / Marcílio Carlos Pereira de Souto - Integrante / Regivan Hugo Nunes Santiago - Integrante.
2005 - 2009
Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (ConsRel 2004\14107-2)
Descrição: A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais) mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semãnticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrínsecas envolvidas. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições internacionais de pesquisa. Início: 01 de abril de 2005.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (7) .
Integrantes: Joao Marcos de Almeida - Integrante / Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Carlos Caleiro - Integrante / Hércules de Araújo Feitosa - Integrante / Cristina Sernadas - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante / Amilcar Sernadas - Integrante / Luís Augusto Sbardellini - Integrante / Juliana Bueno - Integrante / Hugo Mariano - Integrante / Odilon Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean Yves Béziau - Integrante / Dov Gabbay - Integrante / Angela Weiss - Integrante / Flávio Correia da Silva - Integrante / Milton Augustinis de Castro - Integrante / Carlos Hifume - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Rodrigo de Alvarenga Freire - Integrante / Paulo Petrillo - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Guilherme Rabello - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade Estadual de Campinas - Cooperação / Universidade de São Paulo - Cooperação.
Número de produções C, T & A: 8
2005 - Atual
Lógica, Conhecimento e Ética
Descrição: As atividades do Grupo Lógica, Conhecimento e Ética, dão continuidade àquelas desenvolvidas no Grupo Cultura Científica e Produção do Conhecimento nas Ciências. Elas priorizam estudos sobre os modos de pensamento, as formas de conhecer e de representar o conhecimento, a construção de conceitos e a análise de vários conceitos no âmbito da Filosofia e da ciência. A postura epistemológica e metodológica resguarda o caráter coletivo do grupo e destaca as articulações necessárias à interdisciplinaridade e ao estabelecimento da relação entre os vários níveis de ensino. O grupo de pesquisadores com formação em áreas diversas viabiliza a pesquisa em áreas distintas do conhecimento sobre explicações de fenômenos e de problemas na ciência e na Filosofia e sobre seus fundamentos ontológicos, epistemológicos e lógicos. Os projetos se distribuem em três linhas de pesquisa que focalizam a Modelagem Conceitual com estudos de interesse para a filosofia e a ciência, e a Modelagem Lógica, que investiga sistemas lógicos clássico e não-clássicos, de discursos científicos ou filosóficos. Ao disseminar conhecimentos filosóficos/científicos relevantes numa perspectiva mais contemporânea, o grupo tem contribuído para a formação filosófico/científica da comunidade acadêmica e sociedade em geral..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Joao Marcos de Almeida - Integrante / Daniel Durante Pereira Alves - Integrante / Ângela Maria Paiva Cruz - Coordenador / Maria da Paz Nunes de Medeiros - Integrante / Cinara Maria Leite Nahra - Integrante / Glenn W Erickson - Integrante / Jaime Biella - Integrante / José Eduardo de Almeida Moura - Integrante / Juan Adolfo Bonaccini - Integrante / Ruben Guedes Nunes - Integrante / Sandra Sassetti Fernandes Erickson - Integrante / Sérgio Eduardo Lima da Silva - Integrante / Tassos Lycurgo Galvão Nunes - Integrante / Maria Cristina Dal Pian - Integrante.
Número de produções C, T & A: 7
2003 - 2005
Fibring Logics (FibLog)
Descrição: A project of CLC on fibring and other constructions for combining logics with applications to the development of mixed logics, such as logics of hybrid systems and logics of authentication..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Joao Marcos de Almeida - Integrante / Carlos Caleiro - Integrante / Amílcar Sernadas - Coordenador / Cristina Sernadas - Integrante / Jaime Ramos - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante.Financiador(es): Fundação Para a Ciência e a Tecnologia - Bolsa / European Fund For Regional Development - Auxílio financeiro.
Número de produções C, T & A: 32
2001 - 2002
Development of adaptive logics for the study of central topics in contemporary philosophy of science (GOA)
Descrição: The aim of the project is to develop (corrective, ampliative and combined) adaptive logics that enable one to formally approach forms of reasoning that play a central role in the philosophy of science. Attention will be focussed on five topics: scientific explanation, causality, discovery, functional analysis, and confirmation. We shall formally express proposals from the philosophy of science literature but also develop new proposals. An underlying aim is to restore formal precision in the philosophy of science..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Joao Marcos de Almeida - Integrante / Diderik Batens - Coordenador / Erik Weber - Integrante / Lieven Haesaert - Integrante.Financiador(es): Ghent University - Bolsa.
Número de produções C, T & A: 9
1999 - 2001
Logic Modelling of Applied Deduction Systems
Descrição: Projeto ProBrAl (Brasil-Alemanha) Capes / DAAD Incluindo *estágio científico* do presente pesquisador em Karlsruhe entre setembro de 2000 e Novembro de 2000, e em Janeiro de 2001, financiado pelo projeto. Em *colaboração* com o Institut für Logik, Komplexität und Deduktionssysteme (ILKD), Universität Karlsruhe (Alemanha). Descrição: O objetivo do projeto é a definição sistemática de uma teoria de combinações de cálculos lógicos com motivações pragmáticas. Tal teoria tornaria possível modularizar sistemas de dedução complexos, e projetar sistemas para aplicações especiais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (5) .
Integrantes: Joao Marcos de Almeida - Integrante / Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Daniel Durante Pereira Alves - Integrante / Peter Schmitt - Integrante / Reiner Hähnle - Integrante / Bernhard Beckert - Integrante / Maria Cláudia Cabrini Grácio - Integrante / Marcelo Rodrigues de Sousa - Integrante / Hércules de Araújo Feitosa - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Deutscher Akademischer Austausch Dienst - Auxílio financeiro.
Número de produções C, T & A: 5


Outros Projetos


2013 - Atual
Programa de Melhoria da Qualidade do Ensino
Descrição: Utilização do Ambiente Virtual de Aprendizagem *TryLogic* para o ensino de Lógica.
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Joao Marcos de Almeida - Coordenador / Benjamín René Callejas Bedregal - Integrante / Regivan Hugo Nunes Santiago - Integrante.Financiador(es): Universidade Federal do Rio Grande do Norte - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 1
2006 - 2009
Ensino de Lógica
Descrição: Projeto de Iniciação à Docência (Monitoria) para a disciplina de Lógica Aplicada à Computação Diagnóstico A disciplina DIM0050, ?Lógica Aplicada à Computação? faz parte da grade teórica mais fundamental e básica dos cursos de graduação em Ciência da Computação (turmas de 50 alunos, nas ênfases em ?Sistemas de Informação? e em ?Computação Científica?) e de Engenharia da Computação (turmas de 50 alunos, nas ênfases em ?Sistemas de Computação? e em ?Automação Industrial?), e é oferecida continuamente a cada semestre letivo pelos professores da área de Teoria da Computação do DIMAp. Sobre a importância teórica desta disciplina na formação dos alunos de computação, não é nenhum exagero dizer que a lógica está para a informática assim como o cálculo está para a engenharia. Todas as outras áreas teóricas e aplicadas da computação devem alguns de seus componentes à lógica. De modo geral, o projeto de monitoria em ?Ensino de Logica? pretende fornecer assistência pedagógica aos alunos que cursam a disciplina obrigatória DIM0050, ao mesmo tempo em que complementa a formação do monitor associado ao projeto, levando em conta a máxima de que ?ensinar é a melhor forma de aprender?. Os objetivos mais específicos deste projeto, e seus efeitos esperados, são arrolados abaixo, na seção ?Objetivos?. Objetivos (1) Prover assistência pedagógica aos alunos da disciplina. Localizar e sanar deficiências de formação dos alunos de Ciência da Computação e Engenharia de Computação, visando principalmente contribuir na revisão dos pré-requisitos cursados pelos alunos de Ciência da Computação. (2) Testar e dar início ao uso de softwares para ensino de Lógica para os cursos de graduação na área de informática e matemática aplicada..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Joao Marcos de Almeida - Coordenador / Regivan Hugo Nunes Santiago - Integrante / Daniel Cunha Silva - Integrante / Clarissa Araújo Azevedo - Integrante.Financiador(es): Pró Reitoria de Graduação - Bolsa.


Revisor de periódico


2010 - Atual
Periódico: Mathematical Reviews
2010 - Atual
Periódico: Zentralblatt MATH
2001 - Atual
Periódico: Logique et Analyse
2001 - Atual
Periódico: Logic and Logical Philosophy
2002 - Atual
Periódico: Artificial Intelligence (General Ed.)
2004 - Atual
Periódico: Journal of Applied Non-Classical Logics
2005 - Atual
Periódico: Mathematical Logic Quarterly
2006 - Atual
Periódico: Studia Logica
2008 - Atual
Periódico: Logic Journal of the IGPL (Print)
2009 - Atual
Periódico: The Review of Symbolic Logic
2010 - Atual
Periódico: Theoretical Computer Science
2011 - Atual
Periódico: Fundamenta Informaticae
2012 - Atual
Periódico: Electronic Proceedings in Theoretical Computer Science
2012 - Atual
Periódico: Journal of Logic and Computation (Print)
2013 - Atual
Periódico: Journal of Philosophical Logic
2014 - Atual
Periódico: Soft Computing
2014 - Atual
Periódico: Fuzzy Sets and Systems
2014 - Atual
Periódico: Logica Universalis (Print)
2014 - Atual
Periódico: Crítica (México)
2014 - Atual
Periódico: Synthese (Dordrecht)
2016 - Atual
Periódico: Annals of Pure and Applied Logic (Print)
2016 - Atual
Periódico: Principios
2015 - Atual
Periódico: Electronic Notes in Theoretical Computer Science
2016 - Atual
Periódico: Topoi (Dordrecht)
2017 - Atual
Periódico: University of Lodz. Department of Logic. Bulletin of the Section of Logic


Revisor de projeto de fomento


2016 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa do Distrito Federal


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Semânticas Formais.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógicas Não Clássicas.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Combinações Entre Lógicas.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Hebraico
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Interlíngua
Lê Bem, Escreve Pouco.
Latim
Lê Razoavelmente, Escreve Pouco.
Holandês
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2016
Friedrich Wilhelm Bessel Research Award, Alexander von Humboldt Foundation.
2005
Aprovação no concurso público para provimento do cargo de Professor Adjunto - Setor de Ciência da Computação, Universidade Federal do Ceará.
2005
Aprovação no concurso público para provimento do cargo de Professor Adjunto - Setor de Ciência da Computação, Universidade Federal do Rio Grande do Norte.
1996
Prêmio da V Semana de Iniciação Científica da UFMG, Universidade Federal de Minas Gerais.
1991
3a. colocação na Olimpíada de Matemática de Minas Gerais, Sociedade Brasileira de Matemática.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:69
Total de citações:1608
Joao Marcos (Google Scholar: h-index=19; i10-index=28)  Data: 21/09/2018

Artigos completos publicados em periódicos

1.
Badia, G.2018Badia, G. ; MARCOS, JOAO . On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions. ALGEBRA UNIVERSALIS, v. 79, p. 41, 2018.

2.
LAHAV, O.2017LAHAV, O. ; MARCOS, JOAO ; ZOHAR, Yoni . Sequent Systems for Negative Modalities. Logica Universalis (Online), v. 11, p. 345-382, 2017.

3.
BLASIO, C.2017BLASIO, C. ; MARCOS, JOAO ; WANSING, Heinrich . An inferentially many-valued two-dimensional notion of entailment. University of Lodz. Department of Logic. Bulletin of the Section of Logic, v. 46, p. 233-262, 2017.

4.
Marcos, João2016Marcos, João; NALON, CLÁUDIA . Classical Resolution for Many-Valued Logics. Electronic Notes in Theoretical Computer Science, v. 323, p. 253-270, 2016.

5.
CALEIRO, Carlos2015CALEIRO, Carlos ; MARCOS, J. ; VOLPE, Marco . Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science, v. 603, p. 84-110, 2015.

6.
DODO, A.2014DODO, A. ; MARCOS, J. . Negative modalities, consistency and determinedness. Electronic Notes in Theoretical Computer Science, v. 300, p. 21-45, 2014.

7.
CALLEJAS, C.2013CALLEJAS, C. ; MARCOS, J. ; BEDREGAL, B. R. C. . Actions of automorphisms on some classes of fuzzy bi-implications. Mathware & Soft Computing, v. 20, p. 94-97, 2013.

8.
CALEIRO, Carlos2012CALEIRO, Carlos ; Marcos, João . Many-valuedness meets bivalence: Using logical values in an effective way. Journal of Multiple-Valued Logic and Soft Computing, v. 19, p. 51-70, 2012.

9.
MARCOS, J.2011MARCOS, J.. (Wittgenstein & Paraconsistência) DOI:10.5007/1808-1711.2010v14n1p135. Principia (Florianópolis. Online), v. 14, p. 135-173, 2011.

10.
Marcos, João2010Marcos, João. Automatic Generation of Proof Tactics for Finite-Valued Logics. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 91-98, 2010.

11.
MARCOS, J.;Marcos, João;MARCOS, JOAO2009 MARCOS, J.. What is a Non-truth-functional Logic?. Studia Logica, v. 92, p. 215-240, 2009.

12.
MARCOS, J.;Marcos, João;MARCOS, JOAO2008MARCOS, J.. Possible-translations semantics for some weak classically-based paraconsistent logics. Journal of Applied Non-Classical Logics, v. 18, p. 7-28, 2008.

13.
MARCOS, J.;Marcos, João;MARCOS, JOAO2005MARCOS, J.. Logics of essence and accident. University of Lodz. Department of Logic. Bulletin of the Section of Logic, Lodz, v. 34, n.1, p. 43-56, 2005.

14.
MARCOS, J.;Marcos, João;MARCOS, JOAO2005MARCOS, J.. Nearly every normal modal logic is paranormal. Logique et Analyse, Brussels, v. 48, n.189/192, p. 279-300, 2005.

15.
MARCOS, J.;Marcos, João;MARCOS, JOAO2005 MARCOS, J.. On negation: Pure local rules. Journal of Applied Logic, v. 3, n.1, p. 185-219, 2005.

16.
CARNIELLI, Walter Alexandre2004 MARCOS, J.; CARNIELLI, Walter Alexandre ; AMO, Sandra de . Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, Torun, v. 8, p. 115, 2004.

17.
CARNIELLI, Walter Alexandre1999CARNIELLI, Walter Alexandre ; MARCOS, J. . Limits for paraconsistent calculi. Notre Dame Journal of Formal Logic, Indiana, EUA, v. 40, n.3, p. 375-390, 1999.

Livros publicados/organizados ou edições
1.
HUERTAS, M. A. (Org.) ; MARCOS, JOAO (Org.) ; MANZANO, María (Org.) ; PINCHINAT, Sophie (Org.) ; SCHWARZERNTRUBER, François (Org.) . Proceedings of the Fourth International Conference on Tools for Teaching Logic. 1. ed. Rennes: Université de Rennes, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 2015. 296p .

2.
BARROS, L. C. (Org.) ; BEDREGAL, B. R. C. (Org.) ; MARCOS, J. (Org.) ; ROVEDA, J. A. F. (Org.) ; SANTIAGO, Regivan Hugo Nunes (Org.) ; SEIXAS, W. (Org.) . Recentes Avanços em Sistemas Fuzzy. 1. ed. , 2012. 1220p .

3.
MARCOS, JOAO. Logics of Formal Inconsistency. 1. ed. Rio de Janeiro: Fundação Biblioteca Nacional, 2005. 378p .

4.
MARCOS, J.; BATENS, Diderik (Org.) ; CARNIELLI, Walter Alexandre (Org.) . Proceedings of the Workshop on Paraconsistent Logic (WoPaLo). 1. ed. Campinas: CLE e-prints, 2002. 186p .

Capítulos de livros publicados
1.
MARCOS, J.. The Value of the Two Values. In: Jean-Yves Beziau,Marcelo Esteban Coniglio. (Org.). Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday.. 1ed.: College Publications, 2011, v. 17, p. 277-294.

2.
MARCOS, J.; MENDONCA, D. . Towards fully automated axiom extraction for finite-valued logics. In: W. Carnielli; M. E. Coniglio; I. M. L. D'Ottaviano. (Org.). The Many Sides of Logic. 1ed.London: College Publications, 2009, v. , p. 425-440.

3.
MARCOS, J.. Ineffable inconsistencies. In: Jean-Yves Beziau; Walter Alexandre Carnielli; Dov. M. Gabbay. (Org.). Handbook of Paraconsistency. 1ed.London: College Publications, 2007, v. , p. 301-311.

4.
Carnielli, Walter ; Coniglio, Marcelo E. ; Marcos, João . Logics of Formal Inconsistency. In: Dov M. Gabbay; Franz Guenthner. (Org.). Handbook of Philosophical Logic. 2ed.Dordrecht: Springer, 2007, v. 14, p. 1-93.

5.
CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Two's company: The humbug of many logical values. In: Jean-Yves Béziau. (Org.). Logica Universalis - Towards a General Theory of Logic. 1ed.Basel: Birkhauser Verlag, 2005, v. , p. 169-189.

6.
MARCOS, J.. Modality and paraconsistency. In: Marta Bilkova; Libor Behounek. (Org.). The Logica Yearbook 2004. 1ed.Prague: Filosofia, 2005, v. , p. 213-222.

7.
MARCOS, J.. On a problem of da Costa. In: Giandomenico Sica. (Org.). Essays on the Foundations of Mathematics and Logic. 1ed.Monza: Polimetrica, 2005, v. , p. 53-69.

8.
DIONÍSIO, Francisco Miguel ; GOUVEIA, Paula ; MARCOS, J. . Defining and using deduction systems with Isabelle. In: Lorenzo Magnani; Riccardo Dossena. (Org.). Computing, Philosophy and Cognition. 1ed.London: College Publications, 2005, v. , p. 271-293.

9.
CARNIELLI, Walter Alexandre ; MARCOS, J. . A taxonomy of C-systems. In: W. A. Carnielli; M. E. Coniglio; I. M. L. D'Ottaviano. (Org.). Paraconsistency: The logical way to the inconsistent, Proceedings of the II World Congress on Paraconsistency (WCP'2000). 1ed.: Marcel Dekker, 2002, v. , p. 1-94.

10.
AMO, Sandra de ; CARNIELLI, Walter Alexandre ; MARCOS, J. . A logical framework for integrating inconsistent information in multiple databases. In: Thomas Eiter; Klaus-Dieter Schewe. (Org.). Foundations of Information and Knowledge Systems: Proceedings of the Second International Symposium (FoIKS 2002). 1ed.Berlim: Springer-Verlag, 2002, v. , p. 67-84.

11.
CARNIELLI, Walter Alexandre ; MARCOS, J. . Ex contradictione non sequitur quodlibet. In: Richard L. Epstein. (Org.). Bulletin of Advanced Reasoning and Knowledge, Proceedings of the 2nd Annual Conference on Logic and Reasoning. 1ed.Bucareste: New Europe College, 2001, v. 1, p. 89-109.

Trabalhos completos publicados em anais de congressos
1.
NASCIMENTO, T. ; RIVIECCIO, Umberto ; MARCOS, JOAO ; SPINKS, Matthew . Algebraic semantics for Nelson's logic $\mathcal{S}$. In: WoLLIC 2018, 2018, Bogota. Proceedings of the XXV Workshop on Logic, Language, Information and Computation. Berlin: Springer, 2018. v. 10944. p. 271-288.

2.
CALEIRO, Carlos ; MARCELINO, S. ; MARCOS, JOAO . Merging Fragments of Classical Logic. In: FroCoS 2017, 2017, Brasília. FroCoS 2017: Frontiers of Combining Systems. Dordrecht: Springer, 2017. p. 298-315.

3.
LAHAV, O. ; MARCOS, JOAO ; ZOHAR, Yoni . It ain't necessarily so: Basic sequent systems for negative modalities. In: 11th Advances in Modal Logic, 2016, Budapeste. Volume 11: Advances in Modal Logic. Milton Keynes: College Publications, 2016.

4.
MARCOS, J.. Fail Better: What formalized math can teach us about learning. In: 4th International Conference on Tools for Teaching Logic (TTL2015), 2015, Rennes. Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015). Rennes: Université de Rennes, 2015. p. 119-128.

5.
TERREMATTE, P. ; MARCOS, J. . TryLogic tutorial: an approach to Learning Logic by proving and refuting. In: 4th International Conference on Tools for Teaching Logic (TTL2015), 2015, Rennes. Proceedings of the 4th International Conference on Tools for Teaching Logic (TTL2015). Rennes: Université de Rennes, 2015. p. 233-242.

6.
MARCOS, JOAO; NALON, C. . Classical resolution for many-valued logics. In: X Workshop on Logical and Semantic Frameworks, with Applications, 2015, Natal. Tenth Workshop on Logical and Semantic Frameworks, with Applications - Preliminary Proceedings, 2015. p. 135-150.

7.
NALON, C. ; MARCOS, J. ; DIXON, C. . Clausal resolution for modal logics of confluence. In: 7th International Joint Conference on Automated Reasoning (IJCAR 2014), 2014, Viena. Proceedings of IJCAR 2014, 2014. v. 8562. p. 322-336.

8.
DODO, ADRIANO ; MARCOS, JOAO ; BERGAMASCHI, FLAULLES BOONE . On classic-like fuzzy modal logics. In: 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013, Edmonton. 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS). p. 1256-1261.

9.
CALLEJAS, C. ; MARCOS, J. ; BEDREGAL, Benjamín René Callejas . On some subclasses of the Fodor-Roubens fuzzy bi-implication. In: WoLLIC 2012, 2012, Buenos Aires. WoLLIC 2012 (LNCS). Berlin: Springer, 2012. v. 7456. p. 206-215.

10.
CALEIRO, Carlos ; Marcos, João ; VOLPE, Marco . Classic-like cut-based tableau systems for finite-valued logics. In: WoLLIC 2012, 2012, Buenos Aires. WoLLIC 2012 (LNCS). Berlin: Springer, 2012. v. 7456. p. 321-335.

11.
TERREMATTE, P. C. A. ; COSTA, F. ; MARCOS, J. . Logicamente: A Virtual Learning Environment for Logic based on Learning Objects. In: Tools for Teaching Logic: Third International Congress (TICTTL 2011), 2011, Salamanca, ES. Tools for Teaching Logic: Third International Congress (TICTTL 2011), LNCS, editors: Fernando Soler-Toscano; Hans van Ditmarsch; Maria Manzano; Patrick Blackburn. Berlin: Springer, 2011. v. 6680. p. 223-230.

12.
CALEIRO, Carlos ; MARCOS, JOAO . Two Many Values: An Algorithmic Outlook on Suszko's Thesis. In: 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), 2010, Barcelona. 2010 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), 2010. v. 1. p. 93-97.

13.
CALEIRO, Carlos ; MARCOS, J. . Classic-like analytic tableaux for finite-valued logics. In: WoLLIC 2009, 2009, Tokyo. WoLLIC 2009 (LNCS), 2009. v. 5514. p. 268-280.

14.
MARCOS, J.; AZEVEDO, Clarissa Araújo ; SILVA, Daniel Cunha da . Teaching Logic. In: III Seminar of Initiation into Teaching (III SID), 2006, Natal. III Seminar of Initiation into Teaching, 2006.

15.
MARCOS, J.. Essential and accidental propositions. In: II International Colloquium on Metaphysics, 2006, Natal. II International Colloquium on Metaphysics. Natal: EDUFRN, 2006.

16.
MARCOS, J.; BEDREGAL, Benjamín René Callejas . Some countable families of multi-valued logics and their conjuctive and disjunctive normal forms. In: II International Colloquium on Metaphysics, 2006, Natal. II International Colloquium on Metaphysics. EDUFRN: EDUFRN, 2006.

17.
MARCOS, J.. Overture: Paraconsistent Logics. In: Workshop on Paraconsistent Logic, 2002, Trento, Itália. Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), 2002. p. 1-10.

18.
CALEIRO, Carlos ; MARCOS, J. . Non-truth-functional fibred semantics. In: International Conference on Artificial Intelligence (IC-AI'2001), 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001). Athens GA, EUA: CSREA Press, 2001. v. II. p. 841-847.

19.
CARNIELLI, Walter Alexandre ; MARCOS, J. . Tableau systems for logics of formal inconsistency. In: International Conference on Artificial Intelligence (IC-AI'2001), 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001). Athens GA, EUA: CSREA Press, 2001. v. II. p. 848-852.

20.
MARCOS, J.; CARNIELLI, Walter Alexandre . Limits for paraconsistent calculi. In: XII Encontro Brasileiro de Lógica (XII EBL), 1999, Itatiaia - RJ. Livro de resumos do XII Encontro Brasileiro de Lógica, 1999. p. 61-69.

Resumos expandidos publicados em anais de congressos
1.
COSTA, Diana ; MARTINS, M. ; MARCOS, JOAO . Towards a Herbrand's Theorem for Hybrid Logic. In: 11th International Conference on Advances in Modal Logic, 2016, Budapest. Advances in Modal Logic - short papers, 2016.

2.
TERREMATTE, P. ; MARCOS, J. . Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013, Campinas. Anais do Simpósio Brasileiro de Informática na Educação. Porto Alegre: Sociedade Brasileira de Computação, 2013. p. 967-971.

3.
CALLEJAS, C. ; MARCOS, J. ; BEDREGAL, B. R. C. . Actions of automorphisms on some classes of fuzzy bi-implications. In: II Congresso Brasileiro de Sistemas Fuzzy, 2012, Natal, RN. Recentes Avanços em Sistemas Fuzzy, 2012. p. 140-146.

4.
DODO, A. ; MARCOS, J. . Fuzzy modal logics of confluence. In: II Congresso Brasileiro de Sistemas Fuzzy, 2012, Natal. Recentes Avanços em Sistemas Fuzzy, 2012. p. 328-337.

5.
MARCOS, J.. The value of the two values. In: 31st Linz Seminar on Fuzzy Set Theory: Lattice-Valued Logic and its Applications, 2010, Linz, AT. Proceedings of the 31st Linz Seminar on Fuzzy Set Theory, 2010.

6.
TERREMATTE, P. C. A. ; MARCOS, JOAO ; GALDINO, T. V. . O Logicamente: a implementação colaborativa de Objetos de Aprendizagem de LÓGICA. In: IV Workshop de Arquiteturas Pedagógicas para Suporte à Educação a Distância mediada pela Internet (IV WAPSEDI), 2009, Florianópolis. Anais do Simpósio Brasileiro de Informática na Educação, 2009.

7.
MENDONCA, D. ; MARCOS, J. . Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. In: CLE 30, XV EBL & XIV SLALM: 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP, 15th Brazilian Logic Conference, and 14th Latin-American Symposium on Mathematical Logic, 2008, Campinas. Proceedings of the CLE 30 / XV EBL / XIV SLALM, 2008.

8.
MARCOS, J.; MENDONCA, D. . Towards fully automated axiom extraction for finite-valued logics. In: IJCAR'08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), 2008, Sydney. Proceedings of the I International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), 2008. v. 373.

9.
MARCOS, J.. Possible-translations semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04 - Workshop on Combination of Logics: Theory and Applications. Lisboa: Departamento de Matemática - Instituto Superior Técnico, 2004. v. 1. p. 119-128.

Resumos publicados em anais de congressos
1.
COSTA, Diana ; MARTINS, M. ; MARCOS, JOAO . Inconsistent accessibility relation in hybrid logic. In: Logic Colloquim 2016, 2016, Leeds. Proceedions of Logic Colloquium 2016, 2016.

2.
BLASIO, C. ; MARCOS, J. . Logics for discussion, and for agreement. In: 2012 European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2012), 2014, Manchester. Bulletin of Symbolic Logic, 2014. v. 20. p. 386-386.

3.
BLASIO, C. ; CALEIRO, Carlos ; MARCOS, JOAO . On B-entailment. In: 2013 European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2013), 2014, Évora, PT. The Bulletin of Symbolic Logic, 2014. v. 20. p. 223-224.

4.
MARCOS, JOAO. O que é uma teoria?. In: XVI Encontro Nacional de Filosofia (XVI ANPOF), 2014, Campos do Jordão. Atas do XVI Encontro Nacional de Filosofia, 2014.

5.
MARCOS, J.; BLASIO, C. . Logical Agency: consulting instead of collecting. In: CiE 2012, 2012, Cambridge. CiE 2012 - How the World Computes, 2012.

6.
MARCOS, JOAO. Sobre o papel das estratégias de coleta e processamento de informação na justificação de julgamentos emitidos por agentes ou por sociedades de agentes racionais. In: XV Encontro Nacional de Filosofia (XV ANPOF), 2012, Curitiba. Atas do XV Encontro Nacional de Filosofia, 2012.

7.
MARCOS, J.. On uniform substitution, logical form, and the meaning of logical constants. In: Epistemic Aspects of Many-valued Logic (EAMVL 2010), 2010, Praga, CZ. Proceedings of the EAMVL 2010, 2010.

8.
MARCOS, J.. Proof complexity and analytic cuts in finite-valued logics. In: Computability in Europe 2010: Proofs, Programs, Processes (CiE 2010), 2010, Ponta Delgada, Azores, PT. Proceedings of the CiE 2010, 2010.

9.
MARCOS, J.. Opposition from the viewpoint of universal logic. In: Square of Oppositions 2, 2010, Corte, Corsica, FR. Proceedings of the SoO 2, 2010.

10.
MARCOS, J.. Simulating negation in positive logic. In: 2009 European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2009), 2010, Sofia, BG. The Bulletin of Symbolic Logic, 2010. v. 16. p. 126.

11.
MARCOS, J.. Finding an adequate locus for compositionality. In: 38th Annual Meeting of the Society for Exact Philosophy (SEP 2010), 2010, Kansas City, Missouri, USA. Proceedings of the SEP 2010, 2010.

12.
MARCOS, J.; MENDONCA, D. . Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009, Paraty. The Bulletin of Symbolic Logic, 2009. v. 15. p. 361-362.

13.
MARCOS, J.. Beyond truth-functionality. In: XIV Brazilian Logic Meeting, 2006, Itatiaia - RJ. Caderno de Resumos do XIV Encontro Brasileiro de Lógica, 2006.

14.
DIONÍSIO, Francisco Miguel ; GOUVEIA, Paula ; MARCOS, J. . Teaching and experimenting with deductive systems using a generic proof assistant. In: XIII Simposio Latinoamericano de Lógica Matemática (XIII SLALM), 2006, Oaxaca. Proceedings of the XIII SLALM, 2006. v. 1. p. 49-50.

15.
MARCOS, J.. Generalizing truth-functionality. In: 2005 ASL Winter Meeting, 2006, New York. Bulletin of Symbolic Logic, 2006. v. 12. p. 511-511.

16.
MARCOS, J.. Modal logics talking about consistency. In: XII Latin-American Symposium on Mathematical Logic (XII SLALM), 2004, San José. XII SLALM - Abstracts of Contributed Papers, 2004. p. 14-14.

17.
DIONÍSIO, Francisco Miguel ; GOUVEIA, P. ; MARCOS, J. . Defining and using deductive systems with Isabelle. In: 2004 European Computing and Philosophy Conference (E-CAP2004), 2004, Pavia. E-CAP'04 - Abstracts, edited by Elena Gandini, 2004. p. 9-9.

18.
MARCOS, J.. Every normal modal logic is paranormal. In: Logica 2004, 2004, Hejnice. Logica 2004 - Abstracts, 2004. p. 38-39.

19.
MARCOS, J.. Thou shalt not trivialise!. In: Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, 2004, Montreal. Abstracts of the conference on Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, 2004. p. 8-8.

20.
MARCOS, J.. Enunciados essenciais e verdades acidentais - um estudo em metafísica formal. In: XI Encontro Nacional de Filosofia (XI ANPOF), 2004, Salvador. Atas do XI Encontro Nacional de Filosofia, Salvador, 2004, 2004. v. 1. p. 221-222.

21.
MARCOS, J.. Paraconsistency is not enough. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 43-43.

22.
CALEIRO, Carlos ; CONIGLIO, Marcelo Esteban ; CARNIELLI, Walter Alexandre ; MARCOS, J. . Suszko's Thesis and dyadic semantics. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 23-23.

23.
CALEIRO, Carlos ; CONIGLIO, Marcelo Esteban ; CARNIELLI, Walter Alexandre ; MARCOS, J. . Dyadic semantics for many-valued logics. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 24-24.

24.
MARCOS, J.. On the simple pleasures of logic: The humbug of many logical values. In: XII International Congress of Logic, Methodology and Philosophy of Science, 2003, Oviedo. LMPS03 - Volume of Abstracts. Oviedo: Departamento de Filosofía, Universidad de Oviedo, 2003. v. 1. p. 481-482.

25.
MARCOS, J.. Possíveis Traduções - modalidades, polivalência, semânticas, combinação entre lógicas, e alguma intriga. In: X Encontro Nacional de Filosofia (X ANPOF), 2002, São Paulo. Anais do X Encontro Nacional de Filosofia, 2002.

26.
MARCOS, J.. On a problem of da Costa. In: II World Congress on Paraconsistency (WCP'2000), 2000, Juquehy, São Sebastião - SP. Book of abstracts of the WCP'2000, 2000.

27.
CARNIELLI, Walter Alexandre ; MARCOS, J. . The C-systems: paleontology and futurology. In: II World Congress on Paraconsistency (WCP'2000), 2000, Juquehy, São Sebastião - SP. Book of abstracts of the WCP'2000, 2000.

28.
MARCOS, J.. (Wittgenstein & Paraconsistência). In: VIII Encontro Nacional de Filosofia (VIII ANPOF), 1998, Caxambu. Anais do VIII Encontro Nacional de Filosofia, 1998.

Artigos aceitos para publicação
1.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; MARCOS, JOAO ; CALEIRO, C. ; PINHEIRO, J. . Semi BCI algebras. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2018.

2.
CALEIRO, C. ; MARCOS, JOAO ; MARCELINO, S. . Combining fragments of classical logic: When are interaction principles needed?. SOFT COMPUTING, 2018.

3.
COSTA, Diana ; MARTINS, M. ; MARCOS, JOAO . On Herbrand's Theorem for Hybrid Logic. Journal of Applied Logic, 2018.

Apresentações de Trabalho
1.
CALEIRO, Carlos ; MARCELINO, S. ; MARCOS, JOAO . What the bleep do we know about the combination of classical connectives?. 2017. (Apresentação de Trabalho/Simpósio).

2.
BLASIO, C. ; MARCOS, JOAO . An inferentially many-valued two-dimensional notion of entailment. 2017. (Apresentação de Trabalho/Conferência ou palestra).

3.
MARCOS, JOAO. Consequence beyond truth and proof. 2017. (Apresentação de Trabalho/Comunicação).

4.
MARCOS, JOAO. Consequence beyond truth and proof. 2017. (Apresentação de Trabalho/Conferência ou palestra).

5.
MARCOS, JOAO; BLASIO, C. . The mystery of duality unraveled: dualizing rules, operators, and logics. 2017. (Apresentação de Trabalho/Conferência ou palestra).

6.
MARCOS, JOAO. A Study of Negative Modalities. 2017. (Apresentação de Trabalho/Conferência ou palestra).

7.
MARCOS, JOAO; BLASIO, C. . Logical consequence explicated in terms of cognitive attitudes. 2017. (Apresentação de Trabalho/Conferência ou palestra).

8.
MARCOS, JOAO. On negation and opposition in the metalogic. 2017. (Apresentação de Trabalho/Conferência ou palestra).

9.
MARCOS, JOAO. Classic-like Analytic Tableaux for Non-Classical Logics (Tutorial). 2017. (Apresentação de Trabalho/Outra).

10.
MARCOS, JOAO. Logic in Bochum III. 2017. (Apresentação de Trabalho/Conferência ou palestra).

11.
MARCOS, JOAO. Similarity and the duality principle within and among inferential mechanisms. 2017. (Apresentação de Trabalho/Comunicação).

12.
MARCOS, JOAO; LAHAV, O. ; ZOHAR, Yoni . Sequent systems for negative modalities. 2017. (Apresentação de Trabalho/Conferência ou palestra).

13.
BLASIO, C. ; MARCOS, JOAO ; WANSING, Heinrich . Monotonic functions are logically four-valued. 2017. (Apresentação de Trabalho/Comunicação).

14.
CALEIRO, Carlos ; MARCELINO, S. ; MARCOS, JOAO . Merging fragments of classical logic. 2017. (Apresentação de Trabalho/Comunicação).

15.
MARCOS, JOAO; BLASIO, C. . Do not be afraid of the Unknown:­ Logical consequence explicated in terms of cognitive attitudes. 2017. (Apresentação de Trabalho/Conferência ou palestra).

16.
MARCOS, JOAO; BLASIO, C. . Do not be afraid of the Unknown: Logical consequence explicated in terms of cognitive attitudes. 2017. (Apresentação de Trabalho/Conferência ou palestra).

17.
MARCOS, JOAO. Breaking the Proof Code. 2016. (Apresentação de Trabalho/Conferência ou palestra).

18.
MARCOS, JOAO. Modal logic need not be about necessity. 2016. (Apresentação de Trabalho/Conferência ou palestra).

19.
MARCOS, JOAO. It ain't necessarily so!. 2016. (Apresentação de Trabalho/Conferência ou palestra).

20.
COSTA, Diana ; MARCOS, JOAO ; MARTINS, M. . Towards Herbrand's theorem for Hybrid Logic. 2016. (Apresentação de Trabalho/Comunicação).

21.
MARCOS, JOAO; CALEIRO, Carlos ; MARCELINO, S. . Can classical reasoning be recovered through the combination of logics?. 2016. (Apresentação de Trabalho/Comunicação).

22.
MARCELINO, S. ; CALEIRO, Carlos ; MARCOS, JOAO ; RIVIECCIO, Umberto . On the abstract characterization of broadly truth-functional logics. 2016. (Apresentação de Trabalho/Comunicação).

23.
NALON, C. ; MARCOS, JOAO . Classical resolution for many-valued logics: the non-deterministic case. 2016. (Apresentação de Trabalho/Comunicação).

24.
COSTA, Diana ; MARTINS, M. ; MARCOS, JOAO . Herbrand's Theorem for Hybrid Logic. 2016. (Apresentação de Trabalho/Conferência ou palestra).

25.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; MARCOS, JOAO ; CALEIRO, C. . Toward Semi-MV-Algebras. 2016. (Apresentação de Trabalho/Comunicação).

26.
MARCOS, JOAO. Can classical reasoning be recovered through the combination of logics?. 2016. (Apresentação de Trabalho/Conferência ou palestra).

27.
MARCOS, JOAO. The mystery of duality unraveled: dualizing rules, operators, and logics. 2016. (Apresentação de Trabalho/Conferência ou palestra).

28.
MARCOS, JOAO; BLASIO, C. . Do not be afraid of the Unknown - Logical consequence explicated in terms of cognitive attitudes. 2016. (Apresentação de Trabalho/Conferência ou palestra).

29.
MARCOS, JOAO. Breaking the Proof Code - Einführung in die Maschinengestütztes Beweisen. 2016. (Apresentação de Trabalho/Conferência ou palestra).

30.
MARCOS, JOAO. O Bem Que Ela Me Faz: como a Lógica pode contribuir para a sua vida. 2015. (Apresentação de Trabalho/Conferência ou palestra).

31.
MARCOS, JOAO. Breaking the Proof Code. 2015. (Apresentação de Trabalho/Conferência ou palestra).

32.
MARCOS, JOAO. O que é uma teoria?. 2015. (Apresentação de Trabalho/Conferência ou palestra).

33.
MARCOS, JOAO. On the birth of the LFIs: Some alternative histories. 2015. (Apresentação de Trabalho/Conferência ou palestra).

34.
CALEIRO, C. ; MARCOS, JOAO ; SILVA, C. M. . Suszko's Reduction Goes Nondeterministic. 2014. (Apresentação de Trabalho/Conferência ou palestra).

35.
DANTAS, J. D. ; MARCOS, JOAO . Uma proposta de Semântica Não-Determinística para a Teoria das Descrições. 2014. (Apresentação de Trabalho/Conferência ou palestra).

36.
MARCOS, JOAO; CALEIRO, Carlos ; SILVA, C. M. . Suszko's Reduction Goes Nondeterministic. 2014. (Apresentação de Trabalho/Conferência ou palestra).

37.
MARCOS, JOAO; BLASIO, C. . Logical consequence explicated in terms of cognitive attitudes. 2014. (Apresentação de Trabalho/Conferência ou palestra).

38.
MARCOS, J.; CALEIRO, C. ; SILVA, C. M. . Broadly truth-functional logics through classical lenses. 2014. (Apresentação de Trabalho/Conferência ou palestra).

39.
MARCELINO, S. ; CALEIRO, Carlos ; MARCOS, JOAO . On the characterization of broadly truth-functional logics. 2014. (Apresentação de Trabalho/Comunicação).

40.
SANTOS, H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; MARCOS, JOAO . On non-deterministic fuzzy negations. 2014. (Apresentação de Trabalho/Conferência ou palestra).

41.
Molick, Sanderson ; MARCOS, JOAO ; BLASIO, C. . A survey on Suszko's Thesis and its formal developments. 2014. (Apresentação de Trabalho/Comunicação).

42.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; MARCOS, JOAO ; CALEIRO, C. . Semi-BCI-algebras. 2014. (Apresentação de Trabalho/Comunicação).

43.
NALON, C. ; MARCOS, JOAO ; DIXON, C. . Clausal resolution for modal logics of confluence. 2014. (Apresentação de Trabalho/Conferência ou palestra).

44.
MARCOS, JOAO; VERDEE, Peter ; OMORI, Hitoshi ; SILVA, Marcos . Round-Table (as agent provocateur): On the Philosophy of Contradiction. 2014. (Apresentação de Trabalho/Outra).

45.
MARCOS, JOAO. Negative modalities, consistency and determinedness. 2013. (Apresentação de Trabalho/Conferência ou palestra).

46.
BLASIO, C. ; MARCOS, JOAO . Do not be afraid of the Unknown. 2013. (Apresentação de Trabalho/Conferência ou palestra).

47.
BLASIO, C. ; MARCOS, JOAO . Do not be afraid of the Unknown. 2013. (Apresentação de Trabalho/Comunicação).

48.
Molick, Sanderson ; MARCOS, JOAO . The mistery of duality unraveled: dualizing rules, operators, and logics. 2013. (Apresentação de Trabalho/Comunicação).

49.
DODO, ADRIANO ; MARCOS, JOAO . A rich language for negative modalities. 2013. (Apresentação de Trabalho/Comunicação).

50.
CALLEJAS, C. ; MARCOS, JOAO . A contribution towards a cartography of fuzzy equivalence operators. 2013. (Apresentação de Trabalho/Comunicação).

51.
MARCOS, JOAO; VOLPE, Marco . Bivalent semantics & tableaux for many-valued logics. 2013. (Apresentação de Trabalho/Seminário).

52.
MARCOS, JOAO. The value of the two values. 2012. (Apresentação de Trabalho/Conferência ou palestra).

53.
MARCOS, JOAO. Opposition from the viewpoint of Universal Logic. 2012. (Apresentação de Trabalho/Conferência ou palestra).

54.
MARCOS, JOAO. Taking collective agency for serious. 2011. (Apresentação de Trabalho/Conferência ou palestra).

55.
MARCOS, JOAO. Acredite, se puder! Divertimentos em torno do fenômeno de incompletude. 2011. (Apresentação de Trabalho/Conferência ou palestra).

56.
MARCOS, JOAO. Logics of Formal Inconsistency. 2010. (Apresentação de Trabalho/Conferência ou palestra).

57.
MARCOS, JOAO. What is a Non-Truth-Functional Logic?. 2010. (Apresentação de Trabalho/Conferência ou palestra).

58.
MARCOS, JOAO. A uniform classic-like analytic deductive formalism for finite-valued logics. 2010. (Apresentação de Trabalho/Conferência ou palestra).

59.
MARCOS, JOAO. Les tableaux pour les logiques multivaluees (et une implementation en Isabelle). 2010. (Apresentação de Trabalho/Conferência ou palestra).

60.
MARCOS, JOAO. The value of the two values. 2010. (Apresentação de Trabalho/Conferência ou palestra).

61.
MARCOS, JOAO. The value of the two values. 2010. (Apresentação de Trabalho/Conferência ou palestra).

62.
MARCOS, JOAO. Many-valuedness meets bivalence: Using logical values in an effective way. 2010. (Apresentação de Trabalho/Conferência ou palestra).

63.
MARCOS, JOAO. Towards fully automated axiom extraction for finite-valued logics. 2009. (Apresentação de Trabalho/Conferência ou palestra).

64.
MARCOS, JOAO. What is a non-truth-functional logic?. 2009. (Apresentação de Trabalho/Conferência ou palestra).

65.
MARCOS, JOAO. Classic-like analytic tableaux for finite-valued logics. 2009. (Apresentação de Trabalho/Conferência ou palestra).

66.
MARCOS, JOAO. Beyond truth-functionality. 2009. (Apresentação de Trabalho/Conferência ou palestra).

67.
MARCOS, JOAO. Logics of Formal Inconsistency. 2009. (Apresentação de Trabalho/Conferência ou palestra).

68.
MARCOS, J.. A Fundamentação da Prova de Teoremas por Computador. 2008. (Apresentação de Trabalho/Conferência ou palestra).

69.
MARCOS, J.. Logics of Formal Inconsistency. 2008. (Apresentação de Trabalho/Comunicação).

70.
VILELA, G. S. ; SANTOS JUNIOR, M. R. ; MARCOS, J. . Implementação de um gerador e verificador de modelos finitos para a Lógica Clássica de Primeira Ordem. 2008. (Apresentação de Trabalho/Comunicação).

71.
BARROS, Thiago Medeiros ; ARAÚJO, Alexandre. E. F. ; MARCOS, J. . A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Apresentação de Trabalho/Comunicação).

72.
BARROS, Thiago Medeiros ; ARAÚJO, Alexandre. E. F. ; MARCOS, J. . Logicamente: A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Apresentação de Trabalho/Comunicação).

73.
MARCOS, J.. Paraconsistency, many-valuedness, modality. 2005. (Apresentação de Trabalho/Conferência ou palestra).

74.
MARCOS, J.. Modal non-classical negations. 2005. (Apresentação de Trabalho/Conferência ou palestra).

75.
MARCOS, J.. When is a logic characterized by truth-tables?. 2005. (Apresentação de Trabalho/Conferência ou palestra).

76.
MARCOS, J.. Logics for discussion. 2004. (Apresentação de Trabalho/Conferência ou palestra).

77.
MARCOS, J.. Paranormal modal logics. 2004. (Apresentação de Trabalho/Conferência ou palestra).

78.
MARCOS, J.. How many logical values are there?. 2003. (Apresentação de Trabalho/Conferência ou palestra).

79.
MARCOS, J.. On what negation is not. 2003. (Apresentação de Trabalho/Conferência ou palestra).

80.
MARCOS, J.. Interlingua is not enough (Poster). 2003. (Apresentação de Trabalho/Outra).

81.
MARCOS, J.. Internalizing consistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

82.
MARCOS, J.. Internalizing consistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

83.
MARCOS, J.. Logics of Formal Inconsistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

84.
MARCOS, J.. Paraconsistent logics for dummies. 2002. (Apresentação de Trabalho/Conferência ou palestra).

85.
MARCOS, J.. Discussive discourses, discursive discussions. 2002. (Apresentação de Trabalho/Conferência ou palestra).

86.
MARCOS, J.. Logical ways to the inconsistent. 2002. (Apresentação de Trabalho/Conferência ou palestra).

87.
MARCOS, J.. Combination semantics: possible-translations -> societies -> discussions. 2002. (Apresentação de Trabalho/Conferência ou palestra).

88.
MARCOS, J.. On Brazilian Paraconsistent Logics (with some space for Polish ones as well). 2002. (Apresentação de Trabalho/Conferência ou palestra).

89.
MARCOS, J.. On inconsistency and undefinedness. 2001. (Apresentação de Trabalho/Simpósio).

90.
MARCOS, J.. How to perform (causal) surgeries. 2001. (Apresentação de Trabalho/Simpósio).

91.
MARCOS, J.. CLuNs, ACLuNs1 and ACLuNs2 as modal logics. 2001. (Apresentação de Trabalho/Simpósio).

92.
MARCOS, J.. Combination of logics. 2001. (Apresentação de Trabalho/Conferência ou palestra).

93.
MARCOS, J.. On inconsistency and undefinedness. 2001. (Apresentação de Trabalho/Conferência ou palestra).

94.
MARCOS, J.; CARNIELLI, Walter Alexandre . A taxonomy of C-systems. 2000. (Apresentação de Trabalho/Conferência ou palestra).

95.
MARCOS, J.. Possible-translations semantics: a special way of combining logics. 2000. (Apresentação de Trabalho/Conferência ou palestra).

96.
MARCOS, J.. Kilos of three-valued logics, (hopefully) one for OCL. 2000. (Apresentação de Trabalho/Conferência ou palestra).

97.
MARCOS, J.. Possible-translations semantics: a special way of combining logics. 1999. (Apresentação de Trabalho/Comunicação).

98.
MARCOS, J.. Possible-translations semantics and the combination of logics. 1999. (Apresentação de Trabalho/Simpósio).

99.
MARCOS, J.. How many logical values are there?. 1999. (Apresentação de Trabalho/Simpósio).

100.
MARCOS, J.. Combinações entre lógicas. 1999. (Apresentação de Trabalho/Conferência ou palestra).

101.
CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Semânticas de traduções possíveis: trançando e destrançando sistemas lógicos. 1999. (Apresentação de Trabalho/Conferência ou palestra).

102.
MARCOS, J.. Semântica não-determinística para lógicas paraconsistentes. 1998. (Apresentação de Trabalho/Conferência ou palestra).

103.
MARCOS, J.. Semânticas de traduções possíveis. 1998. (Apresentação de Trabalho/Conferência ou palestra).

104.
MARCOS, J.; NEVES, A. G. M. . Comportamento Universal na Iteração de Funções Não-Lineares. 1997. (Apresentação de Trabalho/Comunicação).

Outras produções bibliográficas
1.
MARCOS, J.. Logics of Formal Inconsistency. Campinas, SP, e Lisboa, PT: IFCH / Unicamp, e IST / UTL, 2005 (Tese de Doutorado).

2.
CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Logics of Formal Inconsistency. Campinas: CLE e-Prints (electronic version), 2005 (Preprint).

3.
MARCOS, J.; BATENS, Diderik ; CARNIELLI, Walter Alexandre . Journal of Applied Logic, volume 3, number 1. Elsevier B.V., 2005 (Edição de periódico).

4.
MARCOS, J.; BATENS, Diderik ; CARNIELLI, Walter Alexandre . A Paraconsistent Decagon, 2005. (Prefácio, Pósfacio/Prefácio)>.

5.
MARCOS, J.. On negation: Pure local rules. Campinas: CLE e-Prints (electronic version), 2004 (Preprint).

6.
MARCOS, J.. Possible-translations semantics for some weak classically based paraconsistent logics 2004 (Research report).

7.
MARCOS, J.. Ineffable inconsistencies 2004 (Preprint).

8.
CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Suszko's Thesis and dyadic semantics 2003 (Preprint).

9.
CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Dyadic semantics for many-valued logics 2003 (Preprint).

10.
MARCOS, J.. Mechanizing deduction for tarskian logics (even when contradictions draw near) 2003 (Slides and discussion).

11.
AMO, Sandra de ; CARNIELLI, Walter Alexandre ; MARCOS, J. . A logical framework for integrating inconsistent information in multiple databases 2001 (Preprint).

12.
CARNIELLI, Walter Alexandre ; MARCOS, J. ; AMO, Sandra de . Formal inconsistency and evolutionary databases. Campinas 2001 (Preprint).

13.
CARNIELLI, Walter Alexandre ; MARCOS, J. . A taxonomy of C-systems. Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

14.
MARCOS, J.. On a problem of da Costa. Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

15.
MARCOS, J.. (Wittgenstein & Paraconsistência). Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

16.
MARCOS, J.. Semânticas de Traduções Possíveis. Campinas: Instituto de Filosofia e Ciências Humanas, Unicamp, 2000 (Dissertação de Mestrado).


Produção técnica
Assessoria e consultoria
1.
MARCOS, JOAO. Member of the Scientific Committee of the Fourth International Workshop on Defeasible and Ampliative Reasoning (DARe-17). 2017.

2.
MARCOS, JOAO. Member of the Scientific Committee of the XVIII Brazilian Logic Meeting (EBL 2017). 2017.

3.
MARCOS, JOAO. Member of the Scientific Committee of the FILOMENA 3 Workshop (FIlosofia, LOgica e MEtafísica aNAlítica). 2017.

4.
MARCOS, JOAO. Member of the Scientific Committee of the Third Israeli Workshop on Non-classical Logics and their Applications (ISRALOG). 2017.

5.
MARCOS, JOAO. Member of the Scientific Committee of the Encontro Nacional de Inteligencia Artificial e Computacional 2017 (ENIAC). 2017.

6.
MARCOS, JOAO. Reviewer of the International Congress of Mathematicians (ICM2018) - area 1: Logic and Foundations. 2017.

7.
MARCOS, JOAO. Parecer ad hoc CNPq (PDJ). 2017.

8.
MARCOS, JOAO. Pareceres ad hoc CNPq (PQ). 2017.

9.
MARCOS, JOAO. Member of the Scientific Committee of the XI Workshop on Logical and Semantic Frameworks, with Applications (LSFA 16). 2016.

10.
MARCOS, JOAO. Member of the Scientific Committee of the Third International Workshop on Defeasible and Ampliative Reasoning (DARe-16). 2016.

11.
MARCOS, JOAO. Member of the Scientific Committee of the Brazilian Conference on Intelligence Systems (BRACIS 2016). 2016.

12.
MARCOS, JOAO. Member of the Scientific Committee of ENIAC 2016. 2016.

13.
MARCOS, JOAO. Member of the Scientific Committee of ETMF 2016. 2016.

14.
MARCOS, JOAO. Parecer ad hoc FAPDF. 2016.

15.
MARCOS, JOAO. Pareceres ad hoc CNPq (Pós-doc). 2016.

16.
MARCOS, JOAO. Member of the Senior Program Committee of IJCAI 2015. 2015.

17.
MARCOS, JOAO. Member of the Scientific Committee of the Brazilian Conference on Intelligence Systems (BRACIS 2015). 2015.

18.
MARCOS, JOAO. Member of the Scientific Committee of ENIAC 2015. 2015.

19.
MARCOS, JOAO. Member of the Scientific Committee of the Second International Workshop on Defeasible and Ampliative Reasoning (DARe-15). 2015.

20.
MARCOS, JOAO. Member of the Scientific Committee of the IX Workshop on Logical and Semantic Frameworks, with Applications (LSFA 14). 2014.

21.
MARCOS, JOAO. Member of the Scientific Committee of the V World Congress on Paraconsistency. 2014.

22.
MARCOS, JOAO. Member of the Scientific Committee of the XVII Brazlian Logic Meeting (EBL 2014). 2014.

23.
MARCOS, JOAO. Member of the Scientific Committee of the III Brazilian Congress on Fuzzy Systems (III CBSF). 2014.

24.
MARCOS, JOAO. Member of the Scientific Committee of the First International Workshop on Defeasible and Ampliative Reasoning (DARe-14). 2014.

25.
MARCOS, JOAO. Member of the Scientific Committee of the Brazilian Conference on Intelligence Systems (BRACIS/ENIAC 2014). 2014.

26.
MARCOS, JOAO. Member of the Scientific Committee of the VIII Workshop on Logical and Semantic Frameworks, with Applications (LSFA 13). 2013.

27.
MARCOS, JOAO. Member of the Scientific Committee of the Brazilian Conference on Intelligence Systems (BRACIS/ENIAC 2013). 2013.

28.
MARCOS, JOAO. Parecer ad hoc FUNCAP. 2013.

29.
Marcos, João. Member of the Scientific Committee of the VII Workshop on Logical and Semantic Frameworks, with Applications (LSFA 12). 2012.

30.
MARCOS, JOAO. Parecer ad hoc sobre verbete da Stanford Encyclopedia of Philosophy. 2012.

31.
MARCOS, JOAO. Member of the Scientific Committee of the XVI Brazlian Logic Meeting (EBL 2011). 2011.

32.
MARCOS, JOAO. Member of the Scientific Committee of the VIII Encontro Nacional de Inteligência Artificial (ENIA 11). 2011.

33.
MARCOS, JOAO. Member of the Scientific Committee of the VI Workshop on Logical and Semantic Frameworks, with Applications (LSFA 11). 2011.

34.
MARCOS, JOAO. Member of the Scientific Committee of the workshop Data, Logic and Inconsistency (DALI'11) as part of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11). 2011.

35.
MARCOS, JOAO. Member of the Scientific Committee of the workshop on Inconsistency Robustness. 2011.

36.
MARCOS, JOAO. Parecer ad hoc CNPq (PROSUL/Eventos). 2010.

37.
MARCOS, JOAO. Member of the Scientific Committee of the V Workshop on Logical and Semantic Frameworks, with Applications (LSFA 10). 2010.

38.
MARCOS, JOAO. Member of the Scientific Committee of the IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 09). 2009.

39.
MARCOS, JOAO. Pareceres ad hoc CNPq (Edital Universal). 2009.

40.
MARCOS, JOAO. Member of the Scientific Committee of the Escola POtiguar de Computação e suas Aplicações (EPOCA 2009). 2009.

41.
MARCOS, JOAO. Member of the Scientific Committee of the III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 08). 2008.

42.
MARCOS, JOAO. Member of the Scientific Committee of the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 07). 2007.

43.
MARCOS, JOAO. Member of the Scientific Committee of the III World Congress on Paraconsistency (WCP 3). 2003.

Trabalhos técnicos
1.
MARCOS, JOAO. 1 referee report for the Springer book 'Graham Priest on Dialetheism and Paraconsistency'. 2017.

2.
MARCOS, JOAO. 2 referee reports for the SLALM 2017 (XV Latin American Symposium on Mathematical Logic). 2017.

3.
MARCOS, JOAO. 5 referee reports for the FILOMENA 3 (Workshop de FIlosofia, LOgica e MEtafísica aNAlítica). 2017.

4.
MARCOS, JOAO. 2 referee reports for the ISRALOG17. 2017.

5.
MARCOS, JOAO. 3 referee reports for the ENIAC 2017 (Encontro Nacional de Inteligência Artificial e Computacional). 2017.

6.
MARCOS, JOAO. 1 referee report for the ENIAC 2016 (Encontro Nacional de Inteligência Artificial e Computacional). 2016.

7.
MARCOS, JOAO. 1 referee report for the Springer book 'Graham Priest on Dialetheism and Paraconsistency'. 2016.

8.
MARCOS, JOAO. 2 referee reports for the ETMF 2016 (Escola de Informática Teórica e Métodos Formais). 2016.

9.
MARCOS, JOAO. Revisão técnica da tradução de: 'Lógica Modal' (Stanford Encyclopedia of Philosophy: verbete 'Modal Logic'), por Heitor H. S. Campos. 2015.

10.
MARCOS, JOAO. 3 referee reports for the III CBSF (Third Brazilian Conference on Fuzzy Systems). 2014.

11.
MARCOS, JOAO. 2 referee reports for the SLALM 2014 (XVI Latin American Symposium on Mathematical Logic). 2014.

12.
MARCOS, J.. 2 referee reports for the VIII Workshop on Logical and Semantic Frameworks, with Applications (LSFA'13). 2013.

13.
MARCOS, J.. 1 referee report for TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). 2013.

14.
MARCOS, J.. 1 referee report for the International Joint Conference on Automated Reasoning (IJCAR 2010). 2010.

15.
MARCOS, J.. 1 referee report for the III Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08). 2008.

16.
MARCOS, J.. 1 referee report for the Symposium on Logical Foundations of Computer Science. 2007.

17.
MARCOS, J.. 1 referee report for the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07). 2007.

18.
MARCOS, J.. 1 referee report for the SBMF-2006 (Brazilian Symposium on Formal Methods). 2006.

19.
MARCOS, J.. 1 referee report for the SBMF-2005 (Brazilian Symposium on Formal Methods). 2005.

20.
MARCOS, J.. 1 referee report for the Proceedings of the 3WCP (III World Congress on Paraconsistency). 2004.

21.
MARCOS, J.. 1 referee report for the IJCAR 2004 (Second International Joint Conference on Automated Reasoning). 2004.

22.
MARCOS, J.. 1 referee report for the CombLog'04 (Workshop on Combination of Logics: Theory and Applications). 2004.

23.
MARCOS, J.. 3 referee reports for the 3WCP (III World Congress on Paraconsistency). 2003.

24.
MARCOS, J.. 1 referee report for a final research report from the university EAFIT. 2003.

25.
MARCOS, J.. 1 referee report for the CMSRA-2002 (Second International Workshop on Computational Models of Scientific Reasoning and Applications). 2002.

26.
MARCOS, J.. 1 referee report for the WoPaLo (Workshop on Paraconsistent Logic). 2002.

27.
MARCOS, J.. 1 referee report for the Proceedings of the WCP'2000, published under the title: Paraconsistency - the logical way to the inconsistent. 2001.

28.
MARCOS, J.. 1 referee report for the WCP'2000 (II World Congress on Paraconsistency). 2000.


Demais tipos de produção técnica
1.
MARCOS, JOAO. Referee report on a chapter of a book submitted to Springer. 2015. (Parecer ad hoc sobre livro).

2.
MARCOS, J.. Foundations of Computerized Theorem Proving. 2011. (Curso de curta duração ministrado/Outra).

3.
MARCOS, JOAO. (Non)Sequitur: Teaching and practicing Formal Semantics and Theorem Proving. 2011. (Curso de curta duração ministrado/Outra).

4.
CALEIRO, Carlos ; MARCOS, JOAO . Tutorial on Combination of Logics. 2010. (Curso de curta duração ministrado/Outra).

5.
MARCOS, J.. Tutorial on Multiple-Conclusion Logics. 2005. (Curso de curta duração ministrado/Outra).

6.
MARCOS, JOAO. Referee report on a book submitted to Oxford University Press. 2001. (Parecer ad hoc sobre livro).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RASGA, J.; RAMOS, J.; MARCOS, JOAO. Participação em banca de Filipe Manuel Rodrigues Casal. On Nelson-Oppen techniques. 2013. Dissertação (Mestrado em Mathematics and Applications) - Instituto Superior Técnico.

2.
CARNIELLI, Walter Alexandre; MARCOS, J.; FEITOSA, Hércules de Araújo; Ribeiro, M. M:. Participação em banca de María Inés Corbalán. Conectivos de Restauração Local. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.
PIMENTEL, E. G.; Bigonha, R. S.; MARCOS, J.; FIGUEIREDO, L. C.. Participação em banca de Mário Sérgio Ferreira Alvim Júnior. Aspectos computacionais do cálculo de estruturas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
Martins, A. T. C.; MARCOS, J.; Pequeno, M.. Participação em banca de Francicleber Martins Ferreira. Modelos Minimais e Hierarquia de Expressividade. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Teses de doutorado
1.
DUBOIS, C.; RUMMER, P.; MARCOS, JOAO; ABRAHAM, E.; FONTAINE, P.; MERZ, S.; REYNOLDS, A.; DEHARBE, D. B. P.. Participação em banca de Haniel Barbosa. New techniques for instantiation and proof production in SMT solving. 2017. Tese (Doutorado em Informatique) - Université de Lorraine.

2.
FINGER, Marcelo; WASSERMANN, Renata; GOZMAN, Fabio Gagliardi; CARNIELLI, Walter Alexandre; MARCOS, JOAO. Participação em banca de Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. 2016. Tese (Doutorado em Doutorado em Ciências) - Universidade de São Paulo.

Qualificações de Doutorado
1.
DEHARBE, D. B. P.; MARCOS, JOAO; OLIVEIRA, M. V. M.; FONTAINE, P.. Participação em banca de Haniel Barbosa. New techniques for instantiation and proof production in SMT solving. 2017. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
SANTIAGO, Regivan Hugo Nunes; MARCOS, JOAO; BARROS, L. C.. Participação em banca de Flaulles Boone Bergamaschi. Ideais fortemente primos no ambiente fuzzy. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
Ribeiro, L.; COSTA, A. C. R.; MARCOS, J.; MARTINI, Alfio Ricardo de Brito; NUNES, D. J.. Participação em banca de Simone André da Costa. Formal Verification of Graph Grammars using Theorem Proving. 2008. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.



Participação em bancas de comissões julgadoras
Concurso público
1.
MARCOS, J.; PERALES, W. J. S.; LACERDA, I. M. F.; SILVA, E. R.. Seleção para Professor Substituto da disciplina "Processo de Trabalho em Enfermagem II - Informática Básica e Aplicada à Enfermagem. 2007. Universidade Federal do Rio Grande do Norte.

Outras participações
1.
MARCOS, J.; OLIVEIRA, M. V. M.; DEHARBE, D. B. P.. Prova automática de satisfatibilidade módulo teoria aplicada ao Método B. 2007. Universidade Federal do Rio Grande do Norte.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
45th Symposium for Research Award Winners - Alexander von Humboldt Stiftung. 2017. (Simpósio).

2.
FroCoS - 11th International Symposium on Frontiers of Combining Systems.Merging fragments of classical logic. 2017. (Simpósio).

3.
ITP - 8th Conference on Interactive Theorem Proving and related issues. 2017. (Simpósio).

4.
Logic Colloquium 2017. Monotonic functions are logically four-valued. 2017. (Congresso).

5.
Logic in Bochum III.Do not be afraid of the Unknown. 2017. (Simpósio).

6.
LSFA - 12th Workshop on Logical and Semantic Frameworks with Applications. 2017. (Simpósio).

7.
PhDs in Logic IX.Classic-like Analytic Tableaux for Non-Classical Logics (Tutorial). 2017. (Seminário).

8.
Research Workshop on Hybrid Intensional Logic.A Study of Negative Modalities. 2017. (Encontro).

9.
Seminars of Inria Nancy.Sequent systems for negative modalities. 2017. (Seminário).

10.
TABLEAUX - 26th International Meeting on Automated Reasoning with Analytic Tableaux and Related Methods. 2017. (Congresso).

11.
The Second World Congress on Analogy. Similarity and the duality principle within and among inferential mechanisms. 2017. (Congresso).

12.
The Third Israeli Workshop on Non-classical Logics and their Applications (ISRALOG17).An inferentially many-valued two-dimensional notion of entailment. 2017. (Simpósio).

13.
Workshop Logic and Plurality - Remembering Carolina Blasio.Logical consequence explicated in terms of cognitive attitudes. 2017. (Encontro).

14.
Workshop Logik, Sprachtheorie und Erkenntnistheorie.The mystery of duality unraveled: dualizing rules, operators, and logics. 2017. (Encontro).

15.
Workshop on Consequence and Paradox between Truth and Proof.Consequence beyond truth and proof. 2017. (Simpósio).

16.
Workshop on Negation and Negativity in Natural Language.On negation and opposition in the metalogic. 2017. (Simpósio).

17.
Workshop on Non-classical Solutions to the Paradoxes.Consequence beyond truth and proof. 2017. (Simpósio).

18.
11th International Conference on Advances in Modal Logic (AiML 2016). It ain't necessarily so: Basic sequent systems for negative modalities. 2016. (Congresso).

19.
7th International Conference "Teaching Logic and Prospects of its Development" (TLPD7).Lessons from, and with, Mechanized Reasoning. 2016. (Simpósio).

20.
Workshop GeTFun 4.0.Can classical reasoning be recovered through the combination of logics?. 2016. (Oficina).

21.
2nd International Colloquium on Colours and Numbers.How Colours Matter for Philosophy. 2015. (Seminário).

22.
III Workshop Científico do LOGIA - PenCogLin.Breaking the Proof Code. 2015. (Seminário).

23.
V Workshop Científico do LOGIA - PenCogLin.What Makes for a Good Paraconsistent Negation?. 2015. (Simpósio).

24.
V World Congress and School on Universal Logic (UniLog 2015). Consequiland: on logics with many dimensions. 2015. (Congresso).

25.
International Joint Conference on Automated Reasoning (VII IJCAR). Clausal resolution for modal logics of confluence. 2014. (Congresso).

26.
I Symposium on the Foundations of Mathematics. 2014. (Simpósio).

27.
I Symposium on the Foundations of Mathematics. 2014. (Simpósio).

28.
IV World Congress on the Square of Opposition. When the Square Meets the Cross: Towards a generalized notion of entailment. 2014. (Congresso).

29.
Logic Colloquium 2014. 2014. (Congresso).

30.
Logic Colloquium 2014. 2014. (Congresso).

31.
Workshop GeTFun 2.0.Broadly truth-functional logics through classical lenses. 2014. (Oficina).

32.
Workshop on Paraconsistent Reasoning in Science and Mathematics.What makes for a good paraconsistent negation?. 2014. (Oficina).

33.
XVII Brazilian Logic Meeting (EBL 2014). Suszko?s Reduction Goes Nondeterministic. 2014. (Congresso).

34.
Foundations for architectural design: Service orientation, dynamic reconfiguration and self-adaptability (Mondrian 2013).Bivalent semantics & tableaux for many-valued logics. 2013. (Encontro).

35.
IV World Congress and School on Universal Logic (UniLog 2013). Why Study Logic?. 2013. (Congresso).

36.
Logic Colloquium 2013. On B-entailment. 2013. (Congresso).

37.
CiE 2012. Logical Agency: consulting instead of collecting. 2012. (Congresso).

38.
Logic Colloquium 2012.Logics for discussion, and for agreement. 2012. (Simpósio).

39.
Second Brazilian Congress on Fuzzy Systems. Maybe not so Fuzzy. 2012. (Congresso).

40.
Turing 100. 2012. (Encontro).

41.
VII Logical and Semantic Frameworks with Applications. 2012. (Simpósio).

42.
Workshop on the Philosophy and Mathematics of Uncertainty and Vagueness (PMUV).A note on logical agency and nondeterminism. 2012. (Oficina).

43.
XV Encontro Nacional de Filosofia (XV ANPOF).Sobre o papel das estratégias de coleta e processamento de informação na justificação de julgamentos emitidos por agentes ou por sociedades de agentes racionais. 2012. (Encontro).

44.
VI Workshop on Logical and Semantic Frameworks, with Applications (LSFA 11).Splicing Logics. 2011. (Oficina).

45.
Beauty of Logic II - Conference in honour of Petr Hájek's 70th birthday. 2010. (Simpósio).

46.
Collegium Logicum: Proofs and Structure. 2010. (Encontro).

47.
Computability in Europe 2010: Proofs, Programs, Processes. Proof complexity and analytic cuts in finite-valued logics. 2010. (Congresso).

48.
III Indian School on Logic and its Applications (ISLA 2010). 2010. (Seminário).

49.
III World Congress and School on Universal Logic (UniLog 2010). Truth-Functionality (Tutorial). 2010. (Congresso).

50.
II Square of Oppositions. Opposition from the viewpoint of universal logic. 2010. (Congresso).

51.
Logic, Algebra and Truth Degrees 2010 - Second conference of the working group on Mathematical Fuzzy Logic. 2010. (Congresso).

52.
Mini-course on 'Logic or Logics?'.Combination of Logics. 2010. (Oficina).

53.
Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa). 2010. (Encontro).

54.
Prague International Colloquium on Epistemic Aspects of Many-valued Logic.On Uniform Substitution, Logical Form, and the Meaning of Logical Constants. 2010. (Simpósio).

55.
Séminaire international sur «NOT», la géométrie des oppositions.On what negation is NOT. 2010. (Oficina).

56.
Workshop on 'Truth, Falsity, and Negation'.Beyond truth-functionality. 2010. (Oficina).

57.
XL IEEE Symposium on Multiple-Valued Logic.Two Many Values: An Algorithmic Outlook on Suszko's Thesis. 2010. (Simpósio).

58.
XXXI Linz Seminar on Fuzzy Set Theory: "Lattice-Valued Logic and its Applications".The value of the two values. 2010. (Seminário).

59.
XXXVIII Annual Meeting of the Society for Exact Philosophy (SEP 2010).Finding an Adequate Locus for Compositionality. 2010. (Encontro).

60.
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Classic-like analytic tableaux for finite-valued logics. 2009. (Congresso).

61.
Logic Colloquium 2009. Simulating negation in positive logic. 2009. (Congresso).

62.
Science, Truth and Consistency - CLE/AIPS.Logics of Formal Inconsistency. 2009. (Simpósio).

63.
Seminar on Logic and Set Theory.The Art of Inference: A crash course on symmetric consequence relations. 2009. (Seminário).

64.
VII Panhellenic Logic Symposium.On Inconsistent-Tolerant Logics that Minimally Deviate from the Classical Standard. 2009. (Simpósio).

65.
X International Workshop on Rule-Based Programming (RULE 2010).Automatic generation of proof tactics for finite-valued logics. 2009. (Oficina).

66.
CLE 30, XV EBL & XIV SLALM: 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP, 15th Brazilian Logic Conference, and 14th Latin-American Symposium on Mathematical Logic.Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. 2008. (Simpósio).

67.
Escola Potiguar de Computação e suas Aplicações (EPOCA 2008).Logicamente: A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Oficina).

68.
IJCAR'08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008).Towards fully automated axiom extraction for finite-valued logics. 2008. (Oficina).

69.
IV World Congress of Paraconsistency (WCP4). Logics of Formal Inconsistency. 2008. (Congresso).

70.
VIII Encontro Regional de Matemática Aplicada e Computacional (VIII ERMAC)."A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica" & "Implementação de um gerador e verificador de modelos finitos para a Lógica Clássica de Primeira Ordem". 2008. (Encontro).

71.
VIII Escola Regional de Computação Bahia-Alagoas-Sergipe (VIII ERBASE).A Fundamentação da Prova de Teoremas por Computador. 2008. (Simpósio).

72.
10th Brazilian Symposium on Formal Methods (SBMF 2007) & 2nd Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07).LÓGICA COMPUTACIONAL: Uso da ferramenta Isabelle para experimentação com lógicas clássicas e não-clássicas. 2007. (Simpósio).

73.
II International Colloquium on Metaphysics.Essential and Accidental propositions. 2006. (Outra).

74.
II International Colloquium on Metaphysics.Some countable families of multi-valued logics and their conjuctive and disjunctive normal forms. 2006. (Outra).

75.
III Seminar of Initiation into Teaching.Teaching Logic. 2006. (Seminário).

76.
International Conference on Graph Transformations. 2006. (Congresso).

77.
XIV Brazilian Logic Meeting (XIV EBL).XIV Brazilian Logic Meeting (XIV EBL). 2006. (Encontro).

78.
Association for Symbolic Logic 2005-2006 Winter Meeting.Association for Symbolic Logic 2005-2006 Winter Meeting. 2005. (Encontro).

79.
I World Congress and School on Universal Logic (UNILOG 2005). Multiple-Conclusion Logics (Tutorial). 2005. (Congresso).

80.
Workshop "Semantics and Meaning".Workshop on Semantics and Meaning. 2005. (Simpósio).

81.
European Computing and Philosophy 2004 Conference (E-CAP2004). 2004 European Computing and Philosophy Conference (E-CAP2004). 2004. (Congresso).

82.
Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy. Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy. 2004. (Congresso).

83.
Logica 2004.Logica 2004, 18th international symposium promoted by the Institute of Philosophy of the Academy of Sciences of the Czech Republic. 2004. (Simpósio).

84.
Negation in Constructive Logic.International Workshop on Negation in Constructive Logic. 2004. (Simpósio).

85.
Workshop on Combination of Logics: Theory and Applications (CombLog'04).Workshop on Combination of Logics: Theory and Applications. 2004. (Simpósio).

86.
XI Encontro Nacional de Filosofia (XI ANPOF).XI Encontro Nacional de Filosofia (XI ANPOF). 2004. (Encontro).

87.
XII Latin-American Symposium on Mathematical Logic (XII SLALM).XII Latin-American Symposium on Mathematical Logic. 2004. (Simpósio).

88.
Dagstuhl Seminar on "Inconsistency Tolerance".Dagstuhl Seminar 03241 on Inconsistency Tolerance in Databases, Knowledge and Software Systems. 2003. (Seminário).

89.
III World Congress on Paraconsistency (WCP 3). III World Congress on Paraconsistency. 2003. (Congresso).

90.
Lattices, Universal Algebra and Applications.International Conference on Lattices, Universal Algebra and Applications. 2003. (Encontro).

91.
XII International Congress of Logic, Methodology and Philosophy of Science (XII LMPS). XII International Congress of Logic, Methodology and Philosophy of Science. 2003. (Congresso).

92.
XXI World Congress of Philosophy. XXI WCP: Philosophy Facing World Problems. 2003. (Congresso).

93.
Self Reference.Conference on Self-Reference (plus Introductory Seminar on Self Reference). 2002. (Encontro).

94.
XIV European Summer School in Logic, Language and Information (ESSLLI 2002).XIV European Summer School in Logic, Language and Information (ESSLLI 2002). 2002. (Oficina).

95.
Concepts - III Summer School in Analytic Philosophy.Concepts - III Summer School in Analytic Philosophy. 2001. (Oficina).

96.
I Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science.I Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science. 2001. (Simpósio).

97.
IV Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency.IV Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency. 2001. (Simpósio).

98.
The 2001 International Conference on Artificial Intelligence (IC-AI'2001). The 2001 International Conference on Artificial Intelligence (IC-AI'2001). 2001. (Congresso).

99.
XIII European Summer School in Logic, Language and Information (ESSLLI 2001).XIII European Summer School in Logic, Language and Information (ESSLLI 2001). 2001. (Oficina).

100.
II World Congress on Paraconsistency (WCP'2000). II World Congress on Paraconsistency (WCP'2000). 2000. (Congresso).

101.
Joint Austro-Italian Workshop on Fuzzy Logics and Applications.Joint Austro-Italian Workshop on Fuzzy Logics and Applications. 2000. (Simpósio).

102.
I Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science (LUATCS'99).I Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science (LUATCS'99). 1999. (Oficina).

103.
VI Workshop on Logic, Language, Information and Computation (WOLLIC'99).VI Workshop on Logic, Language, Information and Computation (WOLLIC'99). 1999. (Simpósio).

104.
XII Brazilian Logic Meeting (XII EBL).XII Brazilian Logic Meeting (XII EBL). 1999. (Encontro).

105.
III Brazilian-International Meeting on Cognitive Sciences.III Brazilian-International Meeting on Cognitive Sciences. 1998. (Encontro).

106.
Logic Colloquium'98. Logic Colloquium'98. 1998. (Congresso).

107.
VIII Encontro Nacional de Filosofia (VIII ANPOF).VIII Encontro Nacional de Filosofia (VIII ANPOF). 1998. (Encontro).

108.
XI Latin-American Symposium on Mathematical Logic.XI Latin-American Symposium on Mathematical Logic. 1998. (Simpósio).

109.
49a. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência.XLIX Reunião Anual da Sociedade Brasileira para o Progresso da Ciência. 1997. (Encontro).

110.
Seminário Internacional em Filosofia Analítica e Pragmatismo.International Seminar on Analytic Philosophy and Pragmatism. 1997. (Seminário).

111.
X Colóquio de História da Ciência: Universalidade, Racionalidade e Progresso na Ciência.X Colóquio de História da Ciência: Universalidade, Racionalidade e Progresso na Ciência. 1997. (Encontro).

112.
Atualização em Ciências Cognitivas.Atualização em Ciências Cognitivas. 1996. (Oficina).

113.
V Semana de Iniciação Científica da UFMG.V Semana de Iniciação Científica da UFMG. 1996. (Encontro).

114.
X Escola de Computação da Unicamp.X Escola de Computação da Unicamp. 1996. (Oficina).

115.
XIX Congresso Nacional de Computação e Matemática Aplicada. XIX Congresso Nacional de Computação e Matemática Aplicada. 1996. (Congresso).

116.
IV Semana de Iniciação Científica da UFMG.IV Semana de Iniciação Científica da UFMG. 1995. (Encontro).

117.
III Semana de Iniciação Científica da UFMG.III Semana de Iniciação Científica da UFMG. 1994. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
NALON, CLÁUDIA ; NANTES-SOBRINHO, D. ; PIMENTEL, E. G. ; MARCOS, JOAO . TABLEAUX - 26th international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. 2017. (Congresso).

2.
NALON, CLÁUDIA ; NANTES-SOBRINHO, D. ; PIMENTEL, E. G. ; MARCOS, JOAO . FroCoS - 11th International Symposium on Frontiers of Combining Systems. 2017. (Congresso).

3.
NALON, CLÁUDIA ; NANTES-SOBRINHO, D. ; PIMENTEL, E. G. ; MARCOS, JOAO . ITP - 8th conference on Interactive Theorem Proving and related issues. 2017. (Congresso).

4.
PIMENTEL, E. G. ; MARCOS, JOAO ; OLARTE, Carlos ; GORSKI, S. ; BLASIO, C. ; ERICKSON, E. ; DANTAS, J. D. ; TERREMATTE, P. C. A. ; Molick, Sanderson . NAT@Logic 2015. 2015. (Congresso).

5.
SCHWARZERNTRUBER, François ; PINCHINAT, Sophie ; MARCOS, JOAO ; MANZANO, María ; SANCHEZ, Maria A. H. . IV International Conference on Tools for Teaching Logic (TTL2015). 2015. (Congresso).

6.
DORIA NETO, A. D. ; BEDREGAL, B. R. C. ; MARCOS, JOAO ; SANTIAGO, Regivan Hugo Nunes . Second Brazilian Congress on Fuzzy Systems (II CBSF). 2012. (Congresso).

7.
CRUZ, M. M. C. ; LYRA, Aarão ; DORIA NETO, A. D. ; ANDRADE, B. B. ; ARAUJO, C. ; FERREIRA, D. B. ; VILLANUEVA, D. A. Z. ; BONELLI, E. ; LEAO, I. C. ; MARCOS, J. ; COSTA, J. A. ; BENAVIDES, J. V. T. ; SIQUEIRA, M. F. ; SANTOS, M. S. ; LUCIO, P. S. ; SANTIAGO, R. H. N. ; BIELSCHOWSKY, R. H. ; LIMA, S. A. ; BEZERRA, S. J. . Congresso de Matemática Aplicada e Computacional. 2012. (Congresso).

8.
CRUZ, M. M. C. ; MARCOS, J. ; LYRA, Aarão ; BEDREGAL, Benjamín René Callejas ; ARAUJO, C. ; GONCALVES, L. M. G. ; OLIVEIRA, M. V. M. ; MEDEIROS, Maria da Paz Nunes de ; SANTIAGO, Regivan Hugo Nunes . VIII Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2008. 2008. (Congresso).

9.
MARCOS, J.. XI Brazilian Symposium on Programming Languages. 2007. (Congresso).

10.
MARCOS, J.. Workshop on Logical and Semantic Frameworks, with Applications. 2007. (Congresso).

11.
MARCOS, J.. IX Brazilian Symposium on Formal Methods (SBMF 2006). 2006. (Congresso).

12.
MARCOS, J.. II International Colloquium on Metaphysics (II ICM). 2006. (Congresso).

13.
MARCOS, J.. International Conference on Graph Transformation (ICGT 2006). 2006. (Congresso).

14.
MARCOS, J.; BATENS, Diderik ; CARNIELLI, Walter Alexandre . Workshop on Paraconsistent Logic (WoPaLo). 2002. (Outro).

15.
D'OTTAVIANO, I. M. L. ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; ALVES, D. D. P. ; MARCOS, J. . II World Congress on Paraconsistency (WCP'2000). 2000. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Thiago Nascimento da Silva. A study on Proof Theory for paraconsistent logics. Início: 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Evelyn Fernandes Erickson. Investigação Acerca do Problema de Variância de Significado no Pluralismo Lógico. Início: 2017. Tese (Doutorado em Doutorado em Filosofia) - Universidade Federal do Rio Grande do Norte. (Orientador).

3.
João Daniel Dantas de Oliveira. Uma análise da Teoria das Descrições a partir de Sêmanticas Não-determinísticas. Início: 2017. Tese (Doutorado em Doutorado em Filosofia) - Universidade Federal do Rio Grande do Norte. (Orientador).

4.
Sanderson Molick Silva. O princípio da não contradição e seu estatuto lógico-metafísico. Início: 2016. Tese (Doutorado em Doutorado em Filosofia) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Thiago Nascimento da Silva. Algebraic Semantics for Nelson's Logic S. 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Joao Marcos de Almeida.

2.
João Daniel Dantas de Oliveira. Godel's Slingshot Revisited: Does Russell?s Theory of Descriptions Really Evade the Slingshot?. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Joao Marcos de Almeida.

3.
Evelyn Fernandes Erickson. An Investigation of Logical Pluralism and 𝐵-entailment. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Joao Marcos de Almeida.

4.
Sanderson Molick Silva. Of madness and many-valuedness: an investigation into Suszko's Thesis. 2015. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Joao Marcos de Almeida.

5.
Patrick Cesar Alves Terrematte. Construindo uma Infra-estrutura para o Ensino de Lógica através de Estratégias de Demonstração e Refutação: a integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Joao Marcos de Almeida.

6.
Adriano Alves Dodó. On Rich Modal Logics. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Joao Marcos de Almeida.

7.
Claudio Andrés Callejas Olguín. What is a fuzzy bi-implication?. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Joao Marcos de Almeida.

Iniciação científica
1.
Luís Cláudio Gouveia Rocha. Automação do cálculo do grau de expressividade e do poder dedutivo de matrizes determinísticas e não-determinísticas. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró-Reitoria de Pesquisa da Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

2.
Hannah Peregrino Alves. Matrizes não-determinísticas sob o ponto de vista da B-consequência. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró-Reitoria de Pesquisa da Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

3.
Fagner Morais Dias. Matrizes não-determinísticas sob o ponto de vista da B-consequência. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró-Reitoria de Pesquisa da Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

4.
Luís Cláudio Gouveia Rocha. Implementação de procedimentos de extração automática de axiomatizações corretas e completas baseadas no corte para sistemas lógicos finito-valorados determinísticos e não-determinísticos. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

5.
Elias Gabriel Amaral da Silva. Análise e implementação da usabilidade da ferramenta *Logicamente* para o ensino de lógica em e-learning. 2012. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

6.
Dalmo Vinícius Gomes Mendonça. Automação do cálculo do grau de expressividade de álgebras finitárias. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

7.
Otto Luís Pontes Soares de Araújo. Extração automática de axiomatizações corretas e completas para diversas classes importantes de sistemas dedutivos polivalentes. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

8.
Haniel Moreira Barbosa. Raciocínio equacional dirigido e formas normais. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

9.
Lucas Costa Pereira Cavalcante. Estudo computacional das meta-propriedades associadas a uma certa classe de lógicas modais e construtivas, codificadas na ferramenta de demonstração assistida *Isabelle*. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

10.
Dalmo Vinicius Gomes Mendonça. Implementação semi-automática de fragmentos e de extensões da lógica clássica em *Isabelle* a partir de sua contraparte semântica multivalorada. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

11.
Talis Lincoln Fonseca Barbalho. Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

12.
Lucas Costa Pereira Cavalcante. Definição de taticais em *ML* com vistas à automação dos procedimentos de decisão associados às lógicas implementadas em *Isabelle*. 2006. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

13.
Jacques Fux. Gödel's incompleteness theorems - an example of true yet unprovable sentence of mathematics (in Portuguese). 2000. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais. Orientador: Joao Marcos de Almeida.

Orientações de outra natureza
1.
Kaline Negreiros da Silva. Iniciação à Docência (Monitoria) em Ensino de Lógica & Fundamentos da Computação. 2014. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

2.
Kaline Negreiros da Silva. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

3.
Leandro Ferreira da Cunha. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

4.
Lucas Tomé Avelino Câmara. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

5.
Alisson Câmara Dias de Sousa. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2009. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

6.
Alexandre Everton Freire de Araújo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

7.
Lucas Costa Pereira Cavalcante. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

8.
Thales Vieira Galdino. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

9.
Luciano Pereira Vieira. Apoio ao desenvolvimento de uma suíte de ferramentas on-line de apoio ao ensino de LÓGICA. 2008. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

10.
Fred de Castro Santos. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

11.
Otto Luis Pontes Soares de Araújo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

12.
João Maria Guedes da Cruz Júnior. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

13.
Ronkaly Carlos Silvestre de Souza. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

14.
Thiago Medeiros Barros. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

15.
Leidson da Silva Germano. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

16.
Kalinne Rayana Cavalcanti Pereira. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

17.
Daniel Cunha da Silva. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2006. 0 f. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

18.
Clarissa Araújo Azevedo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2006. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.



Inovação



Projetos de pesquisa

Outros projetos


Educação e Popularização de C & T



Artigos
Artigos aceitos para publicação
1.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; MARCOS, JOAO ; CALEIRO, C. ; PINHEIRO, J. . Semi BCI algebras. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2018.



Outras informações relevantes


Google Scholar: 
http://scholar.google.com.br/citations?hl=pt-BR&user=fVoG0bYAAAAJ&view_op=list_works&pagesize=100



Página gerada pelo Sistema Currículo Lattes em 16/11/2018 às 5:26:13