Pedro A. de Matos

2000
4	EE	Pedro A. de Matos, João P. Martins: Non-situation Calculus and Database Systems. FoIKS 2000: 176-191
1997
3		Pedro A. de Matos, João P. Martins: Contextual Logic of Change and the Ramification Problem. EPIA 1997: 267-278
2	EE	Pedro A. de Matos, João P. Martins: Contextual Logic of Change and Contextual Proofs. TIME 1997: 153-159
1995
1		Pedro A. de Matos, João P. Martins: Parsimonious Diagnosis in SNePS. EPIA 1995: 457-463

Coauthor Index

1

João P. Martins

[1] [2] [3] [4]