TCS / Research / Publications / Unfolding Partiality and Disjunctions in Stable Model Semantics
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Unfolding Partiality and Disjunctions in Stable Model Semantics

Reference:

Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In Anthony Cohn, Fausto Giunchiglia, and Bart Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411–419, Breckenridge, Colorado, April 2000. Morgan Kaufmann.

Suggested BibTeX entry:

@inproceedings{JNSY00:kr,
    address = {Breckenridge, Colorado},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Patrik Simons and Jia-Huai You},
    booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference},
    editor = {Anthony Cohn and Fausto Giunchiglia and Bart Selman},
    month = {April},
    pages = {411--419},
    publisher = {Morgan Kaufmann},
    title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
    year = {2000},
}

See www.tcs.hut.fi ...

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