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
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
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
ABE, J.M.. v. 2004 - Escola Politécnica da Universidade de São Paulo.
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.
ABE, J.M.. v. 2004 - Universidade Federal de Itajubá.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
ABE, J.M.; MASSAD, E.. Modelo Reed-Frost fuzzy para estudo de dispersão de epidemias. 2003 - Universidade de São Paulo.
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.
ABE, J.M.. A Noção de Predicado no Texto Freudiano e Aplicada à Prática da Psicanálise. 2002 - Instituto de Psicologia.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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á.
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.
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á.
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.
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.
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.
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.
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.
ABE, J.M.. A Noção de Predicado e a Prática da Psicanálise. 2001 - Universidade de São Paulo.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
ABE, J.M.. Gerenciamento de Um Depósito Virtual. 2004 - Universidade Cidade de São Paulo.
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.
ABE, J.M.. Um Estudo Sobre o Desenvolvimento de Sistemas de Automação Comercial Presencial. 2004 - Universidade Cidade de São Paulo.
ABE, J.M.. Um Estudo Sobre o Desenvolvimento de Sistemas de Automação Comercial Virtual. 2004 - Universidade Cidade de São Paulo.
ABE, J.M.. Representação de Conhecimento em Lógica Paraconsistente. 2004 - Universidade Cidade de São Paulo.
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 PaulistaVí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 PauloVí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 USPVínculo: Colaborador, Enquadramento Funcional: Pesquisador colaborador, Carga horária: 2
1989 - 1989
Fundação de Apoio à Universidade do Rio GrandeVínculo: Professor vistante, Enquadramento Funcional: Professor vistante, Carga horária: 20
2005 - 2005
Hokkaido UniversityVínculo: Professor vistante, Enquadramento Funcional: Professor vistante, Carga horária: 40
1990 - 1990
Shizuoka UniversityVí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 ConcepcionVí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 PauloVí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édicoVínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40
1994 - 1994
Universidade Nacional Autonoma de MédicoVí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 CuoreVí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 |
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Jair Minoro Abe e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?