Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (2008)
- BOOKTITLE:
- Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 2008 Proceedings
- SERIES:
- Lecture Notes in Artificial Intelligence
|