Paula Gouveia

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 1

Top Topics

Information Technology

Scientific Discovery

Identification Rate

Top Venues

Int. J. Parallel Emergent Distributed Syst.

Publications

Bruno Patrício, José Félix Costa, Paula Gouveia
-identification and scientific discovery. Int. J. Parallel Emergent Distributed Syst. 39 (4) (2024)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Hierarchical logical consequence. Log. J. IGPL 19 (4) (2011)
Paula Gouveia, Jaime Ramos
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT (2002)
Paula Gouveia, Cristina Sernadas
Abductive Reasoning over Temporal Specifications of Objects. Advances in Modal Logic (1998)
Paula Gouveia, Cristina Sernadas
Reasoning Aspects in Information Systems and Databases. DAISD (1993)
Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
Refinement: Layered Definition of Conceptual Schemata. ISCO (1992)
Cristina Sernadas, Paula Gouveia, Antónia Lopes
Gentzen-Type System for Verification in Conceptual Modeling. FMLDO (1991)
Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD (1990)