Unfolding partiality and disjunctions in stable model semantics
Authors:

Tomi Janhunen

Helsinki University of Technology, TKK, Finland


Ilkka Niemelä

Helsinki University of Technology, TKK, Finland


Dietmar Seipel

University of Würzburg, Würzburg, Germany


Patrik Simons

Neotide Oy, Vaasa, Finland


JiaHuai You

University of Alberta, Alberta, Canada



2006 Article

Bibliometrics

· Citation Count: 50
· Downloads (cumulative): 442
· Downloads (12 Months): 13
· Downloads (6 Weeks): 0


Published in: 
· Journal 
ACM Transactions on Computational Logic (TOCL) TOCL Homepage
archive

Volume 7 Issue 1, January 2006
Pages 137
ACM New York, NY, USA
table of contents
doi>10.1145/1119439.1119440


powered by

