CIRC2DLP --- Translating Circumscription into Disjunctive Logic Programming (2005)

@inproceedings{
    OJ05:lpnmrsystem_eoikarin,
    editor = "Baral, Chitta and Grego, Gianluigi and Leone, Nicola and Terracina, Giorgio",
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "Springer-Verlag",
    note = "System Description",
    title = "{CIRC2DLP} --- Translating Circumscription into Disjunctive Logic Programming",
    url = "http://www.springerlink.com/link.asp?id=76av0d25c6lqw4nk",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning",
    year = "2005",
    month = "September",
    volume = "3662",
    flags = "public ACPT",
    address = "Diamante, Italy",
    pages = "405--409"
}

AUTHORS:

URL:
http://www.springerlink.com/link.asp?id=76av0d25c6lqw4nk

AUTHORS:

URL: http://www.springerlink.com/link.asp?id=76av0d25c6lqw4nk

URL:
http://www.springerlink.com/link.asp?id=76av0d25c6lqw4nk