Stable Model Semantics of Weight Constraint Rules

Reference:

Ilkka Niemelä, Patrik Simons, and Timo Soininen. Stable model semantics of weight constraint rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 317–331, El Paso, Texas, USA, December 1999. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{NSS99:lpnmr,
    address = {El Paso, Texas, USA},
    author = {Ilkka Niemel{\"a} and Patrik Simons and Timo Soininen},
    booktitle = {Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning},
    month = {December},
    pages = {317--331},
    publisher = {Springer-Verlag},
    title = {Stable Model Semantics of Weight Constraint Rules},
    year = {1999},
}