Antonis C. Kakas Paolo Mancarella Fariba Sadri Kostas Stathis Francesca Toni Computational Logic Foundations of KGP Agents. 285-348 2008 33 J. Artif. Intell. Res. (JAIR) http://jair.org/papers/paper2596.html db/journals/jair/jair33.html#KakasMSST08