Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

Reference:

Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 72–79. Helsinki University of Technology, Digital Systems Laboratory, Research Report A52, May 1998.

Suggested BibTeX entry:

@inproceedings{Niemela98:cnmr,
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning},
    month = {May},
    pages = {72--79},
    publisher = {Helsinki University of Technology, Digital Systems Laboratory, Research Report A52},
    title = {Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm},
    year = {1998},
}