Skip to content

A Formula Circumscriptively both Valid and Unprovable.

Philippe Besnard, Jean Houdebine, Raymond Rolland

VenueAECAI
Year1988
ProceedingsECAI

Browse the full ECAI paper archive.