Publications by Dr. Emilia Oikarinen

Refereed Journal Articles

• Characterizing strong equivalence for argumentation frameworks, Emilia Oikarinen and Stefan Woltran, Artif. Intell. 175(14-15): 1985-2009, September 2011. [doi:10.1016/j.artint.2011.06.003 ] [abstract/bibtex]
• The living and the fossilised: how well do unevenly distributed points capture the faunal information in a grid?, Juha Saarinen, Emilia Oikarinen, Mikael Fortelius, and Heikki Mannila. Evolutionary Ecology Research, 12: 363-376, March 2010. [bibtex]
• Modularity Aspects of Disjunctive Stable Models, Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Journal of Artificial Intelligence Research. 35: 813-857, August 2009. [doi:10.1613/jair.2810] [abstract/bibtex]
• A Translation-Based Approach to the Verification of Modular Equivalence, Emilia Oikarinen and Tomi Janhunen. Journal of Logic and Computation, 19(4): 591-613, August 2009. [doi:10.1093/logcom/exn039] [abstract/bibtex]
• Achieving compositionality of the stable model semantics for smodels programs, Emilia Oikarinen and Tomi Janhunen. Theory and Practice of Logic Programming, 8(5-6): 717-761, November 2008. [doi:10.1017/S147106840800358X] [abstract/bibtex]; preliminary version: [cs.AI/0809.4582]
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs, Matti Järvisalo and Emilia Oikarinen. Theory and Practice of Logic Programming, 8(5-6): 691-716, November 2008. [doi:10.1017/S1471068408003578] [abstract/bibtex]; preliminary version:[cs.AI/0809.3204]
• Automated Verification of Weak Equivalence within the SMODELS System, Tomi Janhunen and Emilia Oikarinen. Theory and Practice of Logic Programming, 7(6):697-744, November 2007. [doi:10.1017/S1471068407003031] [abstract/bibtex]; preliminary version: [cs.AI/0608099]

Refereed Conference and Workshop Papers

