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ä, Dietmar Seipel, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. http://arxiv.org/abs/cs.AI/0303009, 2003. To appear in ACM Transactions on Computational Logic.

Suggested BibTeX entry:

@misc{JNSSY03:corr,
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Dietmar Seipel and Patrik Simons and Jia-Huai You},
    howpublished = {http://arxiv.org/abs/cs.AI/0303009},
    note = {To appear in ACM Transactions on Computational Logic},
    title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
    year = {2003},
}

See arxiv.org ...

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