default search action
Jair Minoro Abe
Jair Minoru Abe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j17]João Inácio da Silva Filho
, Cláudio Luís Magalhães Fernandes, Rodrigo Silvério da Silveira, Paulino Machado Gomes
Process of Learning from Demonstration with Paraconsistent Artificial Neural Cells for Application in Linear Cartesian Robots. Robotics 12(3): 69 (2023) - [c86]Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai:
Annotated Logic with Rough Double Stone Algebraic Interpretation. FUZZ 2023: 1-6 - 2022
- [c85]Liliam Sayuri Sakamoto
Professional Guidance of the DPOs-BR in Corporate Governance in Logistics Chains. APMS (2) 2022: 57-65 - [c84]Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai:
Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic. KES-IDT 2022: 137-147 - 2021
- [j16]João Inácio da Silva Filho
Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. Sensors 21(12): 4219 (2021) - [c83]Flavio Amadeu Bernardini
Paraconsistent Annotated Evidential Logic Eτ Applied to Autonomous Robots in Logistic Center. APMS (3) 2021: 533-540 - [c82]Liliam Sayuri Sakamoto
Use of Paraconsistent Logic Evidential Annotated Eτ in Logistic Systems. APMS (2) 2021: 646-654 - [c81]Luiz Antônio de Lima, Jair Minoro Abe, Angel Antonio Gonzalez Martinez, Liliam Sayuri Sakamoto, Luigi Pavarini de Lima:
Application of architecture using AI in the training of a set of pixels of the image at aid decision-making diagnostic cancer. KES 2021: 1740-1749 - [c80]Angel Antonio Gonzalez Martinez, Jair Minoro Abe, Luiz Antônio de Lime, Jonatas Santos de Souza, Flavio Amadeu Bernardini, Nilson Amado de Souza, Liliam Sayuri Sakamoto:
PANN Component for Use in Pattern Recognition in medical diagnostics decision-making. KES 2021: 1750-1759 - [c79]Samira Sestari do Nascimento, Irenilza de Alencar Nääs, Jair Minoro Abe, Cristina Corrêa de Oliveira, Luiz Roberto Forçan:
Expert Group Simulation Evaluating Behavioural Competence by Paraconsistent Annotated Evidential Logic Eτ. KES 2021: 1779-1786 - [c78]Flavio Amadeu Bernardini, Márcia Terra da Silva, Jair Minoro Abe:
Application of Paraconsistent Annotated Evidential Logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles. KES 2021: 1821-1830 - [c77]Liliam Sayuri Sakamoto, Davis Alves, Jair Minoro Abe, Jonatas Santos de Souza, Nilson A. de Souza, Angel Antonio Gonzalez Martinez:
Software optimization for LGPD compliance using Paraconsistent Evidential Annotated Logic Eτ. KES 2021: 3049-3059 - 2020
- [j15]Felipe Napolitano da Fonseca, Jair Minoro Abe, Irenilza de Alencar Nääs, Alexandra Ferreira da Silva Cordeiro, Fábio Vieira do Amaral, Henry Costa Ungaro:
Automatic prediction of stress in piglets (Sus Scrofa) using infrared skin temperature. Comput. Electron. Agric. 168 (2020) - [c76]Luiz Roberto Forçan
Questionnaire Model for Paraconsistent Quality Assessment of Software Developed in SalesForce. APMS (1) 2020: 333-340 - [i2]Flavio Amadeu Bernardini, Márcia Terra da Silva, Jair Minoro Abe, Luiz Antônio de Lima, Kanstantsin Miatliuk:
Analysis of the displacement of terrestrial mobile robots in corridors using paraconsistent annotated evidential logic eτ. CoRR abs/2009.14192 (2020) - [i1]Jonatas Santos de Souza, Jair Minoro Abe, Luiz Antônio de Lima, Nilson A. de Souza:
The General Law Principles for Protection the Personal Data and their Importance. CoRR abs/2009.14313 (2020)
2010 – 2019
- 2019
- [j14]Jonas Pereira da Silva, Irenilza de Alencar Nääs, Jair Minoro Abe, Alexandra Ferreira da Silva Cordeiro:
Classification of piglet (Sus Scrofa) stress conditions using vocalization pattern and applying paraconsistent logic Eτ. Comput. Electron. Agric. 166 (2019) - [c75]Jair Minoro Abe, Kazumi Nakamatsu, João Inácio da Silva Filho:
Three decades of paraconsistent annotated logics: a review paper on some applications. KES 2019: 1175-1181 - [c74]Avelino Palma Pimenta Junior, Jair Minoro Abe:
Determination of the turning point of cache efficiency in computer networks with logic Eτ. KES 2019: 1182-1189 - 2018
- [b3]Fábio Romeu de Carvalho, Jair Minoro Abe:
A Paraconsistent Decision-Making Method. Smart Innovation, Systems and Technologies 87, Springer 2018, ISBN 978-3-319-74109-3, pp. 1-203 - [c73]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary:
Handling Paraconsistency and Paracompleteness in Robotics. INISTA 2018: 1-7 - [c72]Ari Aharari
Develop an Embedded IoT System and It's Applications. INISTA 2018: 1-5 - [c71]Fábio Vieira do Amaral, Lauro Henrique de Castro Tomiatti, Jair Minoro Abe, Kazumi Nakamatsu, Henry Costa Ungaro:
Paraconsistent Extractor of Mammographic Images Applied in the Process of Diagnosis of Breast Cancer Assisted by Computer. INISTA 2018: 1-6 - [c70]Caique Zaneti Kirilo, Jair Minoro Abe, Marcelo Nogueira
Evaluation Of Adherence To The Model Six Sigma Using Paraconsistent Logic. INISTA 2018: 1-7 - [c69]Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, João Inácio da Silva Filho:
Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics. KES 2018: 1253-1260 - 2017
- [c68]Jair Minoro Abe
The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. KES-IDT (2) 2017: 196-205 - 2016
- [j13]João Inácio da Silva Filho
Paraconsistent analysis network applied in the treatment of Raman spectroscopy data to support medical diagnosis of skin cancer. Medical Biol. Eng. Comput. 54(10): 1453-1467 (2016) - [c67]Álvaro André Colombero Prado
Improving Photovoltaic Applications Through the Paraconsistent Annotated Evidential Logic Eτ. ICCSA (3) 2016: 345-355 - [c66]Avelino Palma Pimenta Junior, Jair Minoro Abe
Determination of Operating Parameters and Performance Analysis of Computer Networks with Paraconsistent Annotated Evidential Logic Eτ. APMS 2016: 3-11 - [c65]Nélio Fernando dos Reis, Priscila Facciolli S. L. Tavares, Cristina Corrêa de Oliveira, Jair Minoro Abe
Logical Decision-Making Method Relating to Innovation Management. APMS 2016: 12-19 - [c64]Priscila F. Tavaves, Liliam Sayuri Sakamoto, Genivaldo Carlos Silva, Jair Minoro Abe
IT Incident Management and Analysis Using Non-classical Logics. APMS 2016: 20-27 - [c63]Caique Zaneti Kirilo, Jair Minoro Abe
Using Logic Concepts on Six Sigma. APMS 2016: 36-42 - [c62]Álvaro André Colombero Prado
Applying the Paraconsistent Annotated Evidential Logic Eτ in a Solar Tracker for Photovoltaic Panels: An Analytical Approach. APMS 2016: 280-287 - [c61]André Gomes de Lira Muniz, Debora Adriana Mões Correa, Jair Minoro Abe
Mitigating Serialization and Traceability, a Study on the Strategies for the Implementation of the System and Adaptation to the TBR no 54 2013. APMS 2016: 445-451 - [c60]Priscila F. Tavaves, Jair Minoro Abe
ERP Software Quality Using Paraconsistent Logic. APMS 2016: 731-738 - [p16]João Inácio da Silva Filho
Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering. Towards Paraconsistent Engineering 2016: 77-102 - [p15]Jair Minoro Abe
Paraconsistent Logics and Applications. New Approaches in Intelligent Control 2016: 273-300 - [p14]Seiki Akama, Jair Minoro Abe
Annotated Logics and Intelligent Control. New Approaches in Intelligent Control 2016: 301-335 - [p13]Kazumi Nakamatsu, Jair Minoro Abe
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control. New Approaches in Intelligent Control 2016: 337-401 - 2015
- [b2]Jair Minoro Abe
Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning. Intelligent Systems Reference Library 88, Springer 2015, ISBN 978-3-319-17911-7, pp. 1-177 - [c59]Jair Minoro Abe
A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems. APMS (1) 2015: 202-210 - [c58]Cristina Corrêa de Oliveira, Danilo Medeiros de Castro, Nélio Fernando dos Reis, João Gilberto Mendes dos Reis
Priority Modes of Transport for Soybeans from the Center-West Region in Brazil. APMS (1) 2015: 324-331 - [c57]Fábio Vieira do Amaral, Jair Minoro Abe
Paraconsistent Artificial Neural Network Applied in Breast Cancer Diagnosis Support. APMS (1) 2015: 464-472 - [c56]Genivaldo Carlos Silva, Jair Minoro Abe
Learning Evaluation Using Non-classical Logics. APMS (1) 2015: 558-564 - [c55]André Gomes de Lira Muniz, Marcelo Nogueira
Importance of Bidimensional Data Matrix Code Against Medicine Counterfeiting. APMS (1) 2015: 582-588 - [c54]Avelino Palma Pimenta Jr., Jair Minoro Abe
An Analyzer of Computer Network Logs Based on Paraconsistent Logic. APMS (2) 2015: 620-627 - [c53]Álvaro André Colombero Prado
Power Optimization in Photovoltaic Panels Through the Application of Paraconsistent Annotated Evidential Logic Eτ. APMS (1) 2015: 655-661 - [c52]Seiki Akama, Jair Minoro Abe
Evidential Reasoning in Annotated Logics. IIAI-AAI 2015: 28-33 - [c51]Jair Minoro Abe
Propositional Algebra P1. KES-IDT 2015: 1-10 - [p12]Jair Minoro Abe
Paraconsistent Logics: Preamble. Paraconsistent Intelligent-Based Systems 2015: 1-22 - [p11]Seiki Akama, Jair Minoro Abe
Constructive Discursive Logic: Paraconsistency in Constructivism. Paraconsistent Intelligent-Based Systems 2015: 23-38 - [p10]Kazumi Nakamatsu, Jair Minoro Abe
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. Paraconsistent Intelligent-Based Systems 2015: 39-85 - [p9]João Inácio da Silva Filho
Paraconsistent Logic Algorithms Applied to Seasonal Comparative Analysis with Biomass Data Extracted by the Fouling Process. Paraconsistent Intelligent-Based Systems 2015: 131-151 - [p8]Maurício Conceição Mário, Marcílio Dias Lopes, Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia, João Inácio da Silva Filho
An Algorithmic Method Supported by Paraconsistent Annotated Logic Applied to the Determination of Friction Factors for Turbulent Flow in Smooth Pipes. Paraconsistent Intelligent-Based Systems 2015: 153-174 - [p7]Sheila Souza, Jair Minoro Abe
Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition. Paraconsistent Intelligent-Based Systems 2015: 207-231 - [p6]Jair Minoro Abe
Paraconsistent Neurocomputing and Biological Signals Analysis. Paraconsistent Intelligent-Based Systems 2015: 273-306 - [e3]Jair Minoro Abe:
Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency. Intelligent Systems Reference Library 94, Springer 2015, ISBN 978-3-319-19721-0 [contents] - 2014
- [j12]Kazumi Nakamatsu, Jair Minoro Abe:
The paraconsistent process order control method. Vietnam. J. Comput. Sci. 1(1): 29-37 (2014) - [j11]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
Paraconsistent neurocomputing and brain signal analysis. Vietnam. J. Comput. Sci. 1(4): 219-230 (2014) - [c50]Nélio Fernando dos Reis, Cristina Corrêa de Oliveira, Liliam Sayuri Sakamoto, André Gomes de Lira, Jair Minoro Abe
Paraconsistent Method of Prospective Scenarios (PMPS). APMS (1) 2014: 76-84 - [c49]Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. IDT/IIMSS/STET 2014: 248-257 - [c48]Sheila Souza, Jair Minoro Abe
Nevus and Melanoma Paraconsistent Classification. InMed 2014: 244-250 - [c47]Seiki Akama, Jair Minoro Abe
Contingent Information: A Four-Valued Approach. KSE 2014: 209-217 - [p5]Sheila Souza, Jair Minoro Abe
Handwritten Numerical Character Recognition Based on Paraconsistent Artificial Neural Networks. Recent Developments in Computational Collective Intelligence 2014: 93-102 - [p4]Kazumi Nakamatsu, Jair Minoro Abe
Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems. Innovations in Intelligent Machines (4) 2014: 279-315 - 2013
- [j10]Jair Minoro Abe
Curry algebras and propositional algebra C1. Int. J. Reason. based Intell. Syst. 5(2): 127-132 (2013) - [j9]Jair Minoro Abe
Some recent results in paraconsistent artificial neural networks. Int. J. Reason. based Intell. Syst. 5(4): 253-259 (2013) - [j8]Jair Minoro Abe
Paraconsistent artificial neural networks and EEG. Int. J. Knowl. Based Intell. Eng. Syst. 17(2): 99-111 (2013) - [c46]Álvaro André Colombero Prado, Cristina Corrêa de Oliveira, Liliam Sayuri Sakamoto, Jair Minoro Abe, Marcelo Nogueira:
Reaching Energetic Sustainability through a Self-oriented Battery Charger, Based on Paraconsistent Annotated Evidential Logic Eτ. APMS 2013: 369-374 - [c45]Sheila Souza, Jair Minoro Abe
MICR Automated Recognition based on Paraconsistent Artificial Neural Networks. KES 2013: 1083-1091 - 2012
- [c44]Jair Minoro Abe
Paraconsistent Artificial Neural Networks and AD Analysis - Improvements. ICCCI (1) 2012: 259-267 - [c43]Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama:
Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces. KES 2012: 1342-1349 - [c42]Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu:
An Overview of Paraconsistent Artificial Neural Networks and Applications. KES 2012: 1350-1359 - 2011
- [j7]Jair Minoro Abe
Curry systems for algebraisation of some non-classical logics. Int. J. Reason. based Intell. Syst. 3(1): 59-69 (2011) - [j6]Jair Minoro Abe
Paraconsistent artificial neural networks and EEG analysis. Int. J. Reason. based Intell. Syst. 3(2): 115-123 (2011) - [j5]Kazumi Nakamatsu, Jair Minoro Abe
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. Int. J. Knowl. Based Intell. Eng. Syst. 15(3): 145-163 (2011) - [c41]Cláudio Rodrigo Torres, Germano Lambert-Torres, Jair Minoro Abe
The sensing system for the autonomous mobile robot Emmy III. FUZZ-IEEE 2011: 2928-2933 - [c40]Jair Minoro Abe
Applications of Paraconsistent Artificial Neural Networks in EEG. ICCCI (1) 2011: 82-92 - 2010
- [b1]João Inácio da Silva Filho, Germano Lambert-Torres, Jair Minoro Abe:
Uncertainty Treatment Using Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks. Frontiers in Artificial Intelligence and Applications 211, IOS Press 2010, ISBN 978-1-60750-557-0, pp. 1-311 - [j4]Helder Frederico da Silva Lopes, Jair Minoro Abe
Application of Paraconsistent Artificial Neural Networks as a Method of Aid in the Diagnosis of Alzheimer Disease. J. Medical Syst. 34(6): 1073-1081 (2010) - [c39]Kazumi Nakamatsu, Jair Minoro Abe
Introduction to Intelligent Network Routing Based on EVALPSN. KES (3) 2010: 123-132 - [c38]Kazumi Nakamatsu, Jair Minoro Abe
Introduction to Intelligent Elevator Control Based on EVALPSN. KES (3) 2010: 133-142 - [c37]Jair Minoro Abe
Monadic Curry System N1. KES (3) 2010: 143-153 - [c36]Cláudio Rodrigo Torres, Jair Minoro Abe
A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network. KES (3) 2010: 154-163 - [c35]Jair Minoro Abe
Paraconsistent Artificial Neural Networks and EEG Analysis. KES (3) 2010: 164-173 - [c34]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
Constructive Discursive Reasoning. KES (3) 2010: 200-206
2000 – 2009
- 2009
- [j3]Jair Minoro Abe
A survey of paraconsistent annotated logics and applications. Int. J. Reason. based Intell. Syst. 1(1/2): 31-42 (2009) - [j2]Kazumi Nakamatsu, Jair Minoro Abe
The development of paraconsistent annotated logic programs. Int. J. Reason. based Intell. Syst. 1(1/2): 92-112 (2009) - [c33]Kazumi Nakamatsu, Jair Minoro Abe
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN. KES (2) 2009: 380-387 - [c32]Jair Minoro Abe
A Note on Monadic Curry System P1. KES (2) 2009: 388-394 - [c31]Kazumi Nakamatsu, Jair Minoro Abe
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN. RSFDGrC 2009: 135-143 - [e2]Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho, Helga Gonzaga Martins:
Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007. Frontiers in Artificial Intelligence and Applications 186, IOS Press 2009, ISBN 978-1-58603-936-3 [contents] - 2008
- [c30]Jair Minoro Abe
Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks. KES (2) 2008: 466-473 - [c29]Kazumi Nakamatsu, Jair Minoro Abe
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN. KES (2) 2008: 474-482 - [p3]Jair Minoro Abe
Two Applications of Paraconsistent Logical Controller. New Directions in Intelligent Interactive Multimedia 2008: 249-254 - [p2]Kazumi Nakamatsu, Jair Minoro Abe
Paraconsistent Before-After Relation Reasoning Based on EVALPSN. New Directions in Intelligent Interactive Multimedia 2008: 265-274 - [p1]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
Constructive Logic and the Sorites Paradox. New Directions in Intelligent Interactive Multimedia 2008: 285-292 - 2007
- [c28]Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe
A Natural Deduction System for Annotated Predicate Logic. KES (2) 2007: 861-868 - [c27]Kazumi Nakamatsu, Jair Minoro Abe
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN. KES (2) 2007: 869-876 - [c26]Jair Minoro Abe
Monadic Curry Algebras Q tau. KES (2) 2007: 893-900 - [c25]Jair Minoro Abe
Manipulating Paraconsistent Knowledge in Multi-agent Systems. KES-AMSTA 2007: 159-168 - [c24]Jair Minoro Abe
Paraconsistent Autonomous Mobile Robot Emmy III. LAPTEC 2007: 236-258 - 2006
- [c23]Jair Minoro Abe
Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions. KES (2) 2006: 844-850 - [c22]Jair Minoro Abe
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. KES (2) 2006: 851-857 - [c21]Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
EVALPSN Based Intelligent Drivers' Model. KES (2) 2006: 858-865 - [c20]Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
Logic Determined by Boolean Algebras with Conjugate. KES (2) 2006: 871-878 - 2005
- [c19]Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. KES (2) 2005: 708-715 - [c18]Jair Minoro Abe
Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis. KES (2) 2005: 716-723 - [c17]Jair Minoro Abe
Non-alethic Reasoning in Distributed Systems. KES (2) 2005: 724-731 - [c16]Fábio Romeu de Carvalho, Israel Brunstein, Jair Minoro Abe:
Decision Making based on Paraconsistent Annotated Logic. LAPTEC 2005: 55-62 - [c15]Alexandre Scalzitti, Kazumi Nakamatsu, Jair Minoro Abe:
Digital Images: Weighted Automata Theoretical Aspects. LAPTEC 2005: 113-119 - [c14]José Pacheco de Almeida Prado, Jair Minoro Abe, Alexandre Scalzitti:
Modeling the Behavior of Paraconsistent Robots. LAPTEC 2005: 120-126 - [c13]Jair Minoro Abe, João Inácio da Silva Filho, Fábio Romeu de Carvalho, Israel Brunstein:
Para-analyzer and Its Applications. LAPTEC 2005: 153-160 - [c12]Jair Minoro Abe, Kazumi Nakamatsu:
A Note on Non-Alethic Temporal Logics. LAPTEC 2005: 216-219 - [c11]Kazumi Nakamatsu, Jair Minoro Abe:
Railway Signal and Paraconsistency. LAPTEC 2005: 220-225 - [c10]Tetsuya Murai, Yasuo Kudo, Seiki Akama, Jair Minoro Abe:
Paraconsistency and Paracompleteness in Chellas's Conditional Logics. LAPTEC 2005: 248-255 - [e1]Kazumi Nakamatsu, Jair Minoro Abe:
Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Frontiers in Artificial Intelligence and Applications 132, IOS Press 2005, ISBN 978-1-58603-568-6 [contents] - 2004
- [c9]Jair Minoro Abe
Para-Fuzzy Logic Controller. KES 2004: 935-941 - [c8]Jair Minoro Abe
Paraconsistent Artificial Neural Networks: An Introduction. KES 2004: 942-948 - 2003
- [j1]Jair Minoro Abe, João Inácio da Silva Filho:
Manipulating Conflicts and Uncertainties in Robotics. J. Multiple Valued Log. Soft Comput. 9(2): 147-169 (2003) - [c7]Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe
Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. RSFDGrC 2003: 719-723 - 2002
- [c6]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. HIS 2002: 775-784 - 2001
- [c5]Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki:
Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. HIS 2001: 665-679 - 2000
- [c4]Kazumi Nakamatsu, Jair Minoro Abe
Annotated Semantics for Defeasible Deontic Reasoning. Rough Sets and Current Trends in Computing 2000: 470-478 - [c3]Jair Minoro Abe, Seiki Akama:
Annotated Temporal Logics Delta*tau. IBERAMIA-SBIA 2000: 217-226
1990 – 1999
- 1998
- [c2]Seiki Akama, Jair Minoro Abe
Many-Valued and Annotated Modal Logics. ISMVL 1998: 114-120 - 1997
- [c1]Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado:
ParaLog_e: A Paraconsistent Evidential Logic Programming Language. SCCC 1997: 2-8
Coauthor Index
Helder F. S. Lopes
aka: Helder Frederico da Silva Lopes
aka: Helder Frederico da Silva Lopes
[c75] [c73] [c72] [c71] [c70] [c69] [c68] [p14] [p13] [b2] [c52] [c51] [p11] [p10] [j12] [j11] [c49] [c47] [p4] [j8] [c45] [c44] [c43] [c42] [j7] [j5] [c40] [c39] [c38] [c37] [c35] [c34] [j3] [j2] [c33] [c32] [c31] [c30] [c29] [p3] [p2] [p1] [c28] [c27] [c26] [c25] [c23] [c22] [c21] [c20] [c19] [c17] [c15] [c12] [c11] [e1] [c7] [c6] [c5] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: