- J. Carmo, P. Gouveia, and F. M. Dionísio.
Elementos de
Matemática Discreta.
College Publications, London, 2013.
ISBN 978-1-84890-134-6.
- C. Caleiro, P. Gouveia, and J. Ramos.
Hierarchical logical consequence.
Logic Journal of the IGPL, 19(4):544--565, 2011.
Get a
preprint: 07-CGR-hlc.pdf
- W. A. Carnielli, M. E.
Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas.
Analysis
and Synthesis of Logics - How To Cut And Paste Reasoning Systems,
volume 35 of Applied Logic.
Springer, 2008.
Get a preprint: 06-CCGGS-fibringbook.pdf
- F. M. Dionísio, P. Gouveia, and
J. Marcos.
Defining and using deductive systems with Isabelle.
In L. Magnani and R. Dossena, editors, Computing, Philosophy, and
Cognition, pages 271--293. King's College Publications, 2005.
Get a
preprint: 04-DGM-dlogisa.pdf
- P. Gouveia and J. Ramos.
Multi-agent systems specification and certification: A situation and state
calculus approach.
Annals of Mathematics and Artificial Intelligence, 41(2-4):301--338,
2004.
Get a preprint: 03-GR-ssccert.ps
03-GR-ssccert.pdf
- C. Caleiro, P. Gouveia, and J. Ramos.
Completeness results for fibred parchments: Beyond the propositional base.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 2755 of
Lecture Notes in Computer Science, pages 185--200. Springer,
2003.
Get a preprint: 03-CGR-fiblog16.ps
03-CGR-fiblog16.pdf
- P. Gouveia and C. Sernadas.
Abductive reasoning over temporal specifications of objects.
In M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors,
Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes,
pages 275--300. CSLI Publications, 2001.
Get a preprint: 98-GS-artso.ps
- P. Gouveia.
Raciocínio Abdutivo sobre Especificações Temporais de Objectos
(Abductive Reasoning over Temporal Specifications of Objects).
PhD thesis, IST, Universidade Técnica de Lisboa, 1998.
Supervised by C. Sernadas.
Get a preprint: resumo.ps
capa.ps
corpo.ps
- P. Gouveia and C. Sernadas.
Abduction in temporal object specification using tableaux.
In P. Baumgartner, R. Hahnle, and J. Possega, editors, 4th Workshop on
Theorem Proving with Analytic Tableaux and Related Methods - Poster Session
and Short Papers, pages 43--48. University of Koblenz, 1995.
- P. Gouveia and C. Sernadas.
Introducing explanations in temporal object specification.
In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected Papers,
pages 53--68. World Scientific Publishers, 1995.
Get a preprint: 95-GS-ietos.ps
- P. Gouveia.
Tableaux para raciocínio local sobre objectos (Tableaux for local
reasoning about objects).
Master's thesis, IST, Universidade Técnica de Lisboa, 1993.
Supervised by C. Sernadas.
- P. Gouveia and C. Sernadas.
Reasoning aspects in information systems and databases.
In A. Olivé, editor, The Deductive Approach to Information Systems and
Databases 93, pages 201--224. Universitat Politècnica de Catalunya,
1993.
- P. Gouveia, C. Sernadas, J. Gomes, and
J. Apolinário.
Tableaux for reasoning about objects.
In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind, editors,
Theorem Proving with Analytic Tableaux and Related Methods, pages
113--125. Max-Planck-Institut für Informatik, 1993.
Get a
preprint: 93-GSGA-tfrab.ps
- C. Sernadas, P. Gouveia, J. Gouveia,
A. Sernadas, and P. Resende.
The reification dimension in object-oriented data base design.
In D. Harper and M. Norrie, editors, Specification of Database Systems,
pages 275--299. Springer, 1992.
- C. Sernadas, P. Gouveia, and A. Sernadas.
Refinement: Layered definition of conceptual schemata.
In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information
System Concepts, pages 19--51. North-Holland, 1992.
- C. Sernadas, P. Gouveia, and M. A. Lopes.
Gentzen-type system for verification in conceptual modeling.
In J. Göers, A. Heuer, and G. Saake, editors, Foundations of Models
and Languages for Data and Objects, pages 215--228. TU Clausthal,
1991.
- C. Sernadas, P. Resende, P. Gouveia, and
A. Sernadas.
In-the-large object-oriented design of information systems.
In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented
Approach in Information Systems, pages 209--232. North-Holland,
1991.
- C. Sernadas, P. Gouveia, L. Silva, and
M. A. Lopes.
Objects as structuring units for incorporating dynamics in deductive conceptual
modeling.
In The Deductive Approach to Information Systems and Databases 90, pages
93--110. Universitat Politècnica de Catalunya, 1990.
- P. Gouveia, F. M. Dionísio, and
J. Marcos.
Teaching and experimenting with deductive systems using a generic proof
assistant.
In XIII Simposio Latinoamericano de Lógica Matemática, volume 1 of
Proceedings of the XIII SLALM, pages 49--50, Oaxaca, México,
2006.
Get a preprint: 06-DGM-slalm.pdf