TCS / Research / Publications / Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Reference:

Gerd Brewka, Ilkka Niemelä, and Tommi Syrjänen. Implementing ordered disjunction using answer set solvers for normal programs. In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), pages 444–455, Cosenza, Italy, September 2002. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{BNS2002:jelia,
    address = {Cosenza, Italy},
    author = {Gerd Brewka and Ilkka Niemel{\"a} and Tommi Syrj{\"a}nen},
    booktitle = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence {(JELIA'02)}},
    month = {September},
    pages = {444--455},
    publisher = {Springer-Verlag},
    title = {Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs},
    year = {2002},
}

See www.tcs.hut.fi ...

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