@InProceedings{remmel_et_al:DagSemProc.05171.8, author = {Remmel, Jeffrey B. and Marek, Victor W.}, title = {{Set Based Logic Programming}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--26}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.8}, URN = {urn:nbn:de:0030-drops-2667}, doi = {10.4230/DagSemProc.05171.8}, annote = {Keywords: ASP, codes for infinite sets, stable model generalizations} }