A Reductive Semantics for Counting and Choice in Answer Set Programming

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/LeeLP08,

 author    = {Joohyung Lee and
              Vladimir Lifschitz and
              Ravi Palla},
 title     = {A Reductive Semantics for Counting and Choice in Answer
              Set Programming},
 booktitle = {AAAI},
 year      = {2008},
 pages     = {472-479},
 crossref  = {DBLP:conf/aaai/2008},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Personal tools