Skip to content

Circumscription Implies Predicate Completion (Sometimes).

Raymond Reiter

VenueA*AAAI
Year1982
ProceedingsAAAI

Browse the full AAAI paper archive.