• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 28 matches

• 2024
• 
  Arnaldo de Carvalho, João Francisco Justo, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho:
  A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives. Eng. Appl. Artif. Intell. 127(Part B): 107342 (2024)
• 2023
• 
  Arnaldo de Carvalho, Bruno Augusto Angélico, João Francisco Justo, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho:
  Model reference control by recurrent neural network built with paraconsistent neurons for trajectory tracking of a rotary inverted pendulum. Appl. Soft Comput. 133: 109927 (2023)
• 
  Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho:
  Cubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis. Expert Syst. Appl. 230: 120536 (2023)
• 
  João Inácio da Silva Filho, Cláudio Luís Magalhães Fernandes, Rodrigo Silvério da Silveira, Paulino Machado Gomes, Sérgio Luiz da Conceição Matos, Leonardo do Espirito Santo, Célio Vander Nunes, Hyghor Miranda Côrtes, William Aparecido Celestino Lopes, Maurício Conceição Mário, Dorotéa Vilanova Garcia, Cláudio Rodrigo Torres, Jair Minoro Abe, Germano Lambert-Torres:
  Process of Learning from Demonstration with Paraconsistent Artificial Neural Cells for Application in Linear Cartesian Robots. Robotics 12(3): 69 (2023)
• 
  Arnaldo de Carvalho, João Francisco Justo, Bruno Augusto Angélico, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho:
  Paraconsistent State Estimator for a Furuta Pendulum Control. SN Comput. Sci. 4(1): 29 (2023)
• 2022
• 
  Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho:
  Monitoring electrical systems data-network equipment by means of Fuzzy and Paraconsistent Annotated Logic. Expert Syst. Appl. 187: 115865 (2022)
• 2021
• 
  Arnaldo de Carvalho, João Francisco Justo, Bruno Augusto Angélico, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho:
  Rotary Inverted Pendulum Identification for Control by Paraconsistent Neural Network. IEEE Access 9: 74155-74167 (2021)
• 
  João Inácio da Silva Filho, Jair Minoro Abe, Alessandro de Lima Marreiro, Angel Antonio Gonzalez Martinez, Cláudio Rodrigo Torres, Alexandre Rocco, Hyghor Miranda Côrtes, Maurício Conceição Mário, Marcos Tadeu Tavares Pacheco, Dorotéa Vilanova Garcia, Maurício Fontoura Blos:
  Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes. Sensors 21(12): 4219 (2021)
• 
  Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho:
  Monitoring electrical systems data-network equipment by means of Fuzzy and Paraconsistent Annotated Logic. CoRR abs/2105.07579 (2021)
• 2019
• 
  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
• 2018
• 
  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
• 
  Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho:
  The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. KES-IDT (2) 2017: 196-205
• 2016
• 
  João Inácio da Silva Filho, Célio Vander Nunes, Dorotéa Vilanova Garcia, Maurício Conceição Mário, Fábio Giordano, Jair Minoro Abe, Marcos Tadeu Tavares Pacheco, Landulfo Silveira Jr.:
  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)
• 
  João Inácio da Silva Filho, Clóvis Misseno Da Cruz, Alexandre Rocco, Dorotéa Vilanova Garcia, Luís Fernando Pompeo Ferrara, Alexandre Shozo Onuki, Maurício Conceição Mário, Jair Minoro Abe:
  Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering. Towards Paraconsistent Engineering 2016: 77-102
• 2015
• 
  Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho:
  Propositional Algebra P₁. KES-IDT 2015: 1-10
• 
  João Inácio da Silva Filho, Irapajy da Silva Caetano, Floriana Nascimento Pontes, Maurício Conceição Mário, Jair Minoro Abe, Fábio Giordano:
  Paraconsistent Logic Algorithms Applied to Seasonal Comparative Analysis with Biomass Data Extracted by the Fouling Process. Paraconsistent Intelligent-Based Systems 2015: 131-151
• 
  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, José Carlos Morilla, Clóvis Misseno Da Cruz, Jair Minoro Abe, Cláudio Rodrigo Torres, Deovaldo de Moraes Júnior:
  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
• 2011
• 
  Cláudio Rodrigo Torres, Germano Lambert-Torres, João Inácio da Silva Filho, Helga Gonzaga Martins:
  Results of a sensing system for an autonomous mobile robot based on the paraconsistent artificial neural network. Int. J. Reason. based Intell. Syst. 3(2): 108-114 (2011)
• 
  João Inácio da Silva Filho, Germano Lambert-Torres, Luís Fernando Pompeo Ferrara, Maurício Conceição Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco:
  Paraconsistent Algorithm Extractor of Contradiction Effects - ParaExtr_ctr. J. Softw. Eng. Appl. 4(10): 579-584 (2011)
• 
  Cláudio Rodrigo Torres, Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho:
  The sensing system for the autonomous mobile robot Emmy III. FUZZ-IEEE 2011: 2928-2933
• 2010
• 
  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
• 
  Cláudio Rodrigo Torres, Jair Minoro Abe, Germano Lambert-Torres, João Inácio da Silva Filho, Helga Gonzaga Martins:
  A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network. KES (3) 2010: 154-163
• 2009
• 
  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]
• 2007
• 
  Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, João Inácio da Silva Filho, Helga Gonzaga Martins:
  Paraconsistent Autonomous Mobile Robot Emmy III. LAPTEC 2007: 236-258
• 
  João Inácio da Silva Filho, Alexandre Rocco, Maurício Conceição Mário, Luís Fernando Pompeo Ferrara:
  Paraconsistent Logic Applied in Expert System for Support in Electric Transmission System Re-establishment. LAPTEC 2007: 160-179
• 2005
• 
  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
• 
  Luís Fernando Pompeo Ferrara, Keiji Yamanaka, João Inácio da Silva Filho:
  A System of Recognition of Characters based on Paraconsistent Artificial Neural Networks. LAPTEC 2005: 127-134
• 2003
• 
  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)