Skip to content

Strong Circumscription Specifies Stable Semantics of Normal Logic Programs.

Phan Minh Dung

VenueAECAI
Year1990
ProceedingsECAI

Browse the full ECAI paper archive.