| 2007 |
|---|
| 9 | EE | Arthur Buchsbaum,
Tarcisio H. C. Pequeno,
Marcelino Pequeno:
A logical expression of reasoning.
Synthese 154(3): 431-466 (2007) |
| 2005 |
|---|
| 8 | EE | 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 | EE | 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) |
