Jair Minoro Abe

Jair Minoro Abe received his B.A. and M.Sc. in Pure Mathematics from the University of São Paulo, Brazil, where he also earned his Doctorate and the Livre-Docente title. He is a Full Professor at Paulista University, Brazil, and served as the Coordinator of the Logic Area at the Institute of Advanced Studies, University of São Paulo, from 1987 to 2019. Throughout his scientific career, he has been dedicated to the study and application of paraconsistent systems and is internationally recognized as one of the pioneers in the field. His research interests include Paraconsistent Annotated Logic, Artificial Intelligence, Artificial Neural Networks in Biomedicine and Automation, among others. He is also a Senior Member of IEEE.

Informações coletadas do Lattes em 01/05/2022

Acadêmico

Formação acadêmica

Doutorado em Filosofia

1989 - 1992

Universidade de São Paulo
Título: Fundamentos da Lógica Anotada
Orientador: Newton Carneiro Affonso da Costa
, Ano de obtenção: 1992. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Lógica Paraconsistente Anotada; Lógicas Não-clássicas.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógicas Não Clássicas.

Mestrado em Matemática

1979 - 1983

Universidade de São Paulo
Título: Fundamentos da Geometria Ordenada, Ano de Obtenção: 1983
Orientador: Newton Carneiro Affonso da Costa
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Geometria Ordenada; Fundamentos da Geometria.Grande área: Ciências Exatas e da Terra

Graduação em Bacharelado em Matemática

1974 - 1978

Universidade de São Paulo

Ensino Médio (2º grau)

1971 - 1973

Colégio Estadual Prof. Gabriel Ortiz

Ensino Fundamental (1º grau)

1967 - 1970

Colégio Estadual Prof. Gabriel Ortiz

Ensino Fundamental (1º grau)

1965 - 1966

Grupo Escolar Prof. José Bartocci

Ensino Fundamental (1º grau)

1963 - 1965

Grupo Escolar de Vila Ré

Formação complementar

1990 - 1990

Curso de Curta Duração. , Shizuoka University, SHIZUOKA UNIV., Japão.

1989 - 1989

Curso de Curta Duração. , VIII Encontro Latino Americano de Lógica, VIIEALM, Brasil.

1989 - 1989

Curso de Curta Duração. , VIII Encontro Latino Americano de Lógica, VIIEALM, Brasil.

1989 - 1989

Curso de Curta Duração. , VIII Encontro Latino Americano de Lógica, VIIEALM, Brasil.

1989 - 1989

Curso de Curta Duração. , VIII Encontro Latino Americano de Lógica, VIIEALM, Brasil.

1988 - 1988

Curso de Curta Duração. , XI Encontro Brasileiro de Lógica, IXEBL, Brasil.

1988 - 1988

Curso de Curta Duração. , XI Encontro Brasileiro de Lógica, IXEBL, Brasil.

1987 - 1987

Curso de Curta Duração. , Universidade Estadual de Campinas, UNICAMP, Brasil.

1986 - 1986

Curso de Curta Duração. , Fundação Instituto de Pesquisas Econômicas, FIPE, Brasil.

1986 - 1986

Curso de Curta Duração. , VIII Encontro Brasileiro de Lógica, CTA, Brasil.

1986 - 1986

Curso de Curta Duração. , VIII Encontro Brasileiro de Lógica, CTA, Brasil.

1986 - 1986

Curso de Curta Duração. , Conservatório Musical de Ilha Solteira, CMIS, Brasil.

1979 - 1979

Curso de Curta Duração. , Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.

1978 - 1978

Curso de Curta Duração. , Universidade de São Paulo, USP, Brasil.

1976 - 1976

Curso de Curta Duração. , Universidade de São Paulo, USP, Brasil.

1976 - 1976

Curso de Curta Duração. , Universidade de São Paulo, USP, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Bandeira representando o idioma Japonês

Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Engenharias / Área: Engenharia de Produção.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Paraconsistente.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial/Especialidade: Automação e Robótica.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Algébrica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial/Especialidade: Fundamentos da Ciência da Computação.

Organização de eventos

PATNAIK, S. ; ABE, JAIR . International Symposium on Artificial Intelligence & Machine Learning ISAIML-2025. 2025. (Congresso).

ABE, J.M. ; AHARARI, A. . IS04: Reasoning-based Intelligent Applied Systems. 2025. (Congresso).

ABE, J.M. ; AHARARI, A. . IS27: Reasoning-based Intelligent Applied Systems. 2025. (Congresso).

ABE, J.M. . International Conference on Advanced Intelligent Technologies (ICAIT2024). 2024. (Congresso).

ABE, J.M. . IS06: Reasoning-Based Intelligent Applied Systems. 2024. (Congresso).

ABE, J.M. . Reasoning-Based Intelligent Applied Systems - KES IDT 2023. 2023. (Congresso).

ABE, J.M. . IS27: Reasoning-based Intelligent Applied Systems, KES-2021 - 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2021. (Congresso).

ABE, J.M. . VII International Workshop on Intelligent Computing Systems. 2019. (Congresso).

ABE, J.M. ; Nakamatsu, K. . Reasoning Based Intelligent Systems KES International Conference on Intelligent Decision Technologies, IDT-2016. 2016. (Congresso).

ABE, J.M. ; PIMENTA JR., A. P. . IV Workshop on Intelligent Computing Systems ? WICS2016. 2016. (Congresso).

ABE, J.M. ; Nakamatsu, K. . KES International Conference on Intelligent Decision Technologies, IDT-2015. 2015. (Congresso).

ABE, J.M. ; DA SILVA FILHO, J. I. . 3rd Workshop on Intelligent Computing Systems ? WICS2015. 2015. (Congresso).

ABE, J.M. ; DA SILVA FILHO, J. I. . III Workshop on Intelligent Computing Systems. 2015. (Congresso).

ABE, J.M. ; Amaral, F.V. . I Simpósio Empresarial de Tomada de Decisão. 2015. (Congresso).

Nakamatsu, K. ; ABE, J.M. . Reasoning-based Intelligent Systems - KES-2014 18th Annual KES Conference. 2014. (Congresso).

ABE, J.M. . II Workshop on Intelligent Computing Systems ? WICS2014. 2014. (Congresso).

Nakamatsu, K. ; ABE, J.M. . Reasoning Based Intelligent Systems - KES IDT 2014. 2014. (Congresso).

ABE, J.M. . Reasoning-Based Intelligent Systems. 2013. (Congresso).

ABE, J.M. . First Workshop Intelligent Computing System - WICS 2013. 2013. (Congresso).

Nakamatsu, Kazumi ; ABE, J.M. . Reasoning-Based Intelligent Systems. 2012. (Congresso).

Nääs, I.A. ; ALMEIDA, C. M. V. B. ; VENDRAMETTO, Oduvaldo ; ABE, J.M. ; BONILLA, S. H. . Sustainable Innovations in Products and Services in Developing Countries. 2012. (Congresso).

ABE, J.M. ; Balas, V.E. . Fuzzy and Paraconsistent Intelligent Systems. 2011. (Congresso).

ABE, J.M. ; Nakamatsu, Kazumi . Reasoning-Based Intelligent Systems in KES2011. 2011. (Congresso).

ABE, J.M. . Sustainable initiatives in developing countries. 2010. (Congresso).

ABE, J.M. ; NAKAMATSU, K . Reasoning-based Intelligent Systems, The Fourth International Conference On Genetic and Evolutionary Computing 2010. 2010. (Congresso).

NAKAMATSU, K ; ABE, J.M. . International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT2010). 2010. (Congresso).

ABE, J.M. . 4th International Workshop on Soft Computing Applications - SOFA2010. 2010. (Congresso).

ABE, J.M. . The 2nd International Symposium on Intelligent Decision Technologies, KES IDT 2010. 2010. (Congresso).

ABE, J.M. . Invited Session Reasoning Based Intelligent Systems dentro do KES'2010, 14th Annual KES Conference. 2010. (Congresso).

NAKAMATSU, K ; ABE, J.M. . First KES International Symposium on Intelligent Decision Technologies - IDT'09. 2009. (Congresso).

ABE, J.M. . 5th Congress of Logic Applied to Technology ? LAPTEC?2007. 2007. (Congresso).

ABE, J.M. ; CARVALHO, Fábio Romeu de . Non-classical Logics and Decision Making Techniques. 2007. (Congresso).

ABE, J.M. . Handling Inconsistencies And Uncertainties In Artificial Intelligence And Robotics. 2003. (Congresso).

ABE, J.M. ; TORRES, Germano Lambert . 4th CONGRESS OF LOGIC APPLIED TO TECHNOLOGY - LAPTEC2003. 2003. (Congresso).

ABE, J.M. . The Third Congress of Logic Applied to Technology. 2002. (Congresso).

ABE, J.M. . Paraconsistency In Artificial Intelligence And Robotics. 2002. (Congresso).

ABE, J.M. . Lógica Paraconsistente, Inteligencia Artificial y Robotica. 2002. (Congresso).

ABE, J.M. . The Second Congress of Logic Applied to Technology - LAPTEC'2001. 2001. (Congresso).

ABE, J.M. . Handling Inconsistencies in AI and Robotics. 2001. (Congresso).

ABE, J.M. . Primeiro Congresso de Lógica Aplicada à Tecnologia - LAPTEC'2000. 2000. (Congresso).

Participação em eventos

KES2025. Mogura Taiji Eτ / The Mole Buster ? A paraconsistent logic annotated evidential Eτ approach to enhance WAFs. 2025. (Congresso).

16th International KES Conference, KES-IDT-24. Similitude Assessment Using Iramuteq Considering The Triad, Corporate Governance and the Risk. 2024. (Congresso).

16th International KES Conference, KES-IDT-24. An analysis of the cargo theft and robbery rates of an e-commerce company. 2024. (Congresso).

ICAIT 2024. Paraconsistent Annotated Logics & AI. 2024. (Congresso).

KES-2024, 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. A Novel Approach for Commercial Opportunities Qualification Using the BANT Methodology under the Fuzzy Set Theory Framework. 2024. (Congresso).

no KES-2024, 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. Optimization of ESG actions in Naval Terminal through the Compliance area. 2024. (Congresso).

XLIV Encontro Nacional De Engenharia De Produção "Reindustrialização no Brasil". Aumentando o Desempenho do Ciclo de Vendas: Aplicação da Lógica Paraconsistente Anotada Evidencial Eτ à Metodologia Bant na Qualificação de Oportunidades Comerciais. 2024. (Congresso).

7th International Conference on Artificial Intelligence and Virtual Reality AIVR 2023. Paraconsistency and Paracompleteness in AI. 2023. (Congresso).

7th International Conference on Artificial Intelligence and Virtual Reality AIVR 2023. Paraconsistency and Paracompleteness in AI. 2023. (Congresso).

The 4th International Conference on Advanced Intelligent Technologies (ICAIT2023). Handling Paraconsistency and Paracompleteness in AI and Automation. 2023. (Congresso).

2019 ASABE Annual International Meeting. Classification of pig stress condition using paraconsistent logic. 2019. (Congresso).

2019 ASABE Annual International Meeting. Automatic prediction of stress in piglets using skin temperature and paraconsistent logic. 2019. (Congresso).

2nd International Conference on Mathematical Applications 19 ? ICMA19. Software For Six Sigma Projects with the Use of the Paraconsistent Logic. 2019. (Congresso).

2nd International Conference on Mathematical Applications 19 ? ICMA19. Application of Paraconsistent Annotated Logic in Prototype of Autonomous Vehicle in 1:24 Scale. 2019. (Congresso).

ICMA19 - 2nd International Conference On Mathematical Applications. Paraconsistent Logic and its Implication to AI and Technology. 2019. (Congresso).

VII International Workshop on Intelligent Computing Systems. O Papel das Lógicas Não Clássicas em IA. 2019. (Congresso).

XIX Encontro Científico.Ciência e Pesquisa - Aspectos Basilares. 2019. (Encontro).

53 International Scientific Conference on Information, Communication and Energy Systems and Technologies ICEST2018. Organizational Culture Assessment Using Paraconsistent Logic Method of Evaluation. 2018. (Congresso).

53 International Scientific Conference on Information, Communication and Energy Systems and Technologies ICEST2018. An Expert System for Uncertain, Inconsistent, and Paracomplete Data Decision-Making. 2018. (Congresso).

53 International Scientific Conference on Information, Communication and Energy Systems and Technologies ICEST2018. Organizational Culture Assessment Using Paraconsistent Logic Method of Evaluation. 2018. (Congresso).

8th International Congress of Information and Communication Technology (ICICT-2018).. Organizational Climate Assessment Using the Paraconsistent Decision Method. 2018. (Congresso).

International Symposium on Innovations of Intelligent Systems and Applications INISTA2018. Handling Paraconsistency and Paracompleteness in Robotics. 2018. (Congresso).

International Symposium on Innovations of Intelligent Systems and Applications INISTA2018. Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic: Six Sigma Adherence Assessment Method Using Paraconsistent Logic. 2018. (Congresso).

International Symposium on Innovations of Intelligent Systems and Applications INISTA2018. Paraconsistent Extractor of Mammographic Images Applied in the Process of Diagnosis of Breast Cancer Assisted by Computer. 2018. (Congresso).

International Symposium on Innovations of Intelligent Systems and Applications INISTA2018. Develop an Embedded IoT Hardware ?A-Sight? and It?s Applications. 2018. (Congresso).

NETLOG2018, Logistics Challenges in the New Economy: Sharing and Interconnected Industry. Análise da Segurança Cibernética em Veículos Autônomos (Cybersecurity analysis in autonomous vehicles). 2018. (Congresso).

NETLOG2018, Logistics Challenges in the New Economy: Sharing and Interconnected Industry. Um Estudo em Rede de Análise Paraconsistente. 2018. (Congresso).

NETLOG2018, Logistics Challenges in the New Economy: Sharing and Interconnected Industry. Estudo da Vocalização de Suínos Usada para Identificação do Indivíduo. 2018. (Congresso).

NETLOG2018, Logistics Challenges in the New Economy: Sharing and Interconnected Industry. Study of the flowchart of the Paraconsistent Annotated Logic (LPA) algorithm to support decision making in project recount in the function point analysis technique. 2018. (Congresso).

Special Session on Reasoning-based Intelligent Systems (RIS?18) In International Symposium on Innovations of Intelligent Systems and Applications INISTA2018. Paraconsistent Logic and Its Implication to AI and Technology. 2018. (Congresso).

SSTU - Samara State Transport University, Russia.Paraconsistent Logic and its Implication to AI and Technology. 2018. (Outra).

The 8th International Congress of Information and Communication Technology - ICICT2018. Using Logic Concepts in Software Measurement. 2018. (Congresso).

The 8th International Congress of Information and Communication Technology - ICICT2018. Organizational Climate Assessment Using the Paraconsistent Decision Method. 2018. (Congresso).

