Representing knowledge in A-prolog (2002)

by M Gelfond
Venue:Computational Logic. Logic Programming and Beyond, number 2408 in LNCS