Tarcisio H. C. Pequeno

	2012
13		Vladia Pinheiro, Vasco Furtado, Tarcisio H. C. Pequeno, Caio Ferreira: Towards a Common Sense Base in Portuguese for the Linked Open Data Cloud. PROPOR 2012: 128-138
	2010
12		Vladia Pinheiro, Vasco Furtado, Tarcisio H. C. Pequeno, Douglas Nogueira: Natural Language Processing based on Semantic inferentialism for extracting crime information from text. ISI 2010: 19-24
11		Vladia Pinheiro, Tarcisio H. C. Pequeno, Vasco Furtado, Wellington Franco: InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language. PROPOR 2010: 90-99
	2009
10		Vladia Pinheiro, Tarcisio H. C. Pequeno, Vasco Furtado, Douglas Nogueira: Information Extraction from Text Based on Semantic Inferentialism. FQAS 2009: 333-344
	2007
9		Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno: A logical expression of reasoning. Synthese 154(3): 431-466 (2007)
	2005
8		Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno: A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II. Canadian Conference on AI 2005: 232-243
	2004
7		Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno: Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? SBIA 2004: 124-133
	2003
6		Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno: A Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science. IC-AI 2003: 669-675
	1996
5		Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno: Well-Behaved IDL Theories. SBIA 1996: 11-20
	1993
4		Arthur Buchsbaum, Tarcisio H. C. Pequeno: A reasoning method for a paraconsistent logic. Studia Logica 52(2): 281-290 (1993)
	1991
3		Tarcisio H. C. Pequeno, Arthur Buchsbaum: The Logic of Epistemic Inconsistency. KR 1991: 453-460
	1979
2		Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno: Program Derivation Using Data Types: A Case Study. IEEE Trans. Software Eng. 5(6): 586-592 (1979)
1		Tarcisio H. C. Pequeno, Carlos José Pereira de Lucena: An Approach for Data Type Specification and Its Use in Program Verification. Inf. Process. Lett. 8(2): 98-103 (1979)

Coauthor Index

1	Arthur Buchsbaum	[3] [4] [9]
2	Caio Ferreira	[13]
3	Wellington Franco	[11]
4	Vasco Furtado	[10] [11] [12] [13]
5	Carlos José Pereira de Lucena	[1] [2]
6	Ana Teresa C. Martins	[5]
7	Douglas Nogueira	[10] [12]
8	Marcelino Pequeno	[5] [9]
9	Vladia Pinheiro	[10] [11] [12] [13]
10	Ricardo Sousa Silvestre	[6] [7] [8]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page