• Characterizing Strong Equivalence for Argumentation Frameworks. Emilia Oikarinen and Stefan Woltran. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, pages 123-133, AAAI Press 2010. [bibtex]
• Max-ASP: Maximum Satisfiability of Answer Set Programs. Emilia Oikarinen and Matti Järvisalo. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), volume 5753 of Lecture Notes in Artificial Intelligence, pages 236-249. Springer, 2009. [bibtex]
• A Module-Based Framework for Multi-Language Constraint Modeling. Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, and Ilkka Niemelä. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), volume 5753 of Lecture Notes in Artificial Intelligence, pages 155-169, Springer, 2009. [bibtex]
• A Module-Based Framework for Multi-Language Constraint Modeling. Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, and Ilkka Niemelä. In Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009), 2009. [bibtex]
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models, Emilia Oikarinen and Tomi Janhunen. In In Danail Dochev, Marco Pistore, and Paolo Traverso, editors, Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008), volume 5223 of Lecture Notes in Artificiall Intelligence, pages 167-180. ©Springer 2008. [ps] [pdf] [bibtex]
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs, Matti Järvisalo and Emilia Oikarinen. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 134-148. ©Springer 2007. [ps] [pdf] [bibtex] [ICLP'07 Best Student Paper Award]
• A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming, Emilia Oikarinen and Tomi Janhunen. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 440-441. ©Springer 2007. [ps] [pdf] [bibtex]
• A Translation-based Approach to the Verification of Modular Equivalence, Emilia Oikarinen and Tomi Janhunen. In Stefania Costantini and Richard Watson, editors, Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007), pages 255-269. [pdf] [bibtex]
• Modularity aspects of disjunctive stable models, Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. In Chitta Baral, Gerhard Brewka and John Schlipf, editors, Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 175-187, Tempe, Arizona, USA, May 2007. Springer-Verlag. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 4483. [pdf] [bibtex]
• Modularity in Smodels Programs, Emilia Oikarinen. In Chitta Baral, Gerhard Brewka and John Schlipf, editors, Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 321-326, Tempe, Arizona, USA, May 2007. Springer-Verlag. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 4483. [pdf] [bibtex]
• Modular Equivalence for Normal Logic Programs, Emilia Oikarinen and Tomi Janhunen. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceedings of the 17th European Conference on Artificial Intelligence, pages 412-416, Riva del Garda, Italy, August 2006. IOS Press. [bibtex]
• Modular Equivalence for Normal Logic Programs, Emilia Oikarinen and Tomi Janhunen. In J. Dix and A. Hunter, editors, Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, pages 10-18, Lake District, UK, May 2006. University of Clausthal, Department of Informatics, Technical Report, IfI-06-04. [pdf] [bibtex]
• CIRC2DLP — Translating Circumscription into Disjunctive Logic Programming, Emilia Oikarinen and Tomi Janhunen. System Description. 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. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 3662. [ps] [bibtex]
• Translating Parallel Circumscription into Disjunctive Logic Programming, Emilia Oikarinen. In ICCL Summer School Student Workshop 2005, Dresden, Germany, July 2005. TU Dresden. [pdf] [bibtex]
• Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment, Tomi Janhunen, Toni Jussila, Matti Järvisalo, and Emilia Oikarinen. In Ari Korhonen and Lauri Malmi, editors, Kolin Kolistelut - Koli Calling. Proceedings of the Fourth Finnish / Baltic Sea Conference on Computer Science Education, volume TKO-42/04 of Research Report Series of Laboratory of Information Processing Science, Helsinki University of Technology, pages 85-94. Otamedia, December 2004. [bibtex]
• Capturing Parallel Circumscription with Disjunctive Logic Programs, Tomi Janhunen and Emilia Oikarinen. In José Júlio Alferes and João Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, pages 134-146, Lisbon, Portugal, September 2004. Springer-Verlag. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 3229. [ps] [bibtex]
• Verifying the Equivalence of Logic Programs in the Disjunctive Case, Emilia Oikarinen and Tomi Janhunen. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 180-193, Fort Lauderdale, USA, January 2004. Springer-Verlag. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2923. [ps] [bibtex]
• LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs, Tomi Janhunen and Emilia Oikarinen. System Description. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 336-340, Fort Lauderdale, USA, January 2004. Springer-Verlag. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2923. [ps] [bibtex]
• Logiikkaohjelmien ekvivalenssitestaus, Emilia Oikarinen. In Ari Korhonen and Jorma Tarhio editors, Tietojenkäsittelytieteen päivät 2003, pages 44-47, Espoo, Finland, May 2003. Yliopistopaino. In Finnish. [bibtex]
• Testing the Equivalence of Logic Programs under Stable Model Semantics, Tomi Janhunen and Emilia Oikarinen. In Sergio Flesca et al. editors, Proceedings of the 8th European Conference on Logic in Artificial Intelligence, pages 493-504, Cosenza, Italy, September 2002. ©Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2424. [ps] [bibtex]

Theses

• Modularity in Answer Set Programs, Emilia Oikarinen. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D7, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, October 2008.
• Modular Answer Set Programming, Emilia Oikarinen. Licentiate's thesis. Helsinki University of Technology, Department of Computer Science and Engineering. Espoo, Finland, November 2006.
• Testing the Equivalence of Disjunctive Logic Programs, Emilia Oikarinen. Master's thesis. Helsinki University of Technology, Department of Engineering Physics and Mathematics. Espoo, Finland, September 2003.

Unrefereed Reports

• Modular Answer Set Programming, Emilia Oikarinen. Research Report A106, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2006. Reprint of Licentiate's thesis. [ps] [ps.gz] [pdf] [bibtex]
• Testing the Equivalence of Disjunctive Logic Programs, Emilia Oikarinen. Research Report A85, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. Reprint of Master's thesis. [ps] [ps.gz] [pdf] [bibtex]

Other Publications

• Modular Answer Set Programming (research summary), Emilia Oikarinen. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 462-463. ©Springer 2007. [bibtex]
• Modular Answer Set Programming, Emilia Oikarinen. In Veli Mäkinen, Greger Lindén, and Hannu Toivonen, editors, Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Poster Abstracts, Series of Publications B, Report B-2007-4, page 62. Helsinki University Printing House, 2007. [bibtex]

Software

• circ2dlp 2.1 - a linear translation from prioritized circumscription to disjunctive logic programming. April 2007.
• circ2dlp 1.1 - a tool for translating parallel circumscription to disjunctive logic programming. April 2005.
• dlpeq 1.9 - a tool for testing the equivalence of disjunctive logic programs. October 2003.