CIRC2DLP --- Translating Circumscription into Disjunctive Logic Programming (2005)
  • BOOKTITLE:
  • Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning
  • SERIES:
  • Lecture Notes in Artificial Intelligence
  • VOLUME:
  • 3662
  • PAGES:
  • 405--409
[BibTex]