The First IEEE International Symposium on Artificial Intelligence for ASEAN Development - ASEAN-AI 2018. Internet of Things (IoT) Based Public Transportation Monitoring System. 2018. (Congresso).

Workshop on Reasoning-based Intelligent Systems (WRIS?18) - International Scientific Conference on Information, Communication and Energy Systems and Technologies ICEST2018. Paraconsistency and Paracompleteness ? Applications. 2018. (Congresso).

XXXVIII International Sodebras Congress. Método Paraconsistente de Dependencia Digital. 2018. (Congresso).

XVII Encontro Científico.Paraconsistência em Informática e Inteligência Artificial. 2017. (Encontro).

Advances in Information and Communication Technology, APMS 2016. Mitigating Serialization and Traceability, an Implementation and Suitability Study about Strategies of RDC nº. 54 of 2013. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. Mitigating Serialization and Traceability, an Implementation and Suitability Study about Strategies of RDC nº. 54 of 2013. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. IT Incident Management and analysis using Non-Classical Logics, Advances in Production Management Systems. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. Determination of operating parameters and performance analysis of computer networks with Paraconsistent Annotated Evidential Logic Eτ. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. Logical Decision-Making method relating to Innovation Management, Advances in Production Management Systems. Initiatives for a Sustainable World. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. Using Logic Concepts on Six Sigma, Advances in Production Management Systems. 2016. (Congresso).

Advances in Information and Communication Technology, APMS 2016. Applying the Paraconsistent Annotated Evidential Logic Eτ in a Solar Tracker for Photovoltaic Panels. 2016. (Congresso).

IV Workshop on Intelligent Computing Systems ? WICS2016.Lógica Paraconsistente e Aplicações. 2016. (Simpósio).

Smart Digital Futures Multi-topic Conference KES IDT 2016. Paraconsistent Logic and Its Implication to AI and Technology. 2016. (Congresso).

The XIV International Conference on Engineering and Technology Education ? INTERTECH2016. A Comparative Study Of Quality Tools And Methods To Promote The Continuous Improvement In Organizations. 2016. (Congresso).

XIV International Conference on Engineering and Technology Education. A Comparative Study Of Quality Tools And Methods To Promote The Continuous Improvement In Organizations, Providing Knowledge to grant the Quality of Information Tools: a current Global Challenge. 2016. (Congresso).

XVI Encontro Científico da Vice-Reitoria de Pós-Graduação e Pesquisa da UNIP.Paraconsistência em Informática e Inteligência Artificial. 2016. (Encontro).

7th International KES Conference on Intelligent Decisions Technologies KES-IDT-15. Propositional Algebra P1. 2015. (Congresso).

AMPS 2015 - International Conference Advances in Production Management Systems. A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. Learning assessment using non-classical logics. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. Paraconsistent Artificial Neural Network Applied in Breast Cancer Diagnosis Support. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. Importance of bidimensional Data Matrix code against medicine counterfeiting. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. An analyzer of computer network logs based on Paraconsistent Logic. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. Power optimization in Photovoltaic panels through the application of Paraconsistent Annotated Evidential Logic Eτ. 2015. (Congresso).

APMS 2015 - International Conference In Producyion Management Systems. Priority modes of transport for soybeans from the Center-West Region in Brazil. 2015. (Congresso).

III Workshop on Intelligent Computational Systems.Uma Introdução à Lógica Paraconsistente. 2015. (Simpósio).

Reasoning-based Intelligent Systems Research Workshops RIS-RW), como parte do International Scientific Conference on Information, Communication and Energy Systems and Technologies ICEST2015. Paraconsistent Logics and Applications. 2015. (Congresso).

VII Simpósio Multidisciplinar da Estácio São Paulo ? SIMESP2015.Análise de Incidentes Críticos: Um Estudo em TI. 2015. (Simpósio).

6th KES International Conference on Intelligent Decision Technologies, IDT-2014,. A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. 2014. (Congresso).

II Workshop on Intelligent Computing Systems.A Importância da Lógica Paraconsistente nas Aplicações. 2014. (Simpósio).

XXXVI Encontro Nacional de Engenharia de Produção ? ENEGEP.Análise da Carga Mental dos Estudantes de Tecnologia da Informação. 2014. (Encontro).

First Workshop Intelligent Computing System - WICS 2013.Mediador. 2013. (Simpósio).

KES-2013 17th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. MICR Automated Recognition Based on Paraconsistent Artificial Neural Networks. 2013. (Congresso).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Aspectos Algébricos do Cálculo Proposicional C1. 2013. (Simpósio).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Aspectos Práticos da Implementação de Redes Neurais Artificiais Paraconsistentes. 2013. (Simpósio).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Buscando Sustentabilidade Energética, Através de um Carregador de Baterias Solar Auto-Orientável baseado na Lógica Paraconsistente. 2013. (Simpósio).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Análise Cefalométrica Para Auxílio ao Diagnóstico Ortodôntico Utilizando as Redes Neurais Artificiais Paraconsistentes. 2013. (Simpósio).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Reconhecimento de Caracteres Numéricos Baseado nas Redes Neurais Artificiais Paraconsistentes. 2013. (Simpósio).

Primeiro Workshop Intelligent Computing Systems ? WICS2013.Dispositivo Eletrônico Para Auxílio na Locomoção de Deficientes Visuais e/ou Auditivos Baseado na Lógica Paraconsistente Anotada Evidencial Et. 2013. (Simpósio).

XIII Encontro Científico.Aspectos de Trajetória em Pesquisa e em Ensino. 2013. (Encontro).

3rd ICNIT2012, International Conference on Next Generation Information Technology. Common-Sense Reasoning in Constructive Discursive Logic. 2012. (Congresso).

The Seventh International Conference on Systems, ICONS 2012. Intelligent Safety Verification for Pipeline Process Order Control Based on bf-EVALPSN. 2012. (Congresso).

ICCCI 2011, 3rd International Conference on Computational Collective Intelligence - Technologies and Applications. Applications of Paraconsistent Artificial Neural Networks in EEG. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Lógica Paraconsistente Anotada Evidencial E Aplicada a Cenários. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. A Lógica Paraconsistente na Enfermagem: Construção de um Protótipo para Seleção de Diagnósticos e Classificação dos Resultados de Enfermagem. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Virtualização, Alternativa aos Crescentes Gastos com Novos Computadores em Empresas e Universidades. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Revisitando o Framework para a Gestão de Riscos em projetos de Software,. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Cluster de Alto Desempenho: Agregando Valor à Infra-estrutura Computacional das Universidades. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Lógica Paraconsistente Anotada Evidencial E e Raciocínio Baseado em Caso: Uma Ferramenta para Diagnóstico da Depressão. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Tomada de Decisão para Seleção dos Testes de regressão Utilizando Lógica Paraconsistente Anotada Evidencial E,. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Facilidade de Atualização de Softwares Através da Utilização de Servidores Mirror. 2011. (Congresso).

International Conference on Engineering and Computer Education, ICECE 2011. Interações, Fluxos e Conhecimento: Estudo de Caso da Ferramenta Moodle Baseado em Análise Gráfica de Redes. 2011. (Congresso).

International Symposium on Engineering Education, IGIP 2011.Modelo de Negócio de Software: Análise de Inovação no Caso Brasileiro. 2011. (Simpósio).

International Symposium on Engineering Education, IGIP 2011.Distribuição Dinâmica de Elevadores para Um Conjunto de Andares Utilizando Lógica Paraconsistente Anotada Evidencial Et. 2011. (Simpósio).

VI Workshop de Pós-Graduação e Pesquisa do Centro Paula Souza.A Aplicação do BPM e as suas Soluções na Modelagem de Processos de Negócio. 2011. (Encontro).

4th International Workshop on Soft Computing Applications - SOFA2010. Paraconsistent Logics and Applications. 2010. (Congresso).

EURO XXIV 24th European Conference on Operational Research. Paraconsistent Annotated Evidencial Logic Et and Decision-Making Method in Fuzzy Set Theory. 2010. (Congresso).

Universitatea Politehnica Din Timisoara.Paraconsistent Logics and Applications. 2010. (Seminário).

X Encontro Científico.Ci^ncia e Pesquisa. 2010. (Encontro).

XXIV 24th European Conference on Operational Research. Paraconsistent Artificial Neural Network ? PANN and EEG Analysis. 2010. (Congresso).

EURO XXIII, 23rd European Conference on Operational Research. Towards Conflict Resolution in Agent Systems. 2009. (Congresso).

EURO XXIII, 23rd European Conference on Operational Research. Decision Making Method with Paraconsistent Annotated Logic Tools and its Application in Selection of Investment by Financial Institutions. 2009. (Congresso).

KES2008 - 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. 2008. (Congresso).

KES2008 - 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. 2008. (Congresso).

VIII Encontro Científico e X Encontro de Iniciação Científica UNIP/PIBIC-CNPq.Keller-Dispositivo Eletrônico Paraconsistente para Auxílio na Locomoção de Deficientes Visuais. 2008. (Encontro).

XV SIMPEP ? Simpósio de Engenharia de Produção.Avaliação de qualidade de produto de software utilizando Lógica Paraconsistente Anotada: estudo de caso com software ERP. 2008. (Simpósio).

XV SIMPEP ? Simpósio de Engenharia de Produção.Normas e modelos de qualidade como política de produção de software no contexto brasileiro. 2008. (Simpósio).

XV SIMPEP ? Simpósio de Engenharia de Produção.Visão holística do COBIT em relação a outros modelos de melhores práticas para governança de TI. 2008. (Simpósio).

6th Congress of Logic Applied to Technology ? LAPTEC?2007. Paraconsistent Logic And Applications. 2007. (Congresso).

6th Congress of Logic Applied to Technology ? LAPTEC2007. Paraconsistent Logic Programming and Before-after Relation. 2007. (Congresso).

6th Congress of Logic Applied to Technology ? LAPTEC2007. Paraconsistent Autonomous Móbile Robot and Temperature Sensors. 2007. (Congresso).

6th Congress of Logic Applied to Technology ? LAPTEC2007. Paraconsistent Logic as Extension of the Classical Logic. 2007. (Congresso).

8th International Conference on Computing Anticipatory Systems CASYS?2007. An extension of Fuzzy set theory encompassing inconsistencies and paracompleteness. 2007. (Congresso).

8th International Conference on Computing Anticipatory Systems CASYS?2007. Decision Making Method Based on Paraconsistent Annotated Logic and Statistical Method: A Comparison. 2007. (Congresso).

International Workshop on System Science and Engineering.Manipulating Conflicting and Uncertainty in AI, Robotics, and Automation. 2007. (Simpósio).

VII Encontro Científico da Vice-Reitoria de Pós-Graduação e Pesquisa da UNIP.Keller-Dispositivo Eletrônico Paraconsistente para Auxílio na Locomoção de Deficientes Visuais. 2007. (Encontro).

Escuela Nacional de Ciencias Biológicas del IPN.El Concepto de Verdad en Matemáticas y en las Ciencias Biológicas. 2006. (Encontro).

EUROXXI, 21st European Conference on Operational Research. A decision-making theory for uncertain data? apresentado na sessão convidada ?Logics For Prevision and Decision. 2006. (Congresso).

EUROXXI, 21st European Conference on Operational Research. Paracontrol: a logical controller based on paraconsistent annotated logic and its applications. 2006. (Congresso).

EUROXXI, 21st European Conference on Operational Research. Logistics: na application of the Para-analzyser. 2006. (Congresso).

II Semana de Ciência & Tecnologia do Centro Federal de Educação Tecnológica de Minas Gerais ? CEFET-MG.Análise de Cenários através da Lógica Paraconsistente Anotada. 2006. (Seminário).

XIV Encontro de Pesquisadores Nikkeis.Lógica Paraconsistente Anotada Evidencial E: Uma Análise dos Fatores Críticos de Sucesso para Implementação de Sistemas ERP. 2006. (Encontro).

Naruto University of Education.Paraconsistent Logic and Applications. 2005. (Encontro).

The Fifth Congress of Logic Applied to Technology ? LAPTEC2005. Paraconsistency and Paracompleteness in Chellas?s Conditional Logics. 2005. (Congresso).

The Fifth Congress of Logic Applied to Technology ? LAPTEC2005. Digital Images: Weighted Automata, Theoretical Aspects. 2005. (Congresso).

The Fifth Congress of Logic Applied to Technology ? LAPTEC2005. Decision Making with Paraconsistent Annotated Logic Tools. 2005. (Congresso).

The Fifth Congress of Logic Applied to Technology ? LAPTEC2005. Modeling the Behaviour of Paraconsistent Robots. 2005. (Congresso).

V Encontro Científico da Vice-Reitoria de Pesquisa e Pós-Graduação da UNIP.Lógica Paraconsistente e Inteligência Artificial. 2005. (Encontro).

VI Encontro do Curso de Matemática.Ciência e Pesquisa. 2005. (Encontro).

VII Encontro Científico da Vice-Reitoria de Pós-Graduação e Pesquisa da UNIP.Folding@home-Processamento Distribuído. 2005. (Encontro).

2004? World Congress on Engineering and Technology Education. Gestão de riscos na implicação de ERP. 2004. (Congresso).

2004? World Congress on Engineering and Technology Education. Gerência de onfiguração em projetos de sistemas nas empresas de desenvolvimento de software de pequeno porte. 2004. (Congresso).

2004? World Congress on Engineering and Technology Education. Obtendo vantagem competitiva com a implementação do business intelligence. 2004. (Congresso).

2004? World Congress on Engineering and Technology Education. Metodologia de desenvolvimento de sistemas de informação para Internet. 2004. (Congresso).

2004? World Congress on Engineering and Technology Education. Modelano pocessos de negócios com RUP em busca de excelência no desenvolvimento de software. 2004. (Congresso).

2004' World Congress on Engineering and Technology Education. 2004'World Congress on Engineering and Technology Education. 2004. (Congresso).

7o Congresso de Produção Científica e 6o Seminário de Extensão da Universidade Metodista de São Paulo.Ciência e Pesquisa. 2004. (Simpósio).

8th International Conference Knowlwdge-Based Intelligent Information and Engineering Systems. Paraconsistent Artificial Neural Networks: an Introduction. 2004. (Congresso).

8th International Conference Knowlwdge-Based Intelligent Information and Engineering Systems. Para-fuzzy logic controller. 2004. (Congresso).

Centro de Aprimoramento de Pessoal e Diretoria Executiva dos LIMs.Lógica paraconsistente: um instrumento a serviço da Biomedicina do século XXI. 2004. (Encontro).

IV Encontro Científico da UNIP.Lógica paraconsistente e Inteligência Artificial. 2004. (Encontro).

Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004. Knowlwdge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004. 2004. (Congresso).

Semana Tecnológica - SETI2004.Lógica paraconsistente e Aplicações em Inteligência Artificial. 2004. (Encontro).

