Marina De Vos Dirk Vermeir Extending Answer Sets for Logic Programming Agents. 103-139 2004 42 Ann. Math. Artif. Intell. 1-3 http://www.springerlink.com/index/10.1023/B:AMAI.0000034524.89865.d2 db/journals/amai/amai42.html#VosV04