Follow
Tarcisio Pequeno
Tarcisio Pequeno
Ciencia da computação, Universidade de Fortaleza
Verified email at funcap.ce.gov.br
Title
Cited by
Cited by
Year
The logic of epistemic inconsistency
THC Pequeno, A Buchsbaum
Proceedings of the second international conference on principles of …, 1991
761991
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
662017
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
502010
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
382009
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
352014
A logic for inconsistent nonmonotonic reasoning
Imperial College of Science, Technology, and Medicine (Great Britain ...
231990
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
221993
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
212010
A logical expression of reasoning
A Buchsbaum, T Pequeno, M Pequeno
Synthese 154, 431-466, 2007
192007
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
191990
A reasoning method for a paraconsistent logic
A Buchsbaum, T Pequeno
Studia Logica 52, 281-289, 1993
171993
A general treatment for the deduction theorem in open calculi
A Buchsbaum, T Pequeno
Logique et Analyse, 9-29, 1997
151997
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
132009
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
122010
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
121980
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
112008
Do not write more axioms than you have to
THC Pequeno, PAS Veloso
Proc. Int. Computing Symp., Taipei, 487-498, 1978
111978
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
102014
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
102011
Well-behaved idl theories
ATC Martins, M Pequeno, T Pequeno
Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial …, 1996
101996
The system can't perform the operation now. Try again later.
Articles 1–20