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 Computer Science
VOLUME:
3392
PAGES:
134--148
@inproceedings{ KeiNie:inap05, 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 Computer Science", booktitle = "Applications of Declarative Programming and Knowledge Management", volume = "3392", flags = "SA-53695", year = "2005", pages = "134--148" }