Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs (2002)
AUTHORS:
Brewka Gerhard,
Niemelä Ilkka
,
Syrjänen Tommi
BOOKTITLE:
Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02)
PAGES:
444--455
@inproceedings{ BNS02, author = {Brewka, Gerhard and Niemel\"a, Ilkka and Syrj\"anen, Tommi}, publisher = "Springer-Verlag", title = "Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs", booktitle = "Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02)", month = "September", flags = "public copy SA-53695", year = "2002", pages = "444--455" }