Inproceedings,

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.

.
ICLP (Technical Communications), volume 7 of LIPIcs, page 94-103. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews