"Extending Answer Sets for Logic Programming Agents."

Marina De Vos, Dirk Vermeir (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics