"Formalization of psychological knowledge in answer set programming and its ..."

Marcello Balduccini, Sara Girotto (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics