On Solution Correspondences in Answer-Set Programming

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/EiterTW05, title={On Solution Correspondences in Answer-Set Programming}, pages={97-102}, year={2005}, crossref={DBLP:conf/ijcai/2005}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers/1177.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#EiterTW05}, author={Thomas Eiter and Hans Tompits and Stefan Woltran} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/On_Solution_Correspondences_in_Answer-Set_Programming"
Personal tools