4th Congress of Logic Applied to Technology. Coordenador Geral. 2003. (Congresso).

7th International Conference on Computing Anticipatory Systems. Paraconsistent annotated logic in analysis of viability: an approach to product launching. 2003. (Congresso).

III ENCONTRO CIENTÍFICO.Lógica Paraconsistente e Inteligência Artificial. 2003. (Encontro).

Infom@t2003.Inteligência Artificial Hoje. 2003. (Simpósio).

IPMM?03, The Fourth International Conference on Intelligent Processing and Manufacturing of Materials. Defesiable deontic traffic signal control based on a paraconsistent logic program EVALPSN. 2003. (Congresso).

na I Jornada Ceciliana de Iniciação Científica.Diagnóstico de Disfunções do Crescimento Craniofacial através de técnicas de Inteligência Artificial. 2003. (Encontro).

Shizuoka University.Paraconsistent Logics: an overview. 2003. (Encontro).

The 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2003. An application of paraconsistent annotated logic in decision making: an approach for university management. 2003. (Congresso).

The 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2003. Ehrenfeucht Games and Paraconsistent Annotated Logics. 2003. (Congresso).

The 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2003. Ehrenfeucht Games and Paraconsistent Annotated Logics. 2003. (Congresso).

The 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2003. An application of paraconsistent annotated logic in decision making: an approach for university management. 2003. (Congresso).

XXII Encontro Nacional de Engenharia de Produção.Método de Análise Pelo Baricentro (MAB): Uma aplicação do processo de tomadas de decisão com ferramentas da Lógica Paraconsistente Anotada. 2003. (Encontro).

1@ CICET - Congresso do Instituto de Ciências Exatas e Tecnologia, TI - Tecnologia da Informação e BI - Business Intelligence aplicadas aos negócios. 1@ CICET - Congresso do Instituto de Ciências Exatas e Tecnologia, TI - Tecnologia da Informação e BI - Business Intelligence aplicadas aos negócios. 2002. (Congresso).

2002 IEEE International Conference on Systems, Man and Cybernetics. Paraconsistent logic program based safety verification for air traffic control. 2002. (Congresso).

2002 IEEE International Conference on Systems, Man and Cybernetics. 2002 IEEE International Conference on Systems, Man and Cybernetics. 2002. (Congresso).

3rd Congress of Logic Applied to Technology ? LAPTEC?2002. Paraconsistent logics viewed as a foundation of Data Warehouses. 2002. (Congresso).

Conferencia Iberoamericana en Sistemas, Cibernética e Informática. Um Robô Autônomo com um Sistema de Controle Microprocessado Baseado em Lógica Paraconsistente. 2002. (Congresso).

II ENCONTRO CIENTÍFICO DA VICE-REITORIA DE PESQUISA E PÓS-GRADUAÇÃO.Lógica Paraconsistente e Inteligência Artificial. 2002. (Encontro).

PSAM 6 International Probabilistic Safety Assessment and Management Conference. A Theoretical Framework for the Safety Verification of Air Traffic Control by Air Traffic Controllers Based on Extended Vector Annotated Logic Program. 2002. (Congresso).

Second Internatioal Conference on Hybrid Intelligent Systems ? HIS´2002. A railway interlocking safety verification systems based on abductive paraconsistent logic programming. 2002. (Congresso).

The 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2002. Paraconsistent multimodal systems Fn. 2002. (Congresso).

The 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2002. Paraconsistent Artificial Neural Networks and Its Application On Pattern Recognition. 2002. (Congresso).

The 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI?2002. Incorporating Time In Paraconsistent Reasoning. 2002. (Congresso).

The 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI'2002. Handling Inconsistent and Fuzzy Systems of Information. 2002. (Congresso).

2nd Congress of Logic Applied to Technology ? LAPTEC?2001. The degree in paraconsistent logics. 2001. (Congresso).

2nd Congress of Logic Applied to Technology ? LAPTEC?2001. Applications of EVALP based reasoning. 2001. (Congresso).

2nd Congress of Logic Applied to Technology ? LAPTEC?2001. Ehrenfeucht theorem for the annotated logics Qt. 2001. (Congresso).

2nd Congress of Logic Applied to Technology ? LAPTEC?2001. Emmy: a paraconsistent autonomous mobile robot. 2001. (Congresso).

2nd Congress of Logic Applied to Technology ? LAPTEC?2001. A formalization for signal analysis of information in annotated paraconsistent logics. 2001. (Congresso).

2nd Congress of Logic Applied to Technology - LAPTEC'2001. 2nd Congress of Logic Applied to Technology - LAPTEC'2001, São Paulo, Brasil. 2001. (Congresso).

9a. Reunião da SBPN ? Sociedade Brasileira de Pesquisadores Nikkeis.Sistemas de Controle Microprocessado para Aplicações em Circuitos de Robô Móvel Autônomo Baseado em Lógica Paraconsistente. 2001. (Encontro).

9a. Reunião da SBPN ? Sociedade Brasileira de Pesquisadores Nikkeis.Evolução Artificial no Projeto de Microprocessadores Configuráveis. 2001. (Encontro).

9a. Reunião da SBPN ? Sociedade Brasileira de Pesquisadores Nikkeis,.Paraconsistência e Paracompleteza em Representação de Conhecimento em Sistemas Multi-Agentes. 2001. (Encontro).

9a. Reunião da SBPN ? Sociedade Brasileira de Pesquisadores Nikkeis,.Um Resultado em Teoria Anotada de Modelos. 2001. (Encontro).

ALCATEL FORUM 2001. 2001. (Feira).

Conferencia Iberoamericana en Sistemas, Cibernética e Informática ? CISCI?2002. Um Robô Autônomo com um Sistema de Controle Microprocessado Baseado em Lógica Paraconsistente. 2001. (Congresso).

Fifth International Conference on Computing Anticipatory Systems, CASYS?2001. A Logical System for Reasoning with Inconsistent Deontic Modalities. 2001. (Congresso).

Fifth International Conference on Computing Anticipatory Systems, CASYS?2001. Simulating Inconsistencies in a Paraconsistent Logic Controller. 2001. (Congresso).

Fifth International Conference on Computing Anticipatory Systems, CASYS'2001. Deafeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming. 2001. (Congresso).

Intelligent Processing and Manufacturing of Materials, IPMM-2001. Defeasible Robot Control Based on Vector Annotated Logic Programming. 2001. (Congresso).

Intelligent Processing and Manufacturing of Materials, IPMM-2001, The 3rd International Conference. Deontic Verification for Railway Interlocking Safety Based on Vector Annotated Logic Programming. 2001. (Congresso).

International Conference on Artificial Intelligence, IC-AI?2001. On some aspects of decidability of annotated systems. 2001. (Congresso).

