%0 Conference Paper %1 conf/iclp/DeneckerLTV12 %A Denecker, Marc %A Lierler, Yuliya %A Truszczynski, Miroslaw %A Vennekens, Joost %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 277-289 %T A Tarskian Informal Semantics for Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DeneckerLTV12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/DeneckerLTV12, added-at = {2024-02-05T00:00:00.000+0100}, author = {Denecker, Marc and Lierler, Yuliya and Truszczynski, Miroslaw and Vennekens, Joost}, biburl = {https://www.bibsonomy.org/bibtex/2fc503e24ce7415546e03f59311bfa364/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.277}, interhash = {5a28543aff32d11a787227666ce289cb}, intrahash = {fc503e24ce7415546e03f59311bfa364}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {277-289}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T03:46:43.000+0200}, title = {A Tarskian Informal Semantics for Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DeneckerLTV12}, volume = 17, year = 2012 }