TCS / Research / Publications / Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Reference:

Matti Järvisalo and Emilia Oikarinen. Extended ASP tableaux and rule redundancy in normal logic programs. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 134–148. Springer, 2007.

Suggested BibTeX entry:

@inproceedings{JarvisaloO:ICLP07,
    author = {Matti J\"arvisalo and Emilia Oikarinen},
    booktitle = {Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)},
    editor = {Ver\'onica Dahl and Ilkka Niemel\"a},
    pages = {134--148},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Extended {ASP} Tableaux and Rule Redundancy in Normal Logic Programs},
    volume = {4670},
    year = {2007},
}

See www.tcs.hut.fi ...

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