Circ2dlp -- Translating Circumscription into Disjunctive Logic Programming (2005)
AUTHORS:
Oikarinen Emilia
,
Janhunen Tomi
BOOKTITLE:
Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning
PAGES:
405--409
URL:
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3662&spage=405
@inproceedings{ OJ05:lpnmr, editor = "Baral, Chitta and Greco, Gianluigi and Leone, Nicola and Terracina, Giorgio", author = "Oikarinen, Emilia and Janhunen, Tomi", publisher = "Springer-Verlag", title = "Circ2dlp -- Translating Circumscription into Disjunctive Logic Programming", url = "http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3662&spage=405", booktitle = "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning", address = "Diamante, Italy", month = "September", flags = "copy,ACPT", year = "2005", pages = "405--409" }