65. Birthday: Michael Gelfond, 2011

Foundations: ASP and Theories of LP, KR, and NMR

ASP and Dynamic Domains

ASP - Applications and Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics