Publications by Dr. Emilia
Oikarinen
Not updated after the end of 2015!
See my
homepage for a version that is up-to-date.
Refereed Journal Articles
- Optimizing Phylogenetic Supertrees Using Answer Set
Programming. Laura Koponen, Emilia Oikarinen, Tomi Janhunen,
and Laura
Säilä. Theory and Practice of Logic Programming,
15(4-5): 604-619 (2015).
[doi:
10.1017/S1471068415000265];
preliminary version:
[arXiv:1507.05272]
-
Convergence in the distribution patterns of Europe's plants and
mammals is due to environmental forcing.
Hannes Heikinheimo, Jussi T. Eronen, Alexander Sennikov, Christopher
D. Preston,
Emilia Oikarinen, Pertti Uotila, Heikki Mannila and Mikael Fortelius (2012),
Journal of Biogeography, 39:
1633-1644.[doi: 10.1111/j.1365-2699.2012.02723.x].
-
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]
-
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]
-
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]
-
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
- Answer Set Backdoors. Emilia Oikarinen and Matti
Järvisalo. In 14th European Conference, JELIA 2014, Funchal,
Madeira, Portugal, September 24-26, 2014. Proceedings,
volume 8761 of Lecture Notes in Artificial Intelligence,
pages 674-683. Springer 2014. [bibtex]
-
Resolution-based grounded semantics revisited.
Wolfgang Dvorak, Thomas Linsbichler, Emilia Oikarinen and
Stefan Woltran. In Computational Models of Argument, Proceedings of
COMMA 2014, volume 266 of
Frontiers in Artificial Intelligence and Applications, pages
269-280. IOS Press 2014.
[bibtex]
-
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
-
Fossil mammals, phylogenies and climate: the effects of phylogenetic
relatedness on range sizes and replacement patterns in changing
environments. Laura Säilä, Mikael Fortelius, Emilia
Oikarinen, Lars Werdelin, and Ian Corfe. In Proceedings of 60th Annual
Symposium of Vertebrate Palaeontology and Comparative anatomy, SVPCA
2012, Oxford, UK, 2012. Poster.
-
Taxon replacement: Invasion or speciation? First results for a
supertree of Neogene mammals.
Laura Säilä, Mikael Fortelius, Emilia Oikarinen, Lars
Werdelin, Ian Corfe, and Aino Tuomola.
Journal of Vertebrate Paleontology, 31(3, suppl.):184A, 2011. Poster.
-
Modular Answer Set Programming (research summary), Emilia
Oikarinen. In Veronica 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.