TCS / Research / Publications / Cautious Autoepistemic Reasoning Applied to General Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Cautious Autoepistemic Reasoning Applied to General Logic Programs

Reference:

Tomi Janhunen. Cautious autoepistemic reasoning applied to general logic programs. In Matti Penttonen, editor, Proceedings of the Seventh Finnish Symposium on Computer Science, pages 33–46, Liperi, Finland, January 1994. University of Joensuu, Department of Computer Science. (Report A-1994-1).

Suggested BibTeX entry:

@inproceedings{Janhunen94:fscs,
    address = {Liperi, Finland},
    author = {Tomi Janhunen},
    booktitle = {Proceedings of the Seventh Finnish Symposium on Computer Science},
    editor = {Matti Penttonen},
    month = {January},
    note = {(Report A-1994-1)},
    pages = {33--46},
    publisher = {University of Joensuu, Department of Computer Science},
    title = {Cautious Autoepistemic Reasoning Applied to General Logic Programs},
    year = {1994},
}

This work is not available online here.

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