Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Victor W. Marek and Jeffrey B. Remmel. Normal Form Theorem for Logic Programs with Cardinality Constraints. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{marek_et_al:DagSemProc.05171.5, author = {Marek, Victor W. and Remmel, Jeffrey B.}, title = {{Normal Form Theorem for Logic Programs with Cardinality Constraints}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--34}, 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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.5}, URN = {urn:nbn:de:0030-drops-2598}, doi = {10.4230/DagSemProc.05171.5}, annote = {Keywords: Proof scheme, cardinality constraints} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Jeffrey B. Remmel and Victor W. Marek. Set Based Logic Programming. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@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-dev.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} }
Feedback for Dagstuhl Publishing