Unfolding Partiality and Disjunctions in Stable Model Semantics (2006)
AUTHORS:
Janhunen Tomi
,
Niemelä Ilkka
,
Seipel Dietmar,
Simons Patrik,
You Jia-Huai
JOURNAL:
ACM Transactions on Computational Logic
VOLUME:
7
PAGES:
1--37
URL:
http://doi.acm.org/10.1145/1119439.1119440
@article{ JNSSY06:acmtocl, author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Seipel, Dietmar and Simons, Patrik and You, Jia-Huai}, note = "", title = "Unfolding Partiality and Disjunctions in Stable Model Semantics", url = "http://doi.acm.org/10.1145/1119439.1119440", journal = "ACM Transactions on Computational Logic", number = "2", month = "", volume = "7", flags = "SA-53695,copy", year = "2006", pages = "1--37" }