Pedro A. de Matos

	2000
4		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		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]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page