Emilia Oikarinen

Research outputs

  1. 2019
  2. Published

    Tiler: Software for human-guided data exploration

    Henelius, A., Oikarinen, E. & Puolamäki, K., 1 Jan 2019, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Proceedings. Brefeld, U., Marascu, A., Pinelli, F., Curry, E., MacNamee, B., Hurley, N., Daly, E. & Berlingerio, M. (eds.). Springer Verlag, p. 672-676 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11053 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 2018
  4. Published

    Interactive visual data exploration with subjective feedback: An information-theoretic approach

    Puolamaki, K., Oikarinen, E., Kang, B., Lijffijt, J. & De Bie, T., 24 Oct 2018, Proceedings of the 34th IEEE International Conference on Data Engineering (ICDE 2018). Institute of Electrical and Electronics Engineers, p. 1212-1215 4 p. 8509333

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published

    Subjectively Interesting Subgroup Discovery on Real-valued Targets

    Lijffijt, J., Kang, B., Duivesteijn, W., Puolamäki, K., Oikarinen, E. & De Bie, T., 2018, Proceedings of the 34th IEEE International Conference on Data Engineering (ICDE 2018). IEEE, p. 1356-1359 4 p. 8509369

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. 2015
  7. Published

    Optimizing phylogenetic supertrees using answer set programming

    Koponen, L., Oikarinen, E., Janhunen, T. & Säilä, L., 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 604-619

    Research output: Contribution to journalArticleScientificpeer-review

  8. 2014
  9. Published

    Answer Set Solver Backdoors

    Oikarinen, E. & Järvisalo, M., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 september, Madeira, Portugal. Ferme, E. & Leite, J. (eds.). p. 674-683

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Resolution-based grounded semantics revisited

    Dvorak, W., Linsbichler, T., Oikarinen, E. & Woltran, S., 2014, International Conference on Computational Models of Argument, COMMA 2014, 9-12 September, Pitlochry, Scotland, UK. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). p. 269-280

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. 2012
  12. Published

    Convergence in the distribution patterns of Europe's plants and mammals is due to environmental forcing

    Heikinheimo, H., Eronen, J. T., Sennikov, A., Preston, C. D., Oikarinen, E., Uotila, P., Mannila, H. & Fortelius, M., 2012, In : Journal of Biogeography. 39, 9, p. 1633-1644

    Research output: Contribution to journalArticleScientificpeer-review

  13. 2011
  14. Published

    Characterizing strong equivalence for argumentation frameworks

    Oikarinen, E. & Woltran, S., 2011, In : Artificial Intelligence. 175, 14-15, p. 1985-2009

    Research output: Contribution to journalArticleScientificpeer-review

  15. 2010
  16. Published

    The living and the fossilized: How well do unevenly distributed points capture the faunal information in a grid?

    Saarinen, J., Oikarinen, E., Fortelius, M. & Mannila, H., Mar 2010, In : EVOLUTIONARY ECOLOGY RESEARCH. 12, 3, p. 363-376 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  17. 2009
  18. Published

    A Module-Based Framework for Multi-Language Constraint Modeling

    Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). p. 155-168 (Lecture Notes in Computer Science ; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    A Translation-based Approach to the Verification of Modular Equivalence

    Oikarinen, E. & Janhunen, T., 2009, In : Journal of Logic and Computation. 19, 4, p. 591-613

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Max-ASP: Maximum Satisfiability of Answer Set Programs

    Oikarinen, E. & Järvisalo, M., 2009, The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009). Erdem, E., Lin, F. & Schaub, T. (eds.). p. 236-249

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  21. Published

    Modularity Aspects of Disjunctive Stable Models

    Janhunen, T., Oikarinen, E., Tompits, H. & Woltran, S., 2009, In : Journal of Artificial Intelligence Research. 35, p. 813-857

    Research output: Contribution to journalArticleScientificpeer-review

  22. 2008
  23. Published

    Achieving compositionality of the stable model semantics for Smodels programs

    Oikarinen, E. & Janhunen, T., 2008, In : Theory and Practice of Logic Programming. 8, 5-6, p. 717-761

    Research output: Contribution to journalArticleScientificpeer-review

  24. Published

    Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

    Järvisalo, M. & Oikarinen, E., 2008, In : Theory and Practice of Logic Programming. 8, 5-6, p. 691-716

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

    Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

    Oikarinen, E. & Janhunen, T., 2008, Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 2008 Proceedings. Dochev, D., Pistore, M. & Traverso, P. (eds.). p. 167-180

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. 2007
  27. Published

    A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

    Oikarinen, E. & Janhunen, T., 2007, p. 440-441, (23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007).

    Research output: Working paperProfessional

  28. Published

    A Translation-based Approach to the Verification of Modular Equivalence

    Oikarinen, E. & Janhunen, T., 2007, 4th Workshop on Answer Set Programming (ASP), Porto, Portugal, September 8 and 13, 2007. Costantini, S. & Watson, R. (eds.). p. 255-269

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. Published

    Automated Verification of Weak Equivalence within the Smodels System

    Janhunen, T. & Oikarinen, E., 2007, In : Theory and Practice of Logic Programming. 7, 6, p. 697-744

    Research output: Contribution to journalArticleScientificpeer-review

  30. Published

    circ2dlp 2.1 - a linear translation from prioritized circumscription to disjunctive logic programming

    Oikarinen, E., 2007

    Research output: Artistic and non-textual formSoftwareScientific

  31. Published

    Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

    Järvisalo, M. & Oikarinen, E., 2007, 23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007. Dahl, V. & Niemelä, I. (eds.). p. 134-148

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. Published

    Modular Answer Set Programming

    Oikarinen, E., 2007, p. 62, (Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session).

    Research output: Working paperProfessional

  33. Published

    Modular Answer Set Programming

    Oikarinen, E., 2007, p. 462-463, (23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007).

    Research output: Working paperProfessional

  34. Published

    Modularity Aspects of Disjunctive Stable Models

    Janhunen, T., Oikarinen, E., Tompits, H. & Woltran, S., 2007, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, Tempe, Arizona, May 15-16, 2007. Baral, C., Brewka, G. & Schlipf, J. (eds.). p. 175-187

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  35. Published

    Modularity in Smodels Programs

    Oikarinen, E., 2007, 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07). Baral, C., Brewka, G. & Schlipf, J. (eds.). p. 321-326

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. 2006
  37. Published

    Modular Answer Set Programming

    Oikarinen, E., 2006, Helsinki, p. x+81, (Laboratory for Theoretical Computer Science, Series A:; no. A106).

    Research output: Working paperProfessional

  38. Published

    Modular Equivalence for Normal Logic Programs

    Oikarinen, E. & Janhunen, T., 2006, The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006. Dix, J. & Hunter, A. (eds.). Clausthal, Germany, p. 10-18 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. Published

    Modular Equivalence for Normal Logic Programs

    Oikarinen, E. & Janhunen, T., 2006, The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). p. 412-416

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. 2005
  41. Published

    circ2dlp

    Oikarinen, E., 2005

    Research output: Artistic and non-textual formSoftwareScientific

  42. Published

    CIRC2DLP - Translating Circumsciption into Disjunctive Logic Programming

    Oikarinen, E. & Janhunen, T., 2005, 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Diamante, Italy, September 5-8, 2005. Baral, C., Greco, G., Leone, N. & Terracina, G. (eds.). p. 405-409

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. 2004
  44. Published

    Capturing Parallel Circumscription with Disjunctive Logic Programs

    Janhunen, T. & Oikarinen, E., 2004, The 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lissabon, Portugali, 27-30.9.2004. Alferes, J. J. & Leite, J. (eds.). Lissabon, Portugali, p. 134-146

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. Published

    LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs

    Janhunen, T. & Oikarinen, E., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8, 2004. Lifschitz, V. & Niemelä, I. (eds.). p. 336-340

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  46. Published

    Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment

    Janhunen, T., Jussila, T., Järvisalo, M. & Oikarinen, E., 2004, Kolin Kolistelut - Koli Calling 2004, 4th Annual Finnish / Baltic Sea Conference on Computer Science Education, Koli, Suomi, 1-3.10. 2004. Korhonen, A. & Malmi, L. (eds.). Espoo: Otamedia, p. 85-94

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  47. Published

    Verifying the Equivalence of Logic Programs in the Disjunctive Case

    Oikarinen, E. & Janhunen, T., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, Florida, USA, January 6-8 2004. Lifschitz, V. & Niemelä, I. (eds.). p. 180-193

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  48. 2003
  49. Published

    DLPEQ, Versio 1.9

    Oikarinen, E., 2003

    Research output: Artistic and non-textual formSoftwareScientific

  50. Published

    Logiikkaohjelmien ekvivalenssitestaus

    Oikarinen, E., 2003, Tietojenkäsittelytieteen päivät 2003, Espoo, 19.-21.5.2003. Korhonen, A. & Tarhio, J. (eds.). Espoo, p. 44-47

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  51. Published

    Testing the Equivalence of Disjunctive Logic Programs

    Oikarinen, E., 2003, Helsinki, (Laboratory for Theoretical Computer Science, Series A: Research Reports; no. A85).

    Research output: Working paperProfessional

  52. 2002
  53. Published

    Testing the Equivalence of Logic Programs under Stable Model Semantics

    Janhunen, T. & Oikarinen, E., 2002, 8th European Conference on Logics in Artificial Intelligence, JELIA 2002, Cosenza, Italia, syyskuu 23-26, 2002. Flesca, S., Greco, S. & Leone, N. (eds.). Springer Verlag, LNAI 2424, p. 493-504

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

ID: 84397