Refereed Journal Articles

• Explaining any black box model using real data.  Anton Björklund, Andreas Henelius, Emilia Oikarinen, Kimmo Kallonen, and Kai Puolamäki. Frontiers in Computer Science 5:1143904, 2023 [doi: 10.3389/fcomp.2023.1143904]

• Visual data exploration as a statistical testing procedure: Within-view and between-view multiple comparisons. Rafael Savvides, Andreas Henelius, Emilia Oikarinen, and Kai Puolamäki. IEEE Transactions on Visualization and Computer Graphics, 29(9), 3937-3948, 2023 [doi: 10.1109/TVCG.2022.3175532]

• Robust regression via error tolerance . Anton Björklund, Andreas Henelius, Kimmo Kallonen, Emilia Oikarinen, and Kai Puolamäki), Data Mining and Knowledge Discovery, 36(2), 781-810, 2022  [doi:10.1007/s10618-022-00819-2]

• Finding statistically significant high accident counts in exploration of occupational accident data.  Tuula Räsänen, Arto Reiman, Kai Puolamäki, Rafael Savvides, Emilia Oikarinen, and Eero Lantto, Journal of Safety Research,  82, 28-37. [doi: 10.1016/j.jsr.2022.04.003]

• Machine learning models to replicate large-eddy simulations of air pollutant concentrations along boulevard-type streets. Moritz Lange, Henri Suominen, Mona Kurppa, Leena Järvi, Emilia Oikarinen, Rafael Savvides, Kai Puolamäki, Geoscientific Model Development,  14 (12), 7411-7424, 2021. [doi: 10.5194/gmd-14-7411-2021]

• Guided Visual Exploration of Relations in Data Sets. Kai Puolamäki, Emilia Oikarinen, and Andreas Henelius. Journal of Machine Learning Research, 22: 1-32, 2021. [pdf], preprint: arXiv:1905.02515 [stat.ML], 2019

• Detecting virtual concept drift of regressors without ground truth values. Emilia Oikarinen, Henri Tiittanen, Andreas Henelius, and Kai Puolamäki, Data Mining and Knowledge Discovery (Journal Track of ECML PKDD 2021), 35: 726–747, 2021 [doi:10.1007/s10618-021-00739-7] [video]

• Interactive Visual Data Exploration with Subjective Feedback: An Information-Theoretic Approach. Kai Puolamäki, Emilia Oikarinen, Bo Kang, Jefrey Lijffijt, and Tijl De Bie (2020),  Data Mining and Knowledge Discovery, 34(1):21-49.  [doi: 10.1007/s10618-019-00655-x]

• Cognitive ergonomics for data analysis. Experimental study of cognitive limitations in a data-based judgement task. Virpi Kalakoski, Andreas Henelius, Emilia Oikarinen, Antti Ukkonen, and Kai Puolamäki (2019), Behaviour & Information Technology,  38(10): 1038-1047 . [doi: 10.1080/0144929X.2019.1657181]

