"Extending Answer Sets for Logic Programming Agents."

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