Pedro A. de Matos

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Pedro A. de Matos, João P. Martins
Non-situation Calculus and Database Systems. FoIKS (2000)
Pedro A. de Matos, João P. Martins
Contextual Logic of Change and the Ramification Problem. EPIA (1997)
Pedro A. de Matos, João P. Martins
Contextual Logic of Change and Contextual Proofs. TIME (1997)
Pedro A. de Matos, João P. Martins
Parsimonious Diagnosis in SNePS. EPIA (1995)