%0 Conference Paper %1 paper:niemela:1999 %A Niemelä, Ilkka %A Simons, Patrik %A Soininen, Timo %B Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning %C London, UK %D 1999 %I Springer-Verlag %K constraints weight %P 317--331 %T Stable Model Semantics of Weight Constraint Rules

@inproceedings{paper:niemela:1999, added-at = {2011-07-13T13:43:47.000+0200}, address = {London, UK}, author = {Niemel\"{a}, Ilkka and Simons, Patrik and Soininen, Timo}, biburl = {https://www.bibsonomy.org/bibtex/220446dc2c89cc0faac192ff8624484a2/mschuber}, booktitle = {Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning}, interhash = {b3d0ecb7505400a1787a93a9c38ed097}, intrahash = {20446dc2c89cc0faac192ff8624484a2}, keywords = {constraints weight}, pages = {317--331}, publisher = {Springer-Verlag}, timestamp = {2011-07-13T13:43:47.000+0200}, title = {Stable Model Semantics of Weight Constraint Rules}, year = 1999 }