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

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