TCS / Software / circ2dlp / References
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science


[JO, 2004] Tomi Janhunen and Emilia Oikarinen, Capturing Parallel Circumscription with Disjunctive Logic Programs. In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, pages 134-146, Lisbon, Portugal, September 2004. Springer-Verlag. LNAI vol. 3229.

[Lifschitz, 1985] Vladimir Lifschitz, Computing Circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121-127, Los Angeles, USA, August 1985.

[NNS, 1995] Anil Nerode, Raymond T. Ng and V.S. Subrahmanian, Computing Circumscriptive Databases, Part I: Theory and Algorithms. Information and Computation, 116, 1, pages 58-90, 1995.

[OJ, 2005] Emilia Oikarinen and Tomi Janhunen, CIRC2DLP - Translating Circumscription into Disjunctive Logic Programming. In Chitta Baral et al., editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 405-409, Diamante, Italy, September 2005. Springer-Verlag. LNAI, vol. 3662.

[OJ, 2008] Emilia Oikarinen and Tomi Janhunen, Implementing Prioritized Circumscription by Computing Disjunctive Stable Models, submitted for publication.

[Reiter, 1987] Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32, pages 57-95, 1987.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 06 February 2013. Emilia Oikarinen