Skip to content

A Formal System for Reasoning about Change.

Carlos A. Pinto-Ferreira, Joo P. Martins

VenueAECAI
Year1990
ProceedingsECAI

Browse the full ECAI paper archive.