Michael Gelfond Answer Set Programming and the Design of Deliberative Agents. 19-26 http://dx.doi.org/10.1007/978-3-540-27775-0_2 2004 conf/iclp/2004 ICLP db/conf/iclp/iclp2004.html#Gelfond04