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
|