Solving Alternating Boolean Equation Systems in Answer Set Programming (2005)
AUTHORS:
Keinänen Misa
,
Niemelä Ilkka
BOOKTITLE:
Applications of Declarative Programming and Knowledge Management
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
3392
PAGES:
134--148
@inproceedings{ KeiNie:lnai05, editor = "D. Seipel, M. Hanus, U. Geske and Bartenstein, O.", author = {Kein{\"a}nen, Misa and Niemel{\"a}, Ilkka}, publisher = "Springer-Verlag", title = "Solving Alternating {Boolean} Equation Systems in Answer Set Programming", series = "Lecture Notes in Artificial Intelligence", booktitle = "Applications of Declarative Programming and Knowledge Management", address = "", month = "", volume = "3392", flags = "SA-53695, copy", year = "2005", pages = "134--148" }