• Optimizing phylogenetic supertrees using answer set programming. Laura Koponen, Emilia Oikarinen, Tomi Janhunen, and Laura Säilä (2015), Theory and Practice of Logic Programming, 15(4-5): 604-619. [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 (2011), Artificial Intelligence, 175(14-15): 1985-2009.[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 (2010). Evolutionary Ecology Research, 12: 363-376. [bibtex]

• Modularity aspects of disjunctive stable models. Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran (2009). Journal of Artificial Intelligence Research, 35: 813- 857. [doi:10.1613/jair.2810] [abstract/bibtex]

• A translation-based approach to the verification of modular equivalence. Emilia Oikarinen and Tomi Janhunen (2009). Journal of Logic and Computation, 19(4): 591-613. [doi:10.1093/logcom/exn039] [abstract/bibtex]

• Extended ASP tableaux and rule redundancy in normal logic programs. Matti Järvisalo and Emilia Oikarinen (2008). Theory and Practice of Logic Programming, 8(5-6): 691- 716. [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 (2008). Theory and Practice of Logic Programming, 8(5- 6): 717-761. [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 (2007). Theory and Practice of Logic Programming, 7(6):697- 744. [doi:10.1017/S1471068407003031] [abstract/bibtex]; preliminary version: [cs.AI/0608099]

Refereed Conference and Workshop Papers

• Commitment Threshold - On Student Retention in MOOCs . Erkki Kaila, Antti Laaksonen, Emilia Oikarinen, and Kjell Lemström. To appear in Proceedings of 24th International Conference on Computer Systems and Technologies (CompSysTech'23), 2023

• Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. Jarkko Savela, Emilia Oikarinen, and Matti Järvisalo. In Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 73, of  EPiC Series in Computing, pages 465-482, 2020 [doi: 10.29007/k8jd ] 

• Sparse Robust Regression for Explaining Classifiers.  Anton Björklund, Andreas Henelius, Emilia Oikarinen, Kimmo Kallonen, and Kai Puolamäki. In Proceedings of Discovery Science (DS 2019), volume 11828 of Lecture Notes in Computer Science,  pages 351-366.Springer, 2019. [doi:10.1007/978-3-030-33778-0_27 ] [DS 2019 Best Student Paper Award]

• Supervised Human-guided Data Exploration. Emilia Oikarinen, Kai Puolamäki, Samaneh Khoshrou, and Mykola Pechenizkiy. In Proceeding of  ECML PKDD  Workshop on Automating Data Science (ADS 2019), volume 1167 of Communications in Computer and Information Science, pages 85-101, Springer 2020.  [doi:10.1007/978-3-030-43823-4_8]

• Significance of Patterns in Data Visualisations. Rafael Savvides, Andreas Henelius, Emilia Oikarinen, and Kai Puolamäki. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (KDD '19), pages 1509-1517. ACM 2019. [doi:10.1145/3292500.3330994] [video]

• Cognitive ergonomics for data analysis.  Virpi Kalakoski, Andreas Henelius, Emilia Oikarinen, Antti Ukkonen and Kai Puolamäki. In Proceedings of the 31st European Conference on Cognitive Ergonomics (ECCE 2019), Maurice Mulvenna and Raymond Bond (Eds.). ACM, New York, NY, USA, 38-40. [doi:10.1145/3335082.3335112]

• Tiler: Software for Human-Guided Data Exploration.  Andreas Henelius, Emilia Oikarinen, and Kai Puolamäki. In Proceedings of ECML-PKDD 2018: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, pages 672-676. Springer 2019.  [doi:10.1007/978-3-030-10997-4_49][video]

• Interactive Visual Data Exploration with Subjective Feedback: An Information-Theoretic Approach. Kai Puolamäki, Emilia Oikarinen, Bo Kang, Jefrey Lijffijt, and Tijl De Bie. In Proceedings of the 34th IEEE International Conference on Data Engineering (ICDE 2018), pages 1208-1211. IEEE 2018. [doi:10.1109/ICDE.2018.00112] Extended version available at arXiv:1710.08167.

• Subjectively Interesting Subgroup Discovery on Real-valued Targets. Jefrey Lijffijt, Bo Kang, Wouter Duivesteijn, Kai Puolamäki, Emilia Oikarinen, and Tijl De Bie. In Proceedings of the 34th IEEE International Conference on Data Engineering (ICDE 2018), pages 1352-1355. IEEE 2018. [doi:10.1109/ICDE.2018.00148] Extended version available at arXiv:1710.04521.

• Minimum-Width Confidence Bands via Constraint Optimization. Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, and Kai Puolamäki. In J. Christopher Beck, editor, Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), volume 10416 of Lecture Notes in Computer Science, pages 443-459. Springer 2017. [doi:10.1007/978-3-319-66158-2_29]

• Multivariate confidence intervals. Jussi Korpela, Emilia Oikarinen, Kai Puolamäki, and Antti Ukkonen. In, Nitest Chawla and Wei Wang, editors,  Proceedings of the 2017 SIAM International Conference on Data Mining, pages 696-704. SIAM 2017. [doi: 10.1137/1.9781611974973.78] Extended version with proofs available at arXiv:1701.05763.

• Answer set solver backdoors. Emilia Oikarinen and Matti Järvisalo. In Logics in Artificial Intelligence, 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. 

• 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. 

• 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 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 Artificial Intelligence, pages 167-180. Springer 2008. [bibtex]

• Extended ASP tableaux and rule redundancy in normal logic programs. Matti Järvisalo and 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 134-148. Springer 2007. [bibtex] [ICLP'07 Best Student Paper Award]

• A linear transformation from prioritized circumscription to disjunctive logic programming. Emilia Oikarinen and Tomi Janhunen. 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 440-441. Springer 2007.[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. [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, volume 4483 of Lecture Notes in Artificial Intelligence, pages 175-187. Springer 2007. [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, volume 4483 of Lecture Notes in Artificial Intelligence, pages 321-326. Springer 2007.[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. IOS Press 2006. [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. University of Clausthal, Department of Informatics, Technical Report, IfI-06-04, 2006. [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, volume 3662 of Lecture Notes in Artificial Intelligence, pages 405-409. Springer 2005. [bibtex]

• Translating parallel circumscription into disjunctive logic programming. Emilia Oikarinen. In ICCL Summer School Student Workshop 2005. TU Dresden, 2005. [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, 2004. [bibtex]

• Capturing parallel circumscription with disjunctive logic programs. Tomi Janhunen and Emilia Oikarinen. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 134-146. Springer 2004. [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,  volume 2923 of Lecture Notes in Artificial Intelligence, pages 180-193. Springer 2004. [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, volume 2923 of Lecture Notes in Artificial Intelligence, pages 336-340. Springer 2004. [bibtex]

• Logiikkaohjelmien ekvivalenssitestaus. Emilia Oikarinen. In Ari Korhonen and Jorma Tarhio editors, Tietojenkäsittelytieteen päivät 2003, pages 44-47, Espoo, Finland. Yliopistopaino 2003. 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, volume 2424 of Lecture Notes in Artificial Intelligence, pages 493-504. Springer 2002. [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 and PrePRINTS

• Applying machine learning to replicate large-eddy simulation results on urban pollutant dispersion. Mona Kurppa, Moritz Lange, Henri Suominen, Emilia Oikarinen, Rafael Savvides, Leena Järvi, Kai Puolamäki. Proceedings of the Center of Excellence in Atmospheric Science (CoE ATM) Annual Seminar 2019, pages 363-365, 2019.

• Estimating regression errors without ground truth values. Henri Tiittanen, Emilia Oikarinen, Andreas Henelius, and Kai Puolamäki.   arXiv:1910.04069 [stat.ML], 2019

• Human-guided data exploration using randomization.  Kai Puolamäki, Emilia Oikarinen, Buse G. Atli, and Andreas Henelius. arXiv:1805.07725 [stat.ML], 2018. 

• Human-guided data exploration.  Andreas Henelius, Emilia Oikarinen, and Kai Puolamäki. arXiv:1804.03194 [stat.ML], 2018.

• Blood is thicker than water: Replacement patterns in Eurasian feliform carnivores.  Laura K. Säilä, Mikael Fortelius, Emilia Oikarinen, L.ars Werdelin, and Ian Corfe. In 74th Annual Meeting of the Society of Vertebrate Paleontology, SVP 2014,  Berlin,  Germany, 2014.  (Abstract)

• 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 60th Annual Symposium of Vertebrate Palaeontology and Comparative anatomy, SVPCA 2012, Oxford, UK, 2012.  (Abstract)

• 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.  (Abstract)

• 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.