W. Carnielli,
M. Coniglio,
D. Gabbay,
M.P.G. Gouveia,
C. Sernadas,
Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems,
Springer,
Berlin,
2008,
| BibTex
J. F. Costa,
M.P.G. Gouveia,
Labyrinth: From Literature to Algorithms,
Chapter in,
Unconventional Computing, Arts, Philosophy,
Andrew Adamatzky,
World Scientific Publishing,
Singapore,
2022
C. Caleiro,
M.P.G. Gouveia,
J. Ramos,
L. Viganò,
A tableau-based decision procedure for distributed temporal logic,
Chapter in,
Logic and Computation -- Essays in Honour of Amilcar Sernadas, pages 73-124,
College Publications,
London,
2017
F. Dionísio,
M.P.G. Gouveia,
J. Marcos,
Defining and using deductives systems with Isabelle,
Chapter in,
Computing, Philosophy and Cognition, pages 271-293,
L. Magnani and R. Dossena,
King's College Publications,
2005
C. Caleiro,
M.P.G. Gouveia,
J. Ramos,
Completeness results for fibred parchments: Beyond the propositional base,
Chapter in,
Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200,
M. Wirsing, D. Pattinson, and R. Hennicker,
Springer,
2003
M.P.G. Gouveia,
C. Sernadas,
Abductive reasoning over temporal specifications of objects,
Chapter in,
Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275-300,
M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing,
CSLI Publications,
2001
M.P.G. Gouveia,
C. Sernadas,
Introducing explanations in temporal object specification,
Chapter in,
IS-CORE'94 - Selected Papers, pages 53-68,
R. Wieringa and R. Feenstra,
World Scientific Publishing,
1995
C. Sernadas,
M.P.G. Gouveia,
J. Gouveia,
A. Sernadas,
P. Resende,
The reification dimension in object-oriented data base design,
Chapter in,
Specification of Database Systems, pages 275-299,
D. Harper and M. Norrie,
Springer,
1992
C. Sernadas,
M.P.G. Gouveia,
A. Sernadas,
Refinement: Layered definition of conceptual schemata,
Chapter in,
Information System Concepts, pages 19-51,
E. Falkenberg, C. Rolland, and E. N. El-Sayed,
North-Holland,
1992
C. Sernadas,
P. Resende,
M.P.G. Gouveia,
A. Sernadas,
In-the-large object-oriented design of information systems,
Chapter in,
The Object-Oriented Approach in Information Systems, pages 209-232,
F. Van Assche, B. Moulin, and C. Rolland,
North-Holland,
1991
M.P.G. Gouveia,
J. Ramos,
Multi-agent systems specification and certification: A situation and state calculus approach,
Annals of Mathematics and Artificial Intelligence,
Vol. 41,
No. 2-4,
pp. 301 - 338,
June,
2004
| BibTex
M.P.G. Gouveia,
F. Dionísio,
J. Marcos,
Teaching and experimenting with deductive systems using a generic proof assistant,
Simpósio Latinoamericano de Lógica Matemática - SLALM,
Oaxaca,
Mexico,
Vol. 1,
pp. 49 - 50,
August,
2006
| BibTex
M.P.G. Gouveia,
C. Sernadas,
Abduction in temporal object specification using tableaux,
Workshop on Theorem Proving with Analytic Tableaux and Related Methods,
Koblenz,
Germany,
Vol. 1,
pp. 43 - 48,
May,
1995
| BibTex
M.P.G. Gouveia,
C. Sernadas,
Reasoning aspects in information systems and databases,
International Workshop on the Deductive Approach to Information Systems and Databases,
Lloret de Mar,
Spain,
Vol. 1,
pp. 201 - 224,
September,
1993
| BibTex
M.P.G. Gouveia,
C. Sernadas,
J. Gomes,
J. Apolinário,
Tableaux for reasoning about objects,
Workshop on Theorem Proving with Analytic Tableaux and Related Methods,
Marseille,
France,
Vol. 1,
pp. 113 - 125,
April,
1993
| BibTex
C. Sernadas,
M.P.G. Gouveia,
M. A. Lopes,
Gentzen-type system for verification in conceptual modeling,
Foundations of Models and Languages for Data and Objects,
Aigen,
Austria,
Vol. -,
pp. 215 - 228,
September,
1991
| BibTex
C. Sernadas,
M.P.G. Gouveia,
L. Silva,
M. A. Lopes,
Objects as structuring units for incorporating dynamics in deductive conceptual modeling,
The Deductive Approach to Information Systems and Databases,
Catalunya,
Spain,
Vol. -,
pp. 93 - 110,
January,
1990
| BibTex
Maria Paula Antunes Abrantes Gouveia