Marcello Balduccini Michael Gelfond Monica Nogueira Answer set based design of knowledge systems. 183-219 2006 47 Ann. Math. Artif. Intell. 1-2 http://dx.doi.org/10.1007/s10472-006-9026-1 db/journals/amai/amai47.html#BalducciniGN06