Skip to content

ID-logic and the Ramification Problem for the Situation Calculus.

Eugenia Ternovskaia

VenueAECAI
Year2000
ProceedingsECAI

Browse the full ECAI paper archive.