A Tarskian Informal Semantics for Answer Set Programming

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens. A Tarskian Informal Semantics for Answer Set Programming. In Agostino Dovier, VĂ­tor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Volume 17 of LIPIcs, pages 277-289, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]

Authors

Marc Denecker

This author has not been identified. Look up 'Marc Denecker' in Google

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google

Joost Vennekens

This author has not been identified. Look up 'Joost Vennekens' in Google