An Approach for Data Type Specification and Its Use in Program Verification. - Tarcisio H. C. Pequeno; Carlos José Pereira de Lucena (Inf. Process. Lett., 1979)

Program Derivation Using Data Types: A Case Study. - Carlos José Pereira de Lucena; Tarcisio H. C. Pequeno (IEEE Trans. Software Eng., 1979)

The Logic of Epistemic Inconsistency. - Tarcisio H. C. Pequeno; Arthur Buchsbaum (KR, 1991)

A reasoning method for a paraconsistent logic. - Arthur Buchsbaum; Tarcisio H. C. Pequeno (Stud Logica, 1993)

Well-Behaved IDL Theories. - Ana Teresa C. Martins; Marcelino Pequeno; Tarcisio H. C. Pequeno (SBIA, 1996)

A Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science. - Ricardo Sousa Silvestre; Tarcisio H. C. Pequeno (IC-AI, 2003)

Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? - Ricardo Sousa Silvestre; Tarcisio H. C. Pequeno (SBIA, 2004)

A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II. - Ricardo Sousa Silvestre; Tarcisio H. C. Pequeno (Canadian AI, 2005)

A logical expression of reasoning. - Arthur Buchsbaum; Tarcisio H. C. Pequeno; Marcelino Pequeno (Synth., 2007)

SIM: um modelo semântico-inferencialista para sistemas de linguagem natural. - Vládia Pinheiro; Tarcisio H. C. Pequeno; Vasco Furtado; Thiago Assunção; Emanoel Freitas (WebMedia (Companion), 2008)

Information Extraction from Text Based on Semantic Inferentialism. - Vládia Pinheiro; Tarcisio H. C. Pequeno; Vasco Furtado; Douglas Nogueira (FQAS, 2009)

Natural Language Processing based on Semantic inferentialism for extracting crime information from text. - Vládia Pinheiro; Vasco Furtado; Tarcisio H. C. Pequeno; Douglas Nogueira (ISI, 2010)

InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language. - Vládia Pinheiro; Tarcisio H. C. Pequeno; Vasco Furtado; Wellington Franco (PROPOR, 2010)

Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural. - Vládia Pinheiro; Tarcisio H. C. Pequeno; Vasco Furtado (Linguamática, 2010)

Aquisição de Conhecimento de Senso Comum e Inferencialista (Acquisition of Common Sense and Inferentialist Knowledge [in Portuguese]. - Vládia Pinheiro; Vasco Furtado; Tarcisio H. C. Pequeno; Wellington Franco (STIL, 2011)

Towards a Common Sense Base in Portuguese for the Linked Open Data Cloud. - Vládia Pinheiro; Vasco Furtado; Tarcisio H. C. Pequeno; Caio Ferreira (PROPOR, 2012)

Collaboration networks from a large CV database: dynamics, topology and bonus impact. - Eduardo B. Araújo; André A. Moreira; Vasco Furtado; Tarcisio H. C. Pequeno; José S. Andrade Jr. (CoRR, 2013)

A semi-automated method for acquisition of common-sense and inferentialist knowledge. - Vládia Pinheiro; Vasco Furtado; Tarcisio H. C. Pequeno; Wellington Franco (J. Braz. Comput. Soc., 2013)

Multiagent Models for Police Resource Allocation and Dispatch. - Ricardo Guedes; Vasco Furtado; Tarcisio H. C. Pequeno (JISIC, 2014)

Multi-objective evolutionary algorithms and multiagent models for optimizing police dispatch. - Ricardo Guedes; Vasco Furtado; Tarcisio H. C. Pequeno (ISI, 2015)

Human Mobility in Large Cities as a Proxy for Crime. - Carlos Caminha; Vasco Furtado; Tarcisio H. C. Pequeno; Caio Ponte; Hygor P. M. Melo; Erneson A. Oliveira; José S. Andrade Jr. (CoRR, 2016)

Pareto set as a model for dispatching resources in emergency Centres. - Ricardo Guedes; Vasco Furtado; Tarcisio H. C. Pequeno; Joel J. P. C. Rodrigues (Peer-to-Peer Netw. Appl., 2019)