TCS / Research / Publications / Modular Equivalence for Normal Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Modular Equivalence for Normal Logic Programs

Reference:

Emilia Oikarinen and Tomi Janhunen. Modular equivalence for normal logic programs. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, and Paolo Traverso, editors, Proceedings of the 17th European Conference on Artificial Intelligence, pages 412–416, Riva del Garda, Italy, August 2006. IOS Press.

Suggested BibTeX entry:

@inproceedings{OJ06:ecai,
    address = {Riva del Garda, Italy},
    author = {Emilia Oikarinen and Tomi Janhunen},
    booktitle = {Proceedings of the 17th European Conference on Artificial Intelligence},
    editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
    month = {August},
    pages = {412--416},
    publisher = {IOS Press},
    title = {Modular Equivalence for Normal Logic Programs},
    year = {2006},
}

This work is not available online here.

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