Representing Knowledge in A-Prolog (2002)

by M Gelfond
Venue:Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Volume 2408 of LNCS