Ilkka Niemelä, Patrik Simons, Timo Soininen. Stable Model Semantics of Weight Constraint Rules. In Michael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Volume 1730 of Lecture Notes in Computer Science, pages 317-331, Springer, 1999. [doi]
@inproceedings{NiemelaSS99,
title = {Stable Model Semantics of Weight Constraint Rules},
author = {Ilkka Niemelä and Patrik Simons and Timo Soininen},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1730/17300317.htm},
tags = {semantics, rule-based, constraints, rules},
researchr = {https://researchr.org/publication/NiemelaSS99},
cites = {0},
citedby = {0},
pages = {317-331},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
volume = {1730},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66749-0},
}