Characterizing strong equivalence for argumentation frameworks E Oikarinen, S Woltran Artificial intelligence 175 (14-15), 1985-2009, 2011 | 140 | 2011 |
Modular equivalence for normal logic programs E Oikarinen, T Janhunen ECAI 141, 412-416, 2006 | 109 | 2006 |
Modularity aspects of disjunctive stable models T Janhunen, E Oikarinen, H Tompits, S Woltran Journal of Artificial Intelligence Research 35, 813-857, 2009 | 100 | 2009 |
Achieving compositionality of the stable model semantics for smodels programs1 E Oikarinen, T Janhunen Theory and Practice of Logic Programming 8 (5-6), 717-761, 2008 | 55 | 2008 |
A module-based framework for multi-language constraint modeling M Järvisalo, E Oikarinen, T Janhunen, I Niemelä International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 40 | 2009 |
Modularity aspects of disjunctive stable models T Janhunen, E Oikarinen, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007 | 40 | 2007 |
Verifying the equivalence of logic programs in the disjunctive case E Oikarinen, T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004 | 34 | 2004 |
Optimizing Phylogenetic Supertrees Using Answer Set Programming L Koponen, E Oikarinen, T Janhunen, L Säilä Theory and Practice of Logic Programming 15 (4-5), 604-619, 2015 | 33 | 2015 |
Capturing parallel circumscription with disjunctive logic programs T Janhunen, E Oikarinen European Workshop on Logics in Artificial Intelligence, 134-146, 2004 | 31 | 2004 |
Convergence in the distribution patterns of Europe’s plants and mammals is due to environmental forcing H Heikinheimo, JT Eronen, A Sennikov, CD Preston, E Oikarinen, P Uotila, ... Journal of Biogeography 39 (9), 1633-1644, 2012 | 30 | 2012 |
Detecting virtual concept drift of regressors without ground truth values E Oikarinen, H Tiittanen, A Henelius, K Puolamäki Data Mining and Knowledge Discovery 35 (3), 726-747, 2021 | 25 | 2021 |
Cognitive ergonomics for data analysis V Kalakoski, A Henelius, E Oikarinen, A Ukkonen, K Puolamäki Proceedings of the 31st European Conference on Cognitive Ergonomics, 38-40, 2019 | 23 | 2019 |
LPEQ and DLPEQ—translators for automated equivalence testing of logic programs T Janhunen, E Oikarinen Logic Programming and Nonmonotonic Reasoning, 336-340, 2004 | 23 | 2004 |
Testing the equivalence of logic programs under stable model semantics T Janhunen, E Oikarinen European Workshop on Logics in Artificial Intelligence, 493-504, 2002 | 21 | 2002 |
Interactive visual data exploration with subjective feedback: an information-theoretic approach K Puolamäki, E Oikarinen, B Kang, J Lijffijt, T De Bie Data Mining and Knowledge Discovery 34 (1), 21-49, 2020 | 20 | 2020 |
Interactive visual data exploration with subjective feedback: an information-theoretic approach K Puolamäki, E Oikarinen, B Kang, J Lijffijt, T De Bie 2018 IEEE 34th International Conference on Data Engineering (ICDE), 1208-1211, 2018 | 20 | 2018 |
Extended ASP Tableaux and rule redundancy in normal logic programs1 M Järvisalo, E Oikarinen Theory and Practice of Logic Programming 8 (5-6), 691-716, 2008 | 20 | 2008 |
Automated Verification of Weak Equivalence within the models System T Janhunen, E Oikarinen Theory and Practice of Logic Programming 7 (6), 697-744, 2007 | 18 | 2007 |
Subjectively interesting subgroup discovery on real-valued targets J Lijffijt, B Kang, W Duivesteijn, K Puolamaki, E Oikarinen, T De Bie 2018 IEEE 34th International Conference on Data Engineering (ICDE), 1352-1355, 2018 | 17 | 2018 |
circ2dlp — Translating Circumscription into Disjunctive Logic Programming E Oikarinen, T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 14 | 2005 |