Pedro A. de Matos

According to our database¹, Pedro A. de Matos authored at least 4 papers between 1995 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Non-situation Calculus and Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2000

1997

Contextual Logic of Change and Contextual Proofs.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Contextual Logic of Change and the Ramification Problem.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1997

1995

Parsimonious Diagnosis in SNePS.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1995