TCS / Research / Publications / Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm

Reference:

Ilkka Niemelä. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241–273, 1999.

Suggested BibTeX entry:

@article{Niemela99:amai,
    author = {Ilkka Niemel{\"a}},
    journal = {Annals of Mathematics and Artificial Intelligence},
    number = {3,4},
    pages = {241--273},
    title = {Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm},
    volume = {25},
    year = {1999},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.