On the Relationship Between Circumscription and Negation as Failure (1989)

by M Gelfond, H Przymusinska, T Przymusinski
Venue:Artificial Intelligence