The 14th Australian Joint Conference on Artificial Intelligence (AI'01). Extended Vector Annotated Logic Programming and its Applications to Robot Action Control and Automated Safety Verification. 2001. (Congresso).

The 2nd International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA'2001),. An Automated Safety Verification for Railway Interlocking Based on Extended Vector Annotated Logic Programming. 2001. (Congresso).

The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2001. Para-Control: An Analyser Circuit Based On Algorithm For Treatment of Inconsistencies. 2001. (Congresso).

The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2001. The role of inconsistency in informations systems. 2001. (Congresso).

The 5th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2001,. A new knowledge logical system for handling inconsistencies in AI. 2001. (Congresso).

8th International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems, IPMU'2000. Fuzzy annotated logics. 2000. (Congresso).

Eighteenth IASTED International Conference on Applied Informatics (AI 2000). Annotated Rules with Uncertainty in Expert Systems. 2000. (Congresso).

Fourth International Conference on Computing Anticipatory Systems, CASYS?2000. Paraconsistent electronic circuits. 2000. (Congresso).

Fourth International Conference on Computing Anticipatory Systems, CASYS'2000. Paraconsistent analyser module. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Aspectos Sobre Aplicações dos Sistemas Paraconsistentes. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Annotated logics and uncertainty. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Para-Sim: Simulador de Controle Lógico Paraconsistente. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. A survey on BCK and BCI algebras. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Emmy: um robõ autônomo móvel paraconsistente. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Raciocínio automático em lógica deôntica ?defeasible?? paraconsistente. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Modalities, paraconsistency, paracompleteness, and AI. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. Limitações impostas por tarnsições morfológicas complexas. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia ? LAPTEC?2000. On Jáskowski?s Annotated Discursive Logic. 2000. (Congresso).

I Congresso de Lógica Aplicada à Tecnologia - LAPTEC'2000. Annotated logics Qt and model theory. 2000. (Congresso).

I Encontro Científico da Vice-Reitoria de Pesquisa e Pós-Graduação.Lógica Paraconsistente e Inteligência Artificial. 2000. (Encontro).

II World Congress on Paraconsistency, WCP'2000. Emmy: a paraconsistent autonomous robot. 2000. (Congresso).

International Conference on Advanced Metrology. Managing Uncertainty in Machine Vision Metrology with Paraconsistent Logic. 2000. (Congresso).

International Conference on Engineering and Computer Education ? ICECE?2000. Robô móvel autônomo Emmy: uma eficiente ferramenta para o ensino de Automação e Robótica. 2000. (Congresso).

RSCTC'2000 - Rough Sets and Current Trends in Computing. Annotated Semantics for Defeasible Deontic Reasoning. 2000. (Congresso).

12th Australian Joint Conference on Artificial Intelligence (AI?99). Defesiable Reasoning Based on VALPSN and applications. 1999. (Congresso).

3rd Australian Commonsense Reasoning Workshop, 12th Australian Joint Conference on Artificial Intelligence. 3rd Australian Commonsense Reasoning Workshop, 12th Australian Joint Conference on Artificial Intelligence (AI'99), Sydney, Austrália, 1999 (com K. Nakamatsu e A. Suzuki).. 1999. (Congresso).

7a Reunião Anual da Sociedade Brasileira de Pesquisadores Nikkeis ? SBPN. Estudo Sobre a Representação do Conhecimento Humano em Inteligência Artificial empregando-se uma Lógica Paraconsistente. 1999. (Congresso).

7a Reunião Anual da Sociedade Brasileira de Pesquisadores Nikkeis ? SBPN.Recepção e Teste de Veículos de Transporte de Valores para Manutenção. 1999. (Simpósio).

7a Reunião Anual da Sociedade Brasileira de Pesquisadores Nikkeis ? SBPN.Lógica Paraconsistente Aplicada nos Processos de Tomada de Decisão em Controle de Qualidade e Análise de Valor. 1999. (Simpósio).

AAAI'99 Workshop on Agents'Conflicts. Defeasible Reasoning Between Conflicting Agents Based on VALPSN. 1999. (Congresso).

CASYS?99, Third International Conference on Computing Anticipatory Systems,. Paraconsistent logic programming - Paralog. 1999. (Congresso).

CIMCA?99, International Conference on Computational Intelligence for Modelling Control and Automation. Reasonings Based On Vector Annotated Logic Programs. 1999. (Congresso).

IASTED International Conference on Artitficial Intelligence and Soft Computing. Para-Analyser and Inconsistencies in Control Systems. 1999. (Congresso).

IASTED International Conference on Artitficial Intelligence and Soft Computing. A Logical System for Reasoning with Fuzziness and Inconsistencies in Distributed Systems. 1999. (Congresso).

International Conference on Logic Programming 1999.Epistemic States In Paraconsistent Logic Programming. 1999. (Simpósio).

IPMM?99 The Second International Conference on Intelligent Processing and Manufacturing of Materials. A Framework for Intelligent Systems Based on Vector Annotated Logic Programs. 1999. (Congresso).

na 7a Reunião Anual da Sociedade Brasileira de Pesquisadores Nikkeis ? SBPN.Métodos de Aplicações da Lógica Paraconsistente Anotada. 1999. (Simpósio).

no VI Congresso Brasileiro de Filosofia. Contribuição da Lógica Paraconsistente ao Campo da Engenharia. 1999. (Congresso).

The International ICSC Congress on Computational Intelligence Methods and Applications CIMA?99. Para-Fuzzy Logic Controller ? Part II: A Hybrid Logical Controlller Indicated for Treatment of Fuzziness and Inconsistencies. 1999. (Congresso).

The International ICSC Congress on Computational Intelligence Methods and Applications CIMA'99. Para-Fuzzy Logic Controller ? Part I: A New Method of Hybrid Control Indicated for Treatment of Inconsistencies Designed with the Junction of the Paraconsistent Logic and Fuzzy Logic. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Raciocínio Inconsistente e Multi-agentes. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Inteligência Artificial Paraconsistente. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Lógica Paraconsistente Anotada de Anotação Com dois Valores ? LPA2V Aplicada em Análise de Investimento. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Lógica Paraconsistente Aplicada à Robótica. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Incorporando Tempo em Raciocínio Paraconsistente. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. A Lógica Paraconsistente Aplicada às Ferramentas de Tomada de Decisão Usadas em Controle da Qualidade Total. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Estudo da Lógica Deôntica Anotada na Representação do Conhecimento Humano Particularmente na Ciência do Direito. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Programação Lógica Paraconsistente e Raciocínio Não-monotônico, Defeasible e Default-Fuzzy. 1999. (Congresso).

VI Congresso Brasileiro de Filosofia. Lógica Discussiva e Matemática. 1999. (Congresso).

6a Reunião Anual da Sociedade Brasileira de Pesquisadores Nikkeis ? SBPN.Uma algebrização dos sistemas anotados. 1998. (Simpósio).

ICCIMA?98, The International Conference on Computational Intelligence and Multimedia Applications. ParaLog-e: A Paraconsistent Logic Programming Language. 1998. (Congresso).

ICCIMA'98, The International Conference on Computational Intelligence and Multimedia Applications. Multi-agents and inconsistency. 1998. (Congresso).

IEEE International Symposium on Multiple-Valued Logic. Many-valued and annotated modal logics. 1998. (Congresso).

International Symposium on Engineerign of Intelligent Systems. A Paraconsistent Logic Programming Language. 1998. (Congresso).

International Symposium on Engineerign of Intelligent Systems,. Inconsistency and Electronic Circuits. 1998. (Congresso).

Second International Workshop of Combining Systems (FROCOS?98). Constructive logics as annotated logics. 1998. (Congresso).

Stanilaw Jaskowski Memorial Symposium, JS?98. A Meta-interpreter based on paraconsistent legal knowledge engineering. 1998. (Congresso).

Stanilaw Jaskowski Memorial Symposium, JS?98. Some results on Jáskowski?s Discursive Logic. 1998. (Congresso).

The First International Workshop on Labelled Deduction (LD?98). Natural Deduction And General Annotated Logics. 1998. (Congresso).

The Vietnam-Japan Bilateral Symposium on Fuzzy Systems And Applications, VJFUZZY? 98. An approximate reasoning in a framework of vector annotated logic programming. 1998. (Congresso).

5a Reunião Anual da SBPN?97.A logical system for reasoning with inconsistency. 1997. (Simpósio).

First World Congress on Paraconsistency. On a class of paraconsistent multimodal systems. 1997. (Congresso).

First World Congress on Paraconsistency. Paranet: a paraconsistent multi-agent system. 1997. (Congresso).

First World Congress on Paraconsistency. Paraconsitent legal knowledge engineering. 1997. (Congresso).

First World Congress on Paraconsistency. Handling exceptions in multiple inheritance Frame systems: a paraconsistent approach. 1997. (Congresso).

First World Congress on Paraconsistency. Paraconsistent electronic circuits. 1997. (Congresso).

III WORKSHOP DE IBERSHIP.Circuitos de portas lógicas primitivas fundamentados em lógica paraconsistente anotada. 1997. (Simpósio).

The Second International Workshop on CSCW in Design. Reasoning in Paraconsistent Frame Systems. 1997. (Congresso).

XVII International Conference of the Chilean Computer Science Society. ParaLog-e: A Paraconsistent Evidential Logic Programming Language. 1997. (Congresso).

CONABIO.Paraconsistencia y Inteligencia Artificial. 1996. (Encontro).

II Simpósio Multidisciplinar - A Integração Universidade - Comunidade.A importância filosófica das lógicas heterodoxas. 1996. (Simpósio).

II Simpósio Multidisciplinar - A Integração Universidade - Comunidade.A álgebra da lógica. 1996. (Simpósio).

Universidad Nacional Autónoma de México, Facultad de Estudios Superiores ?Zaragoza".La Importancia de la Logica en Biologia. 1996. (Encontro).

10 th International Congress of Logic, Methodology and Philosophy of Science. Paraconsistent Logics of Knowledge and Belief. 1995. (Congresso).

2o Simpósio Brasileiro de Automação Inteligente.Um Planejador Baseado em Lógica Paraconsistente. 1995. (Simpósio).

Australasian Association for Logic, 30th Anniversary Conference. General annotated logics, with an introduction to full accounting logic. 1995. (Congresso).

Australasian Association for Logic, 30th Anniversary Conference. Curry Algebras Pt and Algebraisation of the Annotated Logics. 1995. (Congresso).

Australasian Association for Logic, 30th Anniversary Conference. The Paraconsistent Logics Qt. 1995. (Congresso).

International Conference on CAD/CAM, Robotics and Factories of the Future. A paraconsistent planning system. 1995. (Congresso).

Workshop on Non-Standard Logics and Logical Aspects of Computer Science (NSI' 94). Paraconsistent Theories of Knowledge in AI and Robotics. 1995. (Congresso).

1o Simpósio Brasileiro de Automação Inteligente. Um Panorama da Lógica Atual. 1994. (Congresso).

Facultad de Ciencias de la Universidad Autónoma de México, DABCC. Sobre el Concepto de Verdad en Lógica y en Ciencias Empíricas. 1994. (Congresso).

Facultad de Ciencias de la Universidad Autónoma de México, DABCC.Un Panorama Sobre la Lógica Actual. 1994. (Encontro).

Facultad de Ciencias de la Universidad Autónoma de México, DABCC.Aspectos de Lógica Atual. 1994. (Encontro).

WOLLIC 94, Escola Brasileira de Computação. Annotated logics and reduced direct products, ultraproducts and ultrapowers. 1994. (Congresso).

I SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE. Aspectos da Lógica Atual. 1993. (Congresso).

IV CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNESP. IV CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNESP. 1992. (Congresso).

Coloquium Logicae - 1991, Centro de Lógica e Epistemologia e História da Ciência, UNICAMP - USP.Lógicas Não-Clássicas e Programação Lógica. 1991. (Encontro).

Simpósio do Campo Freudiano.Razão, Lógica e Linguagem. 1991. (Simpósio).

17° Colóquio de Incentivos à Pesquisa.O Conceito de Verdade em Matemática. 1990. (Encontro).

9th WORKSHOP FOR FOUNDATIONS OF ARTIFICIAL INTELLIGENCE.9th WORKSHOP FOR FOUNDATIONS OF ARTIFICIAL INTELLIGENCE. 1990. (Simpósio).

Departamento de Zoologia de la Facultad de Ciencias Biologicas y de Recursos Naturales de la Universidad de Concepción.El Concepto de la Verdade em las Ciencias Formales y en las Ciencias Empiricas. 1990. (Encontro).

Departamento de Zoologia de la Facultad de Ciencias Biologicas y de Recursos Naturales de la Universidad de Concepción.Lógica Matemática Aplicada a la Biología. 1990. (Encontro).

Department of Computer Science, Faculty Engineering, Shizuoka University.On Foundations of Annotated Logics. 1990. (Seminário).

Department of Computer Science, Faculty Engineering, Shizuoka University.On Annotated Set Theory. 1990. (Seminário).

Department of Computer Science, Faculty of Engineering, Shizuoka University.On Meta-Theory of Some Paraconsistent Systems of Set Theory. 1990. (Encontro).

Facultad de Matematicas de la Pontificia Universidad Catolica de Chile.Mereologia y Sistemática Biologica. 1990. (Encontro).

Facultad de Matemáticas de la Pontificia Universidad Catolica de Chile.Fundamentos de la Logica Anotada. 1990. (Encontro).

I Encontro de Jovens do Grupo VI.A Verdade em Lógica. 1990. (Encontro).

Instituto de Entomologia de la Universidad Metropolitana de Ciencias de la Educación.Sistemas Ordenados y un Nuevo Sistema de Nomenclatura para Filogenias. 1990. (Encontro).

Seminários do Departamento de Biologia.Princípios de Mereologia Aplicados à Ciência do Real. 1990. (Encontro).

Sociedade Chilena de Entomologia.Mereologia y Sistemática Biologica. 1990. (Encontro).

XII CONGRESSO NACIONAL DE ENTOMOLOGIA. XII CONGRESSO NACIONAL DE ENTOMOLOGIA. 1990. (Congresso).

X Semana de Estudos da Matemática "Matemática: Ciência ou Doutrina" ?.Os Teoremas de Incompleteza de Gödel. 1990. (Encontro).

VIII Simpósio Latino-Americano de Lógica Matemática.Breve Histórico da Mereologia. 1989. (Simpósio).

VIII Simpósio Latino-Americano de Lógica Matemática.Lógicas de Rosenbloon. 1989. (Simpósio).

VIII SIMPÓSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA. Mereologia e Sistemática Filogenética. 1989. (Congresso).

XVI CONGRESSO BRASILEIRO DE ZOOLOGIA. XVI CONGRESSO BRASILEIRO DE ZOOLOGIA. 1989. (Congresso).

6° ENCONTRO DE MATEMÁTICA NO PARANÁ E 2° SEMINÁRIO NACIONAL SOBRE HISTÓRIA. Uma Aplicação da Topologia à Lógica: o Teorema da Compacidade. 1988. (Congresso).

IV ENCONTRO BRASILEIRO DE LÓGICA. IV ENCONTRO BRASILEIRO DE LÓGICA. 1988. (Congresso).

5° ENCONTRO DE MATEMÁTICA NO PARANÁ. Álgebra e Lógica. 1987. (Congresso).

VIII ENCONTRO BRASILEIRO DE LÓGICA. Sobre a Algebrização da Lógica. 1986. (Congresso).

VII SIMPÓSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA (SLALM). VII SIMPÓSIO LATINO-AMERICANO DE LÓGICA MATEMÁTICA (SLALM). 1985. (Congresso).

V ENCONTRO BRASILEIRO DE LÓGICA (V EBL). Sobre a Algebrização da Lógica. 1981. (Congresso).

I ENCONTRO BRASILEIRO DE LÓGICA (I EBL). I ENCONTRO BRASILEIRO DE LÓGICA (I EBL). 1977. (Congresso).

Participação em bancas

Aluno: Nilton Cesar França Teles

ABE, J.M.TORRES, C. R.; SILVA, M. T.. Instrumento de Avaliação para Implementação do Lean Manufacturing nas PMEs usando o Método de Avaliação da Lógica Paraconsistente Anotada Evidencial Et. 2023. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: Aparecido Carlos Duarte

ABE, J.M.Nääs, I.A.; CAMPOLINA, ALESSANDRO GONÇALVES. Gestão dos Níveis de Transtornos por Meio da Lógica Paraconsistente Anotada Evidencial Et no Processo de Acompanhamento de Agendamento de Cirurgias Ortopédicas. 2023. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: José Rodrigo Cabral

ABE, J.M.; CAMPOLINA, ALESSANDRO GONÇALVES;Nääs, I.A.. Auxílio na Tomada de Decisão na Liberação de Resultados de Exames de Glicemia Utilizando a Lógica Paraconsistente Anotada Evidencial Et. 2023. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: JOÃO LUÍS LOPES FREITAS ORSI KUNTZ

ABE, JAIR M.; SILVA FILHO, J. I.; Silva Rosa. Redes Neurais Artificiais Paraconsistentes Aplicadas No Monitoramento Óptico De Figuras Retangulares Por Técnicas De Fotogrametria. 2022. Dissertação (Mestrado em Mestrado em Engenharia Mecânica) - Universidade Santa Cecília.

Aluno: [Nome removido após solicitação do usuário]

ABE, J.M.; PAIVA, D. C.;NOGUEIRA, M.. Aplicação da Lógica Paraconsistente Anotada Evidencial Eτ Como Apoio aos Especialistas na Predição de Suspeitos de Crime de Roubo no Estado de São Paulo. 2021. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: JOÃO LUÍS LOPES FREITAS ORSI KUNTZ

SILVA FILHO, J. I.;ABE, J.M.; MARIO, M. C.; Silva Rosa. Redes Neurais Artificiais Paraconsistentes Aplicadas No Monitoramento Óptico De Figuras Retangulares Por Técnicas De Fotogrametria. 2021. Dissertação (Mestrado em Mestrado em Engenharia Mecânica) - Universidade Santa Cecília.

Aluno: Jonas Pereira da Silva

Nääs, I.A.ABE, J.M.OLIVEIRA, C. C.. Automatização da Classificação Baseada na Lógica Paraconsistente de Condições de Estresse de Suínos a Partir da Mineração de Dados Sobre sua Vocalização. 2019. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Felipe Napolitano da Fonseca

ABE, J.M.Costa Neto, P.L.OLIVEIRA, C. C.. Método Paraconsistente de Predição de Estresse em Suínos. 2019. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Felipe Napolitano da Fonseca

ABE, J.M.Nääs, I.A.OLIVEIRA, C. C.. Modelo Paraconsistente de Predição de Estresse em Suínos. 2019. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Victor Freitas Souto

LEAO, T. F.; PIRES, R.;ABE, J.M.. Lógica Paraconsistente Anotada Evidencial Et Aplicada na Válvula de Borboleta Utilizada em Motores de Combustão Interna. 2018. Dissertação (Mestrado em Engenharia Mecânica) - Instituto Federal de São Paulo.

Aluno: Henry Costa Hungaro

SACOMANO, J. B.;OLIVEIRA, C. C.ABE, J.M.. Método Paraconsistente de Dependência Digital no Universo Empresarial Apoiada na Lógica Paraconsistente Anotada Evidencial Et. 2018. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Lauro Henrique de Castro Tomiatti

SACOMANO, J. B.;OLIVEIRA, C. C.ABE, J.M.. Método Paraconsistente de Avaliação e Medição de Ativos Intangíveis das Organizações a partir de Conceitos de Gamificação. 2018. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Luiz Carlos Machi Lozano

ABE, J.M.Nääs, I.A.; Souza, S.R.L. Sistema Especialista de Apoio à Análise de Locomoção de Frango de Corte Apoiado na Lógica Paraconsistente Anotada Evidencial Et. 2017. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Alysson Ramirez de Freitas Santos

ABE, J.M.; SACOMANO, J. B.; REIS, N. F.. Uma Análise de Desempenho em Internet das Coisas Baseada Na Lógica Paraconsistente. 2017. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Caique Zaneti Kirilo

ABE, J.M.Costa Neto, P.L.OLIVEIRA, C. C.. MÉTODO PARACONSISTENTE DE DECISÃO APLICADO AO SEIS SIGMA. 2017. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: Marcello Anderson Buonafina

ABE, J.M.; Sacomano, J.B.; RABELO, R. A. L.. A Tecnologia Sensorial com a Utilização da Lógica Paraconsistente a Serviços das Pessoas com Deficiência. 2016. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Genivaldo Carlos Silva

ABE, J.M.; Sacomano, J.B.;Reis, N. F.. Eletrônico Paraconsistente de Alerta de Vazamento de Gás Liquefeito de Petróleo para Instalações Residências e Pequenos Comércios. 2016. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Priscila Facciolli Serafim de Lima Tavares

ABE, J.M.; Sacomano, J.B.;Reis, N. F.. Aspectos da Qualidade em Tecnologia da Informação Apoiados na Lógica Paraconsistente Anotada Evidencial E. 2016. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Raphael Adalmek Bispo de Oliveira

DA SILVA FILHO, J. I.; ROCCO, ALEXANDRE;ABE, J.M.. Modelo de Controle Adaptativo de Excitação de Gerador Síncrono Baseado em Lógica Paraconsistente. 2016. Dissertação (Mestrado em Mestrado em Engenharia Mecânica) - Universidade Santa Cecília.

Aluno: Marciel Francisco Berto

ABE, J.M.Nääs, I.A.TORRES, C. R.. Aplicação da Lógica Paraconsistente Anotada Evidencial E em Robos Móveis Sensíveis à Temperatura. 2015. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Aluno: Mario da Silva Quinello

ABE, J.M.COSTA, IvanirTorres, C. R.. Sistema de Classificação e Seleção de Tomates Utilizando Controlador Para-Analisador Baseado na Lógica Paraconsistente Anotada Evidencial Et. 2013. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Sheila Souza

ABE, J.M.; MASSAD, E.;SILVA FILHO, João Inácio da. Sistema de Reconhecimento de Caracteres Numéricoas Manuscritos Baseado nas Redes Neurais Artificiais Paraconsistentes. 2013. Dissertação (Mestrado em Fisiopatologia Experimental) - Faculdade de Medicina Usp.

Aluno: Fábio Luis Pereira

ABE, J.M.; MOLLO NETO, M.;SILVA FILHO, João Inácio da. Reconhecimento de Caracteres Muméricos Manuscritos Utilizando Redes Neurasi Artificiais Paraconsistentes. 2011. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Hélio Corrêa de Araújo

ABE, J.M.; MOLLO NETO, M.;SILVA FILHO, João Inácio da. Sistema de Frenagem de Máquina de Rotulagem com Controle Baseado na Lógica Paraconsistente Anotada Evidencial Et. 2011. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Nélio Fernando dos Reis

ABE, J.M.BRUNSTEIN, IsraelMORAES, Lafayette de. Construção de Cenários Através da Lógica Paraconsistente Anotada Evidencial Et: estudo de Caso. 2007. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Marciel Francisco Berto

ABE, J.M.BRUNSTEIN, IsraelSILVA FILHO, João Inácio da. Aplicação da Lógica Paraconsistente Anotada Evidencial Et no Controle de Sensores de Temperatura. 2007. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Fernado Marco Perez Campos

ABE, J.M.PRADO, José Pacheco de AlmeidaMORAES, Lafayette de. Arquitetura de Hardware Reconfigurável Paraconsistente em Navegação de Robôs Móveis: Uma Contribuição Para a Área de Automação em engenharia de Produção. 2007. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Mario Maeda Junior

ABE, J.M.MORAES, Lafayette deCOSTA, Ivanir. Uma Ferramenta de Apoio à Decisão na Escolha de Fornecedores de Tecnologia de Informação Baseado na Lógica Paraconsistente Anotada. 2006. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Saulo Rosa e Silva

ABE, J.M.. Aplicação da Lógica Paraconsistente Anotada no Método de Campos Potenciais para navegação de Robôs Móveis. 2005. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Avelino Palma Pimenta Júnior

ABE, J.M.PRADO, José Pacheco de Almeida; BATISTA, Gustavo Enrique. Um Estudo Comparativo de Sistemas Distribuídos para Ambientes de Produção. 2005. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Adalberto faria dos Reis

ABE, J.M.SILVA FILHO, João Inácio daMORAES, Lafayette de. Raciocínio em Agentes para Problemas Complexos: Proposta de um Modelo Paraconsistente Anotado Evidencial - Caso Prático em Medicina. 2005. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Roberto Yoshiaki Fujimoto

ABE, J.M.. Diagnóstico Automático de Defeitos em Rolamentos Baseado em Lógica Fuzzy. 2005. Dissertação (Mestrado em engenharia mecânica) - Escola Politécnica da Universidade de São Paulo.

Aluno: Rogério Traballi

ABE, J.M.. Aplicação do Algoritmo Para-analisador na Abertura de Negócio. 2004. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Mauricio Agostinho de Carvalho

ABE, J.M.. v. 2004 - Escola Politécnica da Universidade de São Paulo.

Aluno: Marcelo Nogueira

ABE, J.M.. Análise de Risco em Projetos de Software Apoiada na Lógica Paraconsistente Anotada. 2004. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Cláudio Rodrigo Torres

ABE, J.M.. v. 2004 - Universidade Federal de Itajubá.

Aluno: Plinio Barbieri Filho

ABE, J.M.. Operadores Modais e Prova Automática de Teoremas: Uma Proposta de Tratamento de Sistemas de Dados Inconsistentes. 2001. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: José Eduardo Aiub

ABE, J.M.. Utilização da Lógica Paraconsistente Anotada Bivalorada na Aplicação do Método Clássico de Huffman. 2001. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Jaime José Matos Rebelo

ABE, J.M.. Estudo de Modelagem de Sistemas Especialistas Utilizando a Lógica Paraconsistente Anotada de Dois Valores. 2001. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: João Carlos Almeida Prado

ABE, J.M.. Redes neurais artificiais paraconsistentes e sua utilização para reconhecimento de padrões. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Afranio Carlos Murolo

ABE, J.M.. Um modelo de previsão de demanda de mercado baseado na lógica paraconsistente anotada de anotação com dois valores - LPA2v. 2000. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Fábio Romeu de Carvalho

ABE, J.M.. Lógica paraconsistente anotada no auxílio às tomadas de decisão na administração de uma universidade. 2000. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

Aluno: João Inácio da Silva Filho

ABE, J.M.. Implementação de Circuitos Lógicos Fundamentados em uma classe de Lógicas Paraconsistentes Anotadas. 1998. Dissertação (Mestrado em Engenharia Elétrica - Microeletrônica) - Escola Politécnica da Universidade de São Paulo.

Aluno: José Stefanelli

ABE, J.M.. Software Interativo Para o Ensino de Desenho Geométrico Utilizando Tecnologia Multimídia, Desenho Técnico em Multimídia. 1997. Dissertação (Mestrado em Mestrado Em Ensino) - Universidade de Guarulhos.

Aluno: Casemiro Fernando Soares Leite

ABE, J.M.. Aplicação da Lógica Paraconsistente em Processos de Tomada de Decisão. 1997. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Frederico Alexandre Frank Filho

ABE, J.M.. Controle de Recepção de Veículos de Transporte de Valores para Manutenção aplicando o Algoritmo Para-analisador da Lógica Paraconsistente Anotada de 2 Valores. 1997. Dissertação (Mestrado em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Claudio de Carvalho Rossi

ABE, J.M.. O significante em Lacan e uma contribuição sobre a formalização em psicanálise segundo a teoria dos conjuntos. 1996. Dissertação (Mestrado em Psicologia Clínica) - Instituto de Psicologia.

Aluno: Samira Sestari do Nascimento

ABE, J.M.; NAAS, I. A.;DA SILVA FILHO, J. I.; PEREIRA, G. M.; MARIO, M. C.. Governança Corporativa: Avaliando os Conflitos de Interesses da Alta Administração de Empresas Aplicando a Lógica Paraconsistente Anotada Evidencial Et. 2025. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Marcos Rodrigues de Carvalho

ABE, J.M.; Santo, R. E.; MASOTTI, P. H. F.. Análise de vibração das bombas do circuito primário do Reator IEA-RI a partir de técnicas de Inteligência Artificial. 2025. Tese (Doutorado em Pós Graduação Energia Nuclear) - Instituto de Pesquisas Energéticas e Nucleares.

Aluno: Liliam Sayuri Sakamoto

ABE, J.M.; NAAS, I. A.; OKANO, M.; TORRES, C. R.; SILVA FILHO, J. I.. Otimização de Perda de Dados através de Data Loss Prevention- DLP e Algoritmos Baseados na Lógica Paraconsistente Anotada Evidencial Et. 2024. Tese (Doutorado em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Liliam Sayuri Sakamoto

ABE, J.M.; SILVA FILHO, J. I.; TORRES, C. R.;Nääs, I.A.; OKANO, M.. Otimização de Detecção de Perda de Dados Através de Data Loss Prevenction ? DLP e Algoritmos Baseados na Lógica Paraconsistente Anotada Evidencial Et. 2023. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Marco Antonio Campos Benvenga

Nääs, I.A.VENDRAMETTO, OduvaldoABE, J.M.; Prereira, D.F.; CARVALHO, T. M.. Aplicação de Algoritmo Metaheurístico Híbrido com Mecanismo para Aceleração de Convergência na Otimização de Processos do Agronegócio. 2023. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Clayton Gerber Mangini

Nääs, I.A.ABE, J.M.Costa Neto, P.L.; SALGADO, D. D.; MOLIO NETO, M.. Mapeamento Térmico de Rotas no Transporte de Produtos Farmacêuticos usando Abordagem de Aprendizado de Máquina. 2022. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: [Nome removido após solicitação do usuário]

ABE, J.M.Nääs, I.A.Oliveira, C.C.; Prereira, D.F.;Gonçalves, R.F.. Desenvolvimento De Modelo Computacional Para Auxiliar Na Produção De Frango De Corte. 2022. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Luiz Antonio de Lima

ABE, J.M.; LANGHI, C.; BALANCIN, M. L.;VENDRAMETTO, OduvaldoNOGUEIRA, M.. Auxílio Computadorizado No Diagnóstico Precoce De Câncer De Próstata Por Meio De Redes Neurais Artificiais Paraconsistentes. 2022. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Avelino Palma Pimenta Jr

ABE, J.M.; Cunha, M.J.; Morais, J.S.. Um Analisador de Tráfego de Redes de Computadores Baseado em Lógica Paraconsistente Anotada Evidencial Et. 2018. Tese (Doutorado em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Cristina Correa de Oliveira

ABE, J.M.Costa Neto, P.L.; SACOMANO, J. B.; Areza-Fegyveres, R.; MARIO, M. C.. ParaDep ? Ferramenta de apoio ao Diagnóstico da Depressão Baseada na Lógica Paraconsistente. 2016. Tese (Doutorado em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Nélio Fernando dos Reis

ABE, J.M.; Benevides, C.R.S.;Torres, C. R.Reis, J.G.M.Gonçalves, R.F.. Método Paraconsistente de Cenários Prospectivos. 2014. Tese (Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Fábio Vieira do Amaral

ABE, J.M.; MOLLO NETO, M.; SILVA FILHO, J. I.;CARVALHO, Fabio Romeu de; Santo, R. E.. Classificador Paraconsistente de atributos de imagens de mamográficas aplicado no processo de diagnóstico do câncer de mama assistido por computador. 2013. Tese (Doutorado em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Marcelo Nogueira

ABE, J.M.VENDRAMETTO, Oduvaldo; Santo, R. E.; MOLLO NETO, M.;SILVA FILHO, João Inácio da. Processo para Gestão de Riscos em Projetos de Software: Apoiado em Lógica Paraconsistente Anotada Evidencial t. 2010. Tese (Doutorado em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Paulo Roberto Schoeder de Souza

ABE, J.M.. Métodos de Apoio à Decisão Médica para Análise em Diabetes Mellitus Gestacional Utilizando a Probabilidade Pragmática na Lógica Paraconsistente Anotada de Dois Valores Para Melhor Precisão de Resposta. 2009. Tese (Doutorado em Departamento de Engenharia de Telecomunicações e C) - Escola Politécnica da Universidade de São Paulo.

Aluno: Carlos Shinoda

ABE, J.M.BRUNSTEIN, IsraelORTEGA, Neli. Viabilidade de Projetos de Investimento em Equipamentos com Tecnologia Avançada de Manufatura: Estudo de Múltiplos Casos na Siderurgia Brasileira. 2008. Tese (Doutorado em Engenharia de Produção) - Universidade de São Paulo.

Aluno: Iraci Matinez Pereira Gonçalves

TING, Daniel Kao Sun;ABE, J.M.; PADOVESE, Linilson Rodrigues; BAPTISTA FILHO, Benedito Dias; SILVA, Antonio Teixeira e. Monitoração e diagnóstico para detecção de falhas de sensores utilizando a metodologia GMDH. 2006 - Instituto de Pesquisas Energéticas e Nucleares.

Aluno: Paulo Henrique Ferraz Masotti

ABE, J.M.; PADOVESE, Linilson Rodrigues; TING, Daniel Kao Sun; OLIVEIRA NETO, José Messias de; SILVA, Antonio Teixeira e. Metodologia de Monitoração e Diagnóstico Automatizado de Rolamentos Utilizando a Lógica Paraconsistente, Transformada de Wavelet e processamento de Sinais Digitais. 2006. Tese (Doutorado em Pós Graduação Energia Nuclear) - Instituto de Pesquisas Energéticas e Nucleares.

Aluno: Mauricio Conceição Mario

ABE, J.M.. Modelo de Análise de Variáveis Craniométricas Através Das Redes Neurais Artificiais Paraconsistentes. 2006. Tese (Doutorado em Fisiopatologia Experimental) - Faculdade de Medicina Usp.

Aluno: Fábio Romeu de Carvalho

ABE, J.M.BRUNSTEIN, Israel. Aplicação da Lógica Paraconsistente Anotada em Tomadas de Decisão na Engenharia de Produção. 2006. Tese (Doutorado em Engenharia de Produção) - Universidade de São Paulo.

Aluno: Silmara Alexandra da Silva Vicente

ABE, J.M.. Otimização de Um Sistema Híbrido de Diagnóstico de Falhas em Equipamentos Mecânicos Utilizando Redes Neurais Probabilísticas e Algoritmo Genético. 2005 - Escola Politécnica da Universidade de São Paulo.

Aluno: Teresa Elena Pereira Sachetta

ABE, J.M.; MASSAD, E.. Modelo Reed-Frost fuzzy para estudo de dispersão de epidemias. 2003 - Universidade de São Paulo.

Aluno: Armando Luís Serra

ABE, J.M.. Filogênese e cladogênese: a especiação por poliploidia em anfíbios anuros e as conseqüencias para a Sistemática Filogenética. 2002 - Universidade de São Paulo.

Aluno: Claudio de Carvalho Rossi

ABE, J.M.. A Noção de Predicado no Texto Freudiano e Aplicada à Prática da Psicanálise. 2002 - Instituto de Psicologia.

Aluno: João Inácio da Silva Filho

ABE, J.M.. Métodos de Aplicações da Lógica Paraconsistente Anotada de Anotação Com Dois Valores-LPA2v com Construção de Algoritmo e Implementação de Circuitos eletrônicos. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Bráulio Coelho Ávila

ABE, J.M.. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para Tratar Exceções em Sistemas de Frames com Múltipla Herança. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: José Pacheco de Almeida Prado

ABE, J.M.. Uma Arquitetura em Inteligência Artificial Baseada em Lógica Paraconsistente. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Samira Sestari do Nascimento

ABE, J.M.; NAAS, I. A.; MARIO, M. C.; PEREIRA, G. M.;DA SILVA FILHO, J. I.. Governança Corporativa: Avaliando os Conflitos de Interesses da Alta Administração de Empresas Aplicando a Lógica Paraconsistente Anotada Evidencial Et. 2024. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: Liliam Sayuri Sakamoto

ABE, J.M.; TORRES, C. R.; SILVA FILHO, J. I.;Nääs, I.A.; OKANO, M.. Otimização de Detecção de Perda de Dados Através de Data Loss Prevenction ? DLP e Algoritmos Baseados na Lógica Paraconsistente Anotada Evidencial Et. 2023. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: Marco Antonio Campos Benvenga

Nääs, I.A.VENDRAMETTO, OduvaldoABE, J.M.; Prereira, D.F.; CARVALHO, T. M.. Algoritmo Metaheurístico Híbrido com Mecanismo para Aceleração de Convergência na Otimização de Processos do Agronegócio. 2023. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: [Nome removido após solicitação do usuário]

ABE, J.M.Nääs, I.A.Gonçalves, R.F.; Prereira, D.F.;Oliveira, C.C.. Desenvolvimento De Modelo Computacional Para Auxiliar Na Produção De Frango De Corte. 2021. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: Luiz Antonio de Lima

ABE, J.M.Nääs, I.A.; BALANCIN, M. L.;VENDRAMETTO, Oduvaldo; LANGHI, C.. Auxílio Computadorizado No Diagnóstico Precoce De Câncer De Próstata Por Meio De Redes Neurais Artificiais Paraconsistentes. 2021. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: Jonas Pereira da Silva

Nääs, I.A.; CORDEIRO, A.;ABE, J.M.. Automatização da Classificação de Condições de Estresse de Suínos a partir da Mineração de Dados sobre sua Vocalização. 2019. Exame de qualificação (Doutorando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Avelino Palma Pimenta Jr

ABE, J.M.; Duarte, M.C.; Cunha, M.J.; SACOMANO, J. B.;Nääs, I.A.. Um Analisador de Tráfego de Redes de Computadores Baseado em Lógica Paraconsistente Anotada Evidencial Et. 2017. Exame de qualificação (Doutorando em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Cristina Correa de Oliveira

ABE, J.M.; Sacomano, J.B.; Areza-Fegyveres, R.; Cathery-Goulart, R.T.;Costa Neto, P.L.. ParaDep ? Ferramenta de apoio ao Diagnóstico da Depressão Baseada na Lógica Paraconsistente. 2016.

Aluno: Nélio Fernando dos Reis

ABE, J.M.; Benevides, C.R.S.;Reis, J.G.M.Torres, C. R.Gonçalves, R.F.. Método Paraconsistente de Cenários Prospectivos. 2014. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Paulista.

Aluno: Rodolpho Freire

ORTEGA, NeliABE, J.M.; Thomaz, C.E,; Santos, P.E.. Um Modelo Computacional Baseado na Teoria dos Conjuntos Fuzzy Integrado a Análise Discriminante de Neuroimagens para Diagnóstico de Alzheimer. 2013. Exame de qualificação (Doutorando em Fisiopatologia Experimental) - Faculdade de Medicina Usp.

Aluno: Fábio Vieira do Amaral

ABE, J.M.; MOLLO NETO, M.;CARVALHO, Fabio Romeu de; Santo, R. E.; SILVA FILHO, J. I.. Classificador Paraconsistente de atributos de imagens de mamográficas aplicado no processo de diagnóstico do câncer de mama assistido por computador. 2013. Exame de qualificação (Doutorando em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Cláudio Rodrigo Torres

ABE, J.M.. Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial E para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-estruturado. 2009. Exame de qualificação (Doutorando em Doutorado Engenharia Elétrica) - Universidade Federal de Itajubá.

Aluno: Marcelo Nogueira

ABE, J.M.. Processo Para Gestão de Riscos em Projetos de Software Apoiado em Lógica Paraconsistente Anotada Evidencial E. 2009. Exame de qualificação (Doutorando em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Cláudio Rodrigo Torres

ABE, J.M.. Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial E para controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não Estruturado. 2009. Exame de qualificação (Doutorando em Engeharia Elétrica) - Universidade Federal de Itajubá.

Aluno: Marcelo Nogueira

ABE, J.M.. Processo para Gestão de Riscos em Projetos de Software: Apoiado em Lógica Paraconsistente Anotada. 2009. Exame de qualificação (Doutorando em Doutorado em Engenharia de Produção) - Universidade Paulista.

Aluno: Mauricio Conceição Mario

ABE, J.M.. Modelo de Análise de Variáveis Craniométricas Através Das Redes Neurais Artificiais Paraconsistentes. 2006. Exame de qualificação (Doutorando em Fisiopatologia Experimental) - Faculdade de Medicina Usp.

Aluno: Carlos Alberto Ferreira Bispo

ABE, J.M.. Método Paraconsistente de Estimação da Precisão de Mensurações Qualitativas. 2006. Exame de qualificação (Doutorando em Escola de Engenharia de São Carlos) - Universidade de São Paulo.

Aluno: Fábio Romeu de Carvalho

ABE, J.M.. Aplicação da Lógica Paraconsistente Anotada `a Teoria da Decisão. 2005. Exame de qualificação (Doutorando em Engenharia de Produção) - Escola Politécnica da Universidade de São Paulo.

Aluno: Fernanda Chiarion Sassi

ABE, J.M.. A Eletromiografia Utilizada como Recurso Terapêutico para Promoção da Fluência. 2002. Exame de qualificação (Doutorando em Ciências (Fisiopatologia Experimental)) - Universidade de São Paulo.

Aluno: Claudio de Carvalho Rossi

ABE, J.M.. A Noção de Predicado e a Prática da Psicanálise. 2001 - Universidade de São Paulo.

Aluno: Leonardo Pujatti

ABE, J.M.. Engenharia do Conhecimento Legal Paraconsistente. 1998. Exame de qualificação (Doutorando em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo.

Aluno: : João Inácio da Silva Filho

ABE, J.M.. Métodos de Aplicações da Lógica Paraconsistente Anotada de Anotação Com Dois Valores-LPA2v com Construção de Algoritmo e Implementação de Circuitos eletrônicos. 1998. Exame de qualificação (Doutorando em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo.

Aluno: Bráulio Coelho Ávila

ABE, J.M.. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para Tratar Exceções em Sistemas de Frames com Múltipla Herança. 1996. Exame de qualificação (Doutorando em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo.

Aluno: José Pacheco de Almeida Prado

ABE, J.M.. Uma Arquitetura em Inteligência Artificial Baseada em Lógica Paraconsistente. 1996. Exame de qualificação (Doutorando em Engenharia de Computação) - Escola Politécnica da Universidade de São Paulo.

Aluno: Kennya Vieira Queiroz

ABE, J.M.Nääs, I.A.DA SILVA FILHO, J. I.. Logística de Última Milha e Segurança de Cargas nas Periferias de São Paulo: Um estudo através de um Sistema Especialista Paraconsistente. 2025. Exame de qualificação (Mestrando em Engenharia de Produção) - Universidade Paulista.

Aluno: Nilton Cesar França Teles

ABE, J.M.TORRES, C. R.; SILVA, M. T.. Instrumentos de Avaliação para Implementação do Lean Manufacturing nas PMEs usando o Método de Avaliação da Lógica Paraconsistente Anotada Evidencial Et. 2023. Exame de qualificação (Mestrando em Engenharia de Produção) - Universidade Paulista.

Aluno: Aparecido Carlos Duarte

ABE, J.M.Nääs, I.A.; CAMPOLINA, ALESSANDRO GONÇALVES. Gestão dos Níveis de Transtornos por Meio da Lógica Paraconsistente Anotada Evidencial Et no Processo de Acompanhamento de Agendamento de Cirurgias Ortopédicas. 2023. Exame de qualificação (Mestrando em Engenharia de Produção) - Universidade Paulista.

Aluno: José Rodrigo Cabral

ABE, J.M.Nääs, I.A.; CAMPOLINA, ALESSANDRO GONÇALVES. Auxílio na Tomada de Decisão na Liberação de Resultados de Exames de Glicemia Utilizando a Lógica Paraconsistente Anotada Evidencial Et. 2023. Exame de qualificação (Mestrando em Engenharia de Produção) - Universidade Paulista.

Aluno: Felipe Napolitano da Fonseca

ABE, J.M.Costa Neto, P.L.OLIVEIRA, C. C.. Método Paraconsistente de Predição de Estresse em Suínos. 2019. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Luiz Antonio de Lima

ABE, J.M.Costa Neto, P.L.OLIVEIRA, C. C.. Sistema Especialista ITOD (Apoio Inteligente na Tomada de Decisão) baseado na Lógica Paraconsistente Anotada Evidencial Et. 2018.

Aluno: Luiz Carlos Machi Lozano

Nääs, I.A.ABE, J.M.; Souza, S.R.. Sistema Especialista de Apoio à Análise de Locomoção de Frango de Corte Apoiado na Lógica Paraconsistente Anotada Evidencial Et. 2017. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Caique Zaneti Kirilo

ABE, J.M.Costa Neto, P.L.OLIVEIRA, C. C.. Método Paracosistente de Decisão Aplicado ao Seis Sigma. 2017. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Lauro Henrique de Castro Tomiatti

ABE, J.M.; SACOMANO, J. B.; REIS, N. F.. Gamificação como Estratégia de Mudança Comportamental Apoiado pela Lógica Paraconsistente Anotada Evidencial Et. 2017. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Victor Freitas Souto

LEAO, T. F.; PIRES, R.;ABE, J.M.. LPA2v Aplicação na Válvula de Borboleta para Motores de Combustão Interna. 2017. Exame de qualificação (Mestrando em Engenharia Mecânica) - Instituto Federal de São Paulo.

Aluno: Henry Costa Hungaro

ABE, J.M.; SACOMANO, J. B.; REIS, N. F.. Método Paraconsistente de Dependência Digital no Universo Empresarial Apoiada na Lógica Paraconsistente Anotada Evidencial Et. 2017. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Priscila Facciolli Tavares

ABE, J.M.; Sacomano, J.B.;Reis, N. F.. Aspectos da Qualidade em Tecnologia da Informação Apoiados na Lógica Paraconsistente Anotada Evidencial Et. 2016. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Genivaldo Carlos Silva

ABE, J.M.; Sacomano, J.B.;Reis, N. F.. Dispositivo Eletrônico Paraconsistente de Alerta de Vazamento de Gás Liquefeito de Petróleo de Baixo Custo para Instalações Residências e Pequenos Comércios. 2016. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Marcello Anderson Buonafina

ABE, J.M.; Sacomano, J.B.; RABELO, R. A. L.. A Tecnologia Sensorial com a Utilização da Lógica Paraconsistente a Serviços das Pessoas com Deficiência. 2016. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Alysson Ramirez de Freitas Santos

ABE, J.M.; Sacomano, J.B.;Reis, N. F.. Otimização em Internet das Coisas Baseada na Lógica Paraconsistente. 2016. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Alysson Ramirez de Freitas Santos

ABE, J.M.; SACOMANO, J. B.; REIS, N. F.. Uma Análise de Desempenho em Internet das Coisas Baseada Na Lógica Paraconsistente. 2016. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Marciel Francisco Berto

ABE, J.M.Nääs, I.A.TORRES, C. R.. Aplicação da Lógica Paraconsistente Anotada Evidencial E em Robos Móveis Sensíveis à Temperatura. 2015. Exame de qualificação (Mestrando em Mestrado Em Engenharia de Produção) - Universidade Paulista.

Aluno: Mario da Silva Quinello

ABE, J.M.COSTA, IvanirTorres, C. R.. Sistema de Classificação e Seleção de Tomates Utilizando Controlador Para-Analisador Baseado na Lógica Paraconsistente Anotad Evidencial Et. 2012. Exame de qualificação (Mestrando em Engenharia de Produção) - Universidade Paulista.

Aluno: Camila Schevenin Silva

ABE, J.M.Oliveira, C.C.; Vendramel, W.. Desenvolvimneto de uma Ferramenta para Análise de Similaridade Genética do Complexo Leishmania Donovani. 2012. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de São Paulo.

Aluno: Cássia de Oliveira Pinto

ABE, J.M.Oliveira, C.C.; Vendramel, W.. Desenvolvimneto de uma Ferramenta para Análise de Similaridade Genética do Complexo Leishmania Donovani. 2012. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de São Paulo.

Aluno: Roberto Aguilera Junior

ABE, J.M.. Gerenciamento de Um Depósito Virtual. 2004 - Universidade Cidade de São Paulo.

Aluno: Renata Farragoni Rodrigues da Silva

ABE, J.M.. Instalação e Configuração de Servidor e Estação LINUX: Mars/Samba/Firebird. Servidor Mandrake e Desktop Conectiva. 2004 - Universidade Cidade de São Paulo.

Aluno: Flávia Bekesius

ABE, J.M.. Um Estudo Sobre o Desenvolvimento de Sistemas de Automação Comercial Presencial. 2004 - Universidade Cidade de São Paulo.

Aluno: Edson Ferri Junior

ABE, J.M.. Um Estudo Sobre o Desenvolvimento de Sistemas de Automação Comercial Virtual. 2004 - Universidade Cidade de São Paulo.

Aluno: Gledson da Silva Oliveira

ABE, J.M.. Representação de Conhecimento em Lógica Paraconsistente. 2004 - Universidade Cidade de São Paulo.

Aluno: Luciano Galdino

ABE, J.M.. Lógica Paraconsistente Aplicada em Controle de Automação. 2004 - Universidade Cidade de São Paulo.

ABE, J.M.Nääs, I.A.VENDRAMETTO, Oduvaldo; Prereira, D.F.; Moura, D.J.. Algoritmo Metaheurístico Híbrido com Mecanismo para Aceleração de Convergência na Otimização de Processos do Agronegócio. 2022. Universidade Paulista.

Outras produções

ABE, J.M. ; COSTA, N. C. A. . Para-control - controlador lógico paraconsistente. 2000.

ABE, J.M. ; CELESTINO, Uanderson ; ARAÚJO, Hélio Corrêa de ; SILVA FILHO, João Inácio da . Sistema de Interação para Deficientes Visuais e/ou Auditivos. 2011.

SILVA FILHO, João Inácio da ; ABE, J.M. ; COSTA, N. C. A. . Para-Analizador. 2000.

PRADO, José Pacheco de Almeida ; ABE, J.M. ; ÁVILA, B. C. . Paralog. 1995.

ABE, J.M. . KES-2025 29th Annual KES Conference. 2025.

ABE, J.M. . KES IDT 2025 Smart Digital Futures 2025. 2025.

ABE, J.M. . 2024 International Conference on Advanced Intelligent Technologies (ICAIT2024). 2024.

ABE, J.M. . 16th International KES Conference. 2024.

ABE, J.M. . 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2024.

ABE, J.M. . XXXI SIMPEP - Simpósio de Engenharia de Produção Faculdade de Engenharia da UNESP. 2024.

ABE, J.M. . 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2023.

ABE, J.M. . 15th International KES Conference, Intelligent Decision, Technologies, Smart Digital Futures 2023 multi-conference. 2023.

ABE, J.M. . 7th International Conference on Artificial Intelligence and Virtual Reality AIVR 2023. 2023.

ABE, J.M. . XXX SIMPEP - Simpósio de Engenharia de Produção Faculdade de Engenharia da UNESP. 2023.

ABE, J.M. . XXIX SIMPEP - Simpósio de Engenharia de Produção Faculdade de Engenharia da UNESP. 2022.

ABE, J.M. . Undécima Conferencia Iberoamericana de Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2021. 2021.

ABE, J.M. . The 10th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2021. 2021.

ABE, J.M. . The 12th International Conference on Society and Information Technologies: ICSIT 2021. 2021.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2021. 2021.

ABE, J.M. . The 23rd World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2021. 2021.

ABE, J.M. . Academic Globalization and Inter-Cultural Communication: AGIC 2021. 2021.

ABE, J.M. . The 13th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2021. 2021.

ABE, J.M. . KES-2021 - 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2021.

ABE, J.M. . 13th International KES Conference on Intelligent Decision Technologies - KES-IDT-21 Smart Digital Futures 2021. 2021.

ABE, J.M. . XXVIII SIMPEP - Simpósio de Engenharia de Produção Faculdade de Engenharia da UNESP. 2021.

ABE, J.M. . 2nd International Conference on Machine Learning & Applications (CMLA 2020). 2020.

ABE, J.M. . Sétima Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2020. 2020.

ABE, J.M. . The 8th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2020. 2020.

ABE, J.M. . The 8th International Conference on Society and Information Technologies: ICSIT 2020. 2020.

ABE, J.M. . Special Track on Interdisciplinary Research, Education, and Communication: IDREC 2020. 2020.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2020. 2020.

ABE, J.M. . The 22nd World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2020. 2020.

ABE, J.M. . The 12th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2020. 2020.

ABE, J.M. . 12th International KES Conference on Intelligent Decision Technologies - KES-IDT-20 Smart Digital Futures 2020. 2020.

ABE, J.M. . CICIC 2019 en el contexto de The 9th International Multi-Conference on Complexity, Informatics, and Cybernetics: IMCIC 2019. 2019.

ABE, J.M. . The 8th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2019. 2019.

ABE, J.M. . The 8th International Conference on Society and Information Technologies: ICSIT 2019. 2019.

ABE, J.M. . Interdisciplinary Research, Education, and Communication: IDREC 2019. 2019.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2019. 2019.

ABE, J.M. . The 22nd World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2019. 2019.

ABE, J.M. . Academic Globalization and Inter-Cultural Communication: AGIC 2019. 2019.

ABE, J.M. . Program Committee do The 12th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2019. 2019.

ABE, J.M. . 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, KES-2019. 2019.

ABE, J.M. . 11th International KES Conference on Intelligent Decision Technologies - KES-IDT-19 Smart Digital Futures 2019. 2019.

ABE, J.M. . IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2018). 2018.

Abe, Jair M . Symposium on Advances in Artificial Intelligence and Neurotechnologies (AIN?18). 2018.

ABE, JAIR M. . Sétima Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2018. 2018.

ABE, JAIR M. . The 8th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2018. 2018.

ABE, JAIR M. . The 8th International Conference on Society and Information Technologies: ICSIT 2018. 2018.

ABE, JAIR M. . Special Track on Interdisciplinary Research, Education, and Communication: IDREC 2018. 2018.

ABE, JAIR M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2018. 2018.

ABE, JAIR M. . The 22nd World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2018. 2018.

ABE, JAIR M. . Academic Globalization and Inter-Cultural Communication: AGIC 2018. 2018.

ABE, JAIR M. . The 12th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2018. 2018.

ABE, JAIR M. . 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, KES-2018. 2018.

ABE, JAIR M. . 10th International KES Conference on Intelligent Decision Technologies - KES-IDT-18 Smart Digital Futures 2018. 2018.

ABE, J.M. . NETLOG2018, Logistics Challenges in the New Economy: Sharing and Interconnected Industry. 2018.

ABE, J.M. . Sétima Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2017. 2017.

ABE, J.M. . do The 8th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2017. 2017.

ABE, J.M. . The 8th International Conference on Society and Information Technologies: ICSIT 2017. 2017.

ABE, J.M. . Interdisciplinary Research, Education, and Communication: IDREC 2017. 2017.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2017. 2017.

ABE, J.M. . The 21st World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2017. 2017.

ABE, J.M. . Academic Globalization and Inter-Cultural Communication: AGIC 2017. 2017.

ABE, J.M. . 9th International KES Conference on Intelligent Decision Technologies - KES-IDT-17. 2017.

ABE, J.M. . 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2017.

ABE, J.M. . ICACCI-2016 ? 5th International Conference on Advances in Computing, Communications and Informatics. 2017.

ABE, J.M. . Sexta Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2016. 2016.

ABE, J.M. . The 7th International Conference on Society and Information Technologies: ICSIT 2016. 2016.

ABE, J.M. . Special Track on Interdisciplinary Research, Education, and Communication: IDREC 2016. 2016.

ABE, J.M. . The 7th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2016. 2016.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2016. 2016.

ABE, J.M. . Academic Globalization and Inter-Cultural Communication: AGIC 2016. 2016.

ABE, J.M. . The 20th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2016. 2016.

ABE, J.M. . 8th International KES Conference on Intelligent Decision Technologies - KES-IDT-16 Smart Digital Futures. 2016.

ABE, J.M. . XXIII SIMPEP - Simpósio de Engenharia de Produção Faculdade de Engenharia da UNESP. 2016.

ABE, J.M. . The 10th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2016. 2016.

ABE, J.M. . ICACCI-2016 ? 5th International Conference on Advances in Computing, Communications and Informatics. 2016.

ABE, J.M. . 19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2015.

ABE, J.M. . 7th International KES Conference on Intelligent Decision Technologies - KES-IDT-15 Smart Digital Futures. 2015.

ABE, J.M. . Quinta Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2015. 2015.

ABE, J.M. . The 6th International Conference on Society and Information Technologies: ICSIT 2015. 2015.

ABE, J.M. . Interdisciplinary Research, Education, and Communication: IDREC 2015. 2015.

ABE, J.M. . The 6th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2015. 2015.

ABE, J.M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2015. 2015.

ABE, J.M. . The 19th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2015. 2015.

ABE, J.M. . 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2015). 2015.

ABE, J.M. . XXII SIMPEP - Simpósio de Engenharia de Produção.. 2015.

ABE, JAIR M. . The 9th International Multi-Conference on Society, Cybernetics and Informatics: IMSCI 2015. 2015.

ABE, J.M. . Interdisciplinary Research, Education, and Communication: IDREC 2014. 2014.

ABE, J.M. . 2014 IEEE International Conference on Fuzzy Systems. 2014.

ABE, J.M. . Cuarta Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2014. 2014.

ABE, J.M. . The 5th International Conference on Society and Information Technologies: ICSIT 2014. 2014.

ABE, J.M. . The 5th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2014. 2014.

ABE, JAIR M. . The International Symposium on Knowledge and Cognitive Science and Technologies: KCST 2014. 2014.

ABE, JAIR M. . 6th KES International Conference on Intelligent Decision Technologies. 2014.

ABE, JAIR M. . IEEE World Congress on Computational Intelligence (IEEE WCCI 2014). 2014.

ABE, J.M. . The 18th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2014. 2014.

ABE, J.M. . The 2nd International Conference on Complexity, Cybernetics, and Informing Science and Engineering: CCISE 2014. 2014.

ABE, J.M. . SIMPEP. 2014.

ABE, J.M. . The 3rd International Symposium on Collaborative Enterprises: CENT 2013, Collaborative Development and Engineering, Driving Innovation. 2013.

ABE, J.M. . Tercera Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2013. 2013.

ABE, J.M. . Décima Segunda Conferencia Iberoamericana em Sistemas, Cibernética e Informática - CISCI 2013. 2013.

ABE, J.M. . Quinto Simposio Iberoamericano em Generación, Comunicación y Gerencia del Conocimiento: GCGC 2013. 2013.

ABE, J.M. . The 4th International Conference on Society and Information Technologies: ICSIT 2013. 2013.

ABE, J.M. . International Symposium on Interdisciplinary Research, Education, and Communication: IDREC 2013. 2013.

ABE, J.M. . The SUMMER 3rd International Symposium on Integrating Research, Education, and Problem Solving: Summer IREPS 2013. 2013.

ABE, J.M. . The SPRING 6th International Conference on Knowledge Generation, Communication and Management: KGCM 2013. 2013.

ABE, J.M. . 17th International Conference on Knowledge-Based Intelligent Information & Engineering Systems, KES2013. 2013.

ABE, J.M. . The 4th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2013. 2013.

ABE, J.M. . The 17th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2013. 2013.

ABE, J.M. . IEEE Computational Intelligence Magazine. 2013.

ABE, J.M. . CACS 2013 - International Automatic Control Conference. 2013.

ABE, J.M. . XX SIMPEP ENGENHARIA DE PRODUÇÃO & OBJETIVOS DE DESENVOLVIMENTO DO MILÊNIO. 2013.

ABE, J.M. . Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2012. 2012.

ABE, J.M. . International Symposium on Interdisciplinary Research, Education, and Communication: IDREC 2012. 2012.

ABE, J.M. . International Symposium on Integrating Research, Education, and Problem Solving: IREPS. 2012.

ABE, J.M. . The 2nd International Symposium on Collaborative Enterprises: CENT 2012. 2012.

ABE, J.M. . The SPRING 6th International Conference on Knowledge Generation, Communication and Management: KGCM 2012. 2012.

ABE, J.M. . The 3rd International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2012. 2012.

ABE, J.M. . ICCCI 2012 - 4th International conference on Computational Collective Intelligence Technologies and Applications. 2012.

ABE, J.M. . Kínesis: Revista de Estudos dos Pós Graduandos em Filosofia da UNESP. 2012.

ABE, J.M. . The 2nd International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2011. 2011.

ABE, J.M. . The SUMMER 5th International Conference on Knowledge Generation, Communication and Management: KGCM 2011. 2011.

ABE, J.M. . Conferencia Iberoamericana de Complejidad, Informática y Cibernética: CICIC 2011. 2011.

ABE, J.M. . International Symposium on Collaborative Enterprises: CENT 2011Platforms, Processes, and Practices Advancing the Enterprise. 2011.

ABE, J.M. . International Symposium on Integrating Research, Education, and Problem Solving: IREPS 2011. 2011.

ABE, J.M. . APMS 2010 International Conference Competitive and Sustainable Manufacturing, Products and Services. 2010.

ABE, J.M. . International Workshop on Resoning-Based Intelligent Systems - RBIS2010. 2010.

ABE, J.M. . Comitê de Programa do Novena Conferencia Iberoamericana en Sistemas, Cibernética e Informática: CISCI 2010. 2010.

ABE, J.M. . Comitê de Programa do Segundo Simposio Iberoamericano en Generación, Comunicación y Gerencia del Conocimiento: GCGC 2010. 2010.

ABE, J.M. . The International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2010. 2010.

ABE, J.M. . The 7th International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2010. 2010.

ABE, J.M. . Program Committee do The SPRING 4th International Conference on Knowledge Generation, Communication and Management: KGCM 2010. 2010.

ABE, J.M. . The International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2010. 2010.

ABE, J.M. . The 14th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2010. 2010.

ABE, J.M. . The 2nd International Symposium on Intelligent Decision Technologies, KES IDT 2010. 2010.

ABE, J.M. . Steering Committee do 4th International Workshop on Soft Computing Applications - SOFA2010. 2010.

ABE, J.M. . Technical Programme Committee do Internaional Congress on Ultra Modern Telecommunications and Control Systems (ICUMT2010). 2010.

ABE, J.M. . Comitê de Programa do The 3rd International Conference on Knowledge Generation, Communication and Management: KGCM 2009. 2009.

ABE, J.M. . Comitê de Programa Internacional do First KES International Symposium on Intelligent Decision Technologies - IDT'09 KES-IDT-09. 2009.

ABE, J.M. . International Program Committee Ninth International Conference on Computing Anticipatory Systems. 2009.

ABE, J.M. . KES2009 International Programme Committee13th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2009.

ABE, J.M. . The 2nd International Symposium on Academic Globalization: AG 2009. 2009.

ABE, J.M. . The 6th International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2009. 2009.

ABE, J.M. . The 3rd International Conference on Knowledge Generation, Communication and Management: KGCM 2009. 2009.

ABE, J.M. . Octava Conferencia Iberoamericana en Sistemas, Cibernética e Informática: CISCI 2009. 2009.

ABE, J.M. . Simposio Iberoamericano en Generación, Comunicación y Gerencia del Conocimiento: GCGC 2009. 2009.

ABE, J.M. . The 13th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2009. 2009.

ABE, J.M. . Comité de Programa Séptima Conferencia Iberoamericana en Sistemas, Cibernética e Informática: CISCI 2008. 2008.

ABE, J.M. . 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008). 2008.

ABE, J.M. . 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 2008.

ABE, J.M. . 1st International Symposium on Intelligent Interactive Multimedia Systems and Services KES IIMSS 2008. 2008.

ABE, J.M. . Comitê de Programa do The 3rd International Symposium on Knowledge Communication and Conferences: KCC 2008. 2008.

ABE, J.M. . Comité de Programa do 6ta Conferencia Iberoamericana en Sistemas, Cibernética e Informática: CISCI 2007. 2007.

ABE, J.M. . International Program Committee Eighth International Conference on Computing Anticipatory Systems. 2007.

ABE, J.M. . IEEE International Conference on Systems, Man and Cybernetics. 2006.

ABE, J.M. . do Comitê de Programa do 5ta Conferencia Iberoamericana de Sistemas, Cibernética e Informática: CISCI 2006. 2006.

ABE, J.M. . Program Committee do International Symposium on Knowledge Communication and Conferences: KCC 2006. 2006.

ABE, J.M. . The 10th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2006. 2006.

ABE, J.M. . Program Committee The 9th World Multi-conference on Systemics, Cybernetics and Informatics (WMSCI 2005). 2005.

ABE, J.M. . Comitê de Programa da 4ta Conferencia Iberoamericana en Sistemas, Cibernética e Informática CISCI 2005. 2005.

ABE, J.M. . International Program Committee CASYS'05, Eighth International Conference on Computing Anticipatory Systems. 2005.

ABE, J.M. . Program Committee The 8th World Multi-conference on Systemics, Cybernetics and Informatics (WMSCI 2004). 2004.

ABE, J.M. . Comitê de Programa da 3a Conferencia Iberoamericana en Sistemas, Cibernética e Informática CISCI 2004. 2004.

ABE, J.M. . International Program Committee CASYS'04, Seventh International Conference on Computing Anticipatory Systems. 2004.

ABE, J.M. . International Program Committee CASYS'03, Sixth International Conference on Computing Anticipatory Systems. 2003.

ABE, J.M. . SCI 2003 Program Committee 6th World Multiconference on Systemics, Cybernetics and Informatics ? SCI?2003. 2003.

ABE, J.M. . da Conferencia Iberoamericana en Sistemas, Cibernética e Informática CISCI 2002. 2002.

ABE, J.M. . International Program Committee do Fifth International Conference on Computing Anticipatory Systems, CASYS?2001. 2001.

ABE, J.M. . Conselho Estadual de Educação. 2001.

ABE, J.M. . Scientiae Mathematicae. 2000.

ABE, J.M. ; SILVA FILHO, João Inácio da . Emmy: robô móvel autônomo paraconsistente. 1999.

ABE, J.M. . Mathematica Japonica. 1997.

ABE, J.M. . Mereologia Aplicada à Biologia - VIII Simpósio Latino-Americano de Lógica Matemática - João Pessoa - PB. 1989.

ABE, J.M. . Jornal Profissões. 2003. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Lógica Paraconsistente e Aplicações. 2001. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Atividades da Área de Lógica e Teoria da Ciência. 1995. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Lógica Paraconsistente e Maridos Infiéis. 1995. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . A Situação Atual da Lógica. 1994. (Programa de rádio ou TV/Entrevista).

ABE, J.M. ; ISÉKI, K. . A Influência dos Computadores na Vida Japonesa. 1993. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Lógica Paraconsistente. 1991. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Teoria Intuitiva dos Conjuntos. 1991. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Mereologia. 1990. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . A lógica Paraconsistente. 1990. (Programa de rádio ou TV/Entrevista).

ABE, J.M. . Aspectos da Trajetória em Pesquisa e Ensino. 2023. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Paraconsistent Decision-making Support in Information Management. 2019. (Relatório de pesquisa).

ABE, J.M. . Ciência e Pesquisa: Aspectos Basilares. 2017. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Lógicas Não-clássicas: Teoria e Aplicações. 2017. (Relatório de pesquisa).

ABE, J.M. . Ciência e Pesquisa ? Observações Básicas. 2016. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Lógica Paraconsistente e Aplicações. 2015. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Aspectos dos Fundamentos Algébricos dos Sistemas Paraconsistentes. 2015. (Relatório de pesquisa).

ABE, J.M. . Lógica Paraconsistente e Inteligência Artificial. 2013. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Gerência e Análise de Decisão sob Incerteza e Conflito. 2013. (Relatório de pesquisa).

ABE, J.M. . Ciência e Pesquisa. 2012. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Paraconsistent Logics and Applications. 2012. (Seminário).

ABE, J.M. . Contribuições Sobre Sistemas de Curry. 2011. (Relatório de pesquisa).

ABE, J.M. . Raciocínio Incerto, Paraconsistente e Paracompleto sobre Conhecimento. 2009. (Relatório de pesquisa).

ABE, J.M. . Ciência e Pesquisa. 2007. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Redes Neurais Artificiais Paraconsistentes e Reconhecimento de Padrões em Biomedicina. 2007. (Relatório de pesquisa).

ABE, J.M. . Ciência e Pesquisa. 2006. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Ciência e Pesquisa. 2005. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Fundamentos das Redes Neurais Artificiais Paraconsistentes e Reconhecimento de Padrões. 2005. (Relatório de pesquisa).

ABE, J.M. . Sistemas Modais Paraconsistentes e Inteligência Artificial. 2003. (Relatório de pesquisa).

ABE, J.M. . Inteligência Artificial e Paraconsistência. 2001. (Relatório de pesquisa).

ABE, J.M. . Inteligência Artificial e Automação Baseada numa Lógica Paraconsistente. 1999. (Relatório de pesquisa).

ABE, J.M. . Inteligência Artificial e Paraconsistência. 1999. (Relatório de pesquisa).

ABE, J.M. . Introdución a la Lógica Clássica y Teoria Intuitiva dos Conjuntos. 1996. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Lógica Paraconsistente e Inteligência Artificial. 1996. (Relatório de pesquisa).

ABE, J.M. . Números Naturais: Construção e Justificativa das Técnicas Operatórias. 1995. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Teoria das Valorações e Aplicações Decidibilidade de Teorias Formais. 1995. (Relatório de pesquisa).

ABE, J.M. . Teoria Intuitiva dos Conjuntos y Sistemática Biológica. 1994. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Lógica e Biologia. 1992. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Lógica e Linguagem. 1991. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Introdução à Teoria dos Modelos. 1991. (Desenvolvimento de material didático ou instrucional - Monografia).

ABE, J.M. . A Prova de Gödel. 1990. .

ABE, J.M. ; PAPAVERO, N. . Mereologia y Sistemática Biológica. 1990. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Tarski e Teorias da Verdade. 1990. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . A Prova de Gödel. 1990. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Introdução à Lógica Modal. 1990. (Desenvolvimento de material didático ou instrucional - Monografia).

ABE, J.M. . Introdução às Lógicas Não-Clássicas. 1990. (Desenvolvimento de material didático ou instrucional - Monografia).

ABE, J.M. . Boletim da Sociedade Parananese de Matemática. 1990. (Editoração/Periódico).

ABE, J.M. . Informes da Sociedade Paranaense de Matemática. 1990. (Editoração/Periódico).

ABE, J.M. . Monografias da Sociedade Paranaense de Matemática. 1990. (Editoração/Periódico).

ABE, J.M. . Sistemas de Rosenbloom e Algebrização de Sistemas Lógicos Não-Clássicos. 1990. (Relatório de pesquisa).

ABE, J.M. . On Foundations of Annotated Logics. 1990. (Seminário).

ABE, J.M. . On Annotated Set Theory. 1990. (Seminário).

ABE, J.M. . Lógica e Biologia. 1989. .

ABE, J.M. . Tarski e Teorias da Verdade. 1989. .

ABE, J.M. . Lógica e Sistemática e Filogenética. 1989. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Fundamentos da Lógica. 1989. (Seminário).

ABE, J.M. . Lógica e Fundamentos da Matemática. 1989. (Seminário).

ABE, J.M. . Teoria dos Modelos. 1989. (Seminário).

ABE, J.M. . Teoria dos Conjuntos e Mereleogia. 1989. (Seminário).

ABE, J.M. . Álgebras de Curry. 1988. (Relatório de pesquisa).

ABE, J.M. . Álgebras Monádicas. 1988. (Seminário).

ABE, J.M. . Forcing em Teoria dos Conjuntos. 1988. (Seminário).

ABE, J.M. . Filosofia da Lógica. 1988. (Seminário).

ABE, J.M. . Introdução à Língua Japonesa. 1987. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Fundamentos da Lógica. 1987. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Teoria Geral das Valorações. 1987. (Seminário).

ABE, J.M. . Álgebras Booleanas e Álgebras de Curry. 1986. (Curso de curta duração ministrado/Extensão).

ABE, J.M. . Álgebras de Curry. 1986. (Seminário).

ABE, J.M. . Números Naturais: Construção e Justificativa das Técnicas Operatórias. 1985. (Curso de curta duração ministrado/Especialização).

ABE, J.M. . Álgebras Booleanas. 1985. (Seminário).

ABE, J.M. . A Topologia na Lógica: O Teorema de Compacidade. 1985. (Seminário).

ABE, J.M. . Lógica e Fundamentos da Matemática. 1983. (Curso de curta duração ministrado/Outra).

ABE, J.M. . Geometria Projetiva Finita. 1981. (Seminário).

ABE, J.M. . Cálculo no Rn. 1981. (Monitoria).

ABE, J.M. . Fundamentos da Matemática Elementar III. 1980. (Monitoria).

ABE, J.M. . Fundamentos da Geometria. 1980. (Monitoria).

ABE, J.M. . O Teorema de Fubini e o Teorema de Tonelli. 1979. (Seminário).

ABE, J.M. . Espaços Vetoriais Topológicos - O Espaço C¥(W). 1978. (Seminário).

ABE, J.M. . Fundamentos da Matemática Elementar II. 1977. (Monitoria).

ABE, J.M. . Álgebra Linear II. 1977. (Monitoria).

ABE, J.M. . Equações Diferenciais. 1976. (Monitoria).

ABE, J.M. . Vetores e Geometria. 1976. (Monitoria).

ABE, J.M. . Álgebra Linear II. 1976. (Monitoria).

ABE, J.M. . Cálculo II. 1975. (Monitoria).

ABE, J.M. . A Obra Científica de Maria Carolina Monard. 2003. Vídeo.

ABE, J.M. . A Obra Científica de Luciano da Fontoura Costa. 2003. Vídeo.

ABE, J.M. . A Obra Científica de Haruo Murakami. 2003. Vídeo.

ABE, J.M. . A Obra Científica de Edgard G.K. Lopez-Escobar. 2002. Vídeo.

ABE, J.M. . Semantic Computation by Humans, Computers and Robots - Patrick Suppes. 2001. Vídeo.

ABE, J.M. . Semantics Computation - Patrick Suppes. 2001. Vídeo.

ABE, J.M. . Trabalhos do Dr. Francisco A. Dória junto ao IEA-USP. 2000 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Dr. Donald M. Silberger junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Rolando Chuaqui junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Jacques Stern junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Jean - Claude Gardin junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Prof. Dr. Grzegorg Malinowski junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Prof. Dr. Rolando Chuaqui junto ao IEA-USP. 1990 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Prof. Francisco A. Dória junto ao IEA-USP. 1989 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Nelson Papavero junto ao IEA-USP. 1989 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Prof. Dr. Atsuyuki Suzuki junto ao IEA-USP. 1988 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Igor Urbas junto ao IEA-USP. 1988 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Nelson Papavero junto ao IEA-USP. 1988 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

ABE, J.M. . Trabalhos do Dr. Daniele Mundici junto ao IEA-USP. 1988 (Coordenador dos Projetos do Instituto de Estudos Avançados da USP) .

Histórico profissional

Endereço profissional

  • Universidade Paulista, Instituto de Ciências Exatas e Tecnologia, Instituto de Ciências Exatas e Tecnologia. , Dr. Bacelar, 1212, Mirandópolis, 04026002 - São Paulo, SP - Brasil, Telefone: (11) 55864071

Experiência profissional

1996 - Atual

Universidade Paulista

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

Atividades

  • 02/2019

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Tópicos de Matemática Aplicada, Álgebra Linear

  • 02/2019

    Ensino, Doutorado em Engenharia de Produção, Nível: Pós-GraduaçãoDisciplinas ministradas, Sistemas Especialistas Aplicados à Produção I

  • 01/1998

    Pesquisa e desenvolvimento, Pós Graduação Em Engenharia de Produção.Linhas de pesquisa

  • 02/2018 - 12/2019

    Ensino, Doutorado em Engenharia de Produção, Nível: Pós-GraduaçãoDisciplinas ministradas, Métodos Quantitativos Para Tomada De Decisão, Sistemas Especialistas Aplicados à Produção

  • 08/2018 - 12/2018

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática, Matemática Discreta

  • 02/2018 - 06/2018

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Álgebra Linear, Geometria Analítica, Tópicos de Matemática Aplicada

  • 08/2017 - 12/2017

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática, Matemática Discreta

  • 02/2017 - 06/2017

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Álgebra Linear, Tópicos de Matemática Aplicada

  • 08/2016 - 12/2016

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática, Matemática Discreta

  • 02/2016 - 06/2016

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Geometria Analítica, Tópicos de Matemática Aplicada

  • 08/2015 - 12/2015

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática

  • 08/2015 - 12/2015

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta

  • 02/2015 - 06/2015

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Geometria Analítica

  • 02/2015 - 06/2015

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Tópicos de Matemática Aplicada

  • 08/2014 - 12/2014

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Lógica Matemática

  • 08/2014 - 12/2014

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Sistemas de Informação Inteligentes

  • 02/2014 - 06/2014

    Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Inteligência Artificial

  • 02/2012 - 01/2014

    Pesquisa e desenvolvimento, Campus I - Indianópolis.Linhas de pesquisa

  • 02/2000 - 12/2008

    Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Teoria da Computação I, Teoria da Computação II

  • 02/1995 - 12/2007

    Ensino, Bacharelado Em Ciências da Computação, Nível: GraduaçãoDisciplinas ministradas, Álgebra Linear I, Álgebra Linear II, Cálculo Numérico I, Cálculo Numérico II, Lógica Matemática I, Lógica matemática II, Matemática Discreta I, Matemática Discreta II, Vetores e Geometria I, Vetores e Geometria II

  • 02/1995 - 12/2007

    Ensino, Análise de Sistemas, Nível: GraduaçãoDisciplinas ministradas, Álgebra Linear I, Álgebra Linear II, Cálculo Numérico I, Cálculo NUMÈRICO II, Lógica Matemática I, Lógica Matemática II, Matemática Discreta I, Matemática Discreta II, Vetores e Geometria I, Vetores e Geometria II

  • 03/1997 - 02/1999

    Pesquisa e desenvolvimento, Vice-Reitoria de Pós-Graduação e Pesquisa, Insituto de Ciências Exatas e Tecnologia.Linhas de pesquisa

  • 02/1997 - 12/1997

    Ensino, Mestrado Em Engenharia de Produção, Nível: Pós-GraduaçãoDisciplinas ministradas, Métodos Quantitativos para Tomada de Decisão, Sistemas Especialistas Aplicados à Produção I, Sistems Especialistas Aplicados à Produção

1989 - 2019

Instituto de Estudos Avançados da Universidade de São Paulo

Vínculo: Coordenador, Enquadramento Funcional: Coordenador do Grupo de Lógica e Teoria da Ci, Carga horária: 4

Atividades

  • 03/1989

    Conselhos, Comissões e Consultoria, Projetos de Lógica e Teoria da Ciência, Iea Usp.Cargo ou função, Coordenador dos Projetos de Lógica e Teoria da Ciência.

  • 01/1989

    Pesquisa e desenvolvimento, Projetos de Lógica e Teoria da Ciência, Iea Usp.Linhas de pesquisa

1998 - Atual

Faculdade de Medicina USP

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador colaborador, Carga horária: 2

1989 - 1989

Fundação de Apoio à Universidade do Rio Grande

Vínculo: Professor vistante, Enquadramento Funcional: Professor vistante, Carga horária: 20

2005 - 2005

Hokkaido University

Vínculo: Professor vistante, Enquadramento Funcional: Professor vistante, Carga horária: 40

1990 - 1990

Shizuoka University

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

Outras informações:
Bolsista da JICA - JAPÃO

Atividades

  • 01/1990 - 03/1990

    Pesquisa e desenvolvimento, Faculty Of Engineering, Department Of Computer Science.Linhas de pesquisa

1990 - 1990

Universidade de Concepcion

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Atividades

  • 12/1990 - 12/1990

    Pesquisa e desenvolvimento, Universidade de Concepcion.Linhas de pesquisa

  • 12/1990 - 12/1990

    Ensino, Pós Graduação Energia Nuclear, Nível: Pós-GraduaçãoDisciplinas ministradas, Mereologia y Sistemática Biológica

1990 - 2000

Universidade de São Paulo

Vínculo: Outro, Enquadramento Funcional: PROFESSOR CONVIDADO, Carga horária: 4

1986 - 1986

Universidade Federal do Paraná

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante, Carga horária: 20

1996 - 1996

Universidade Nacional Autonoma de Médico

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

1994 - 1994

Universidade Nacional Autonoma de Médico

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Atividades

  • 07/1996 - 07/1996

    Pesquisa e desenvolvimento, Conabio Conacyt, Departamento de Biologia.Linhas de pesquisa

  • 07/1996 - 07/1996

    Ensino, Lógica e Biologia, Nível: Pós-GraduaçãoDisciplinas ministradas, Introdución a la Lógica Clássica y Teoria Intuitiva dos Conjuntos

  • 01/1994 - 02/1994

    Pesquisa e desenvolvimento, Conabio Conacyt, Departamento de Biologia.Linhas de pesquisa

  • 01/1994 - 02/1994

    Ensino, Lógica e Biologia, Nível: Pós-GraduaçãoDisciplinas ministradas, Teoria Intuitiva dos Conjuntos y Sistemática Biológica

1997 - 1997

University Of Sacro Cuore

Vínculo: Professor Visitante, Enquadramento Funcional: Outro, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

  • 07/1997 - 07/1997

    Pesquisa e desenvolvimento, Department Of Mathematics, Department Of Mathematics.Linhas de pesquisa

Propriedade Intelectual

Patentes (1)

Tipo Título Data depósito
INVENTOR e DEPOSITANTE Controlador lógico paraconsistente 04/05/2000