A Tarskian Informal Semantics for Answer Set Programming.

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens

Browse the full ICLP paper archive.