The logic of epistemic inconsistency THC Pequeno, A Buchsbaum Proceedings of the second international conference on principles of …, 1991 | 77 | 1991 |
Human mobility in large cities as a proxy for crime C Caminha, V Furtado, THC Pequeno, C Ponte, HPM Melo, EA Oliveira, ... PloS one 12 (2), e0171609, 2017 | 70 | 2017 |
Natural language processing based on semantic inferentialism for extracting crime information from text V Pinheiro, V Furtado, T Pequeno, D Nogueira 2010 IEEE International Conference on Intelligence and Security Informatics …, 2010 | 50 | 2010 |
An expert system applied to the diagnosis of psychological disorders LC Nunes, PR Pinheiro, TC Pequeno 2009 IEEE international conference on intelligent computing and intelligent …, 2009 | 41 | 2009 |
Collaboration networks from a large CV database: dynamics, topology and bonus impact EB Araújo, AA Moreira, V Furtado, THC Pequeno, JS Andrade, Jr PloS one 9 (3), e90537, 2014 | 35 | 2014 |
A logic for inconsistent nonmonotonic reasoning Imperial College of Science, Technology, and Medicine (Great Britain ... | 23 | 1990 |
InferenceNet. Br: expression of inferentialist semantic content of the Portuguese language V Pinheiro, T Pequeno, V Furtado, W Franco Computational Processing of the Portuguese Language: 9th International …, 2010 | 22 | 2010 |
Uma família de lógicas paraconsistentes e/ou paracompletas com semânticas recursivas A Buchsbaum, T Pequeno Coleção Documentos, Série Lógica e Teoria da Ciência 14, 1993 | 22 | 1993 |
A logical expression of reasoning A Buchsbaum, T Pequeno, M Pequeno Synthese 154, 431-466, 2007 | 19 | 2007 |
O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas A Buchsbaum, T Pequeno O que nos faz pensar 2 (03), 81-96, 1990 | 19 | 1990 |
A reasoning method for a paraconsistent logic A Buchsbaum, T Pequeno Studia Logica 52, 281-289, 1993 | 18 | 1993 |
Information extraction from text based on semantic inferentialism V Pinheiro, T Pequeno, V Furtado, D Nogueira Flexible Query Answering Systems: 8th International Conference, FQAS 2009 …, 2009 | 16 | 2009 |
A general treatment for the deduction theorem in open calculi A Buchsbaum, T Pequeno Logique et Analyse, 9-29, 1997 | 15 | 1997 |
Support tool in the diagnosis of major depressive disorder LC Nunes, PR Pinheiro, TC Pequeno, MCD Pinheiro Organizational, Business, and Technological Aspects of the Knowledge Society …, 2010 | 13 | 2010 |
SIM: Um modelo semântico-inferencialista para sistemas de linguagem natural V Pinheiro, T Pequeno, V Furtado, T Assunção, E Freitas Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the …, 2008 | 12 | 2008 |
A model theoretic approach to the theory of abstract data types and data structures RL De Carvalho, TSE Maibaum, THC Pequeno, AA Pereda, PAS Veloso Res. Rept. CS-80-22, 1980 | 12 | 1980 |
Do not write more axioms than you have to THC Pequeno, PAS Veloso Proc. Int. Computing Symp., Taipei, 487-498, 1978 | 11 | 1978 |
Multi-objective evolutionary algorithms and multiagent models for optimizing police dispatch R Guedes, V Furtado, T Pequeno 2015 IEEE International Conference on Intelligence and Security Informatics …, 2015 | 10 | 2015 |
Multiagent models for police resource allocation and dispatch R Guedes, V Furtado, T Pequeno 2014 IEEE Joint Intelligence and Security Informatics Conference, 288-291, 2014 | 10 | 2014 |
Toward an applied to the diagnosis of psychological disorders LC Nunes, PR Pinheiro, TC Pequeno, MCD Pinheiro Advances in Experimental Medicine and Biology 696, 23-31, 2011 | 10 | 2011 |