Follow
Emilia Oikarinen
Title
Cited by
Cited by
Year
Characterizing strong equivalence for argumentation frameworks
E Oikarinen, S Woltran
Artificial intelligence 175 (14-15), 1985-2009, 2011
1302011
Modular equivalence for normal logic programs
E Oikarinen, T Janhunen
ECAI 6, 412-416, 2006
972006
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
932009
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
532008
A Module-Based Framework for Multi-language Constraint Modeling.
M Järvisalo, E Oikarinen, T Janhunen, I Niemelä
LPNMR, 155-168, 2009
402009
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Lecture Notes in Computer Science 4483, 175-187, 2007
382007
Verifying the equivalence of logic programs in the disjunctive case
E Oikarinen, T Janhunen
Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004
352004
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
332015
Capturing parallel circumscription with disjunctive logic programs
T Janhunen, E Oikarinen
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004
322004
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
302012
LPEQ and DLPEQ—translators for automated equivalence testing of logic programs
T Janhunen, E Oikarinen
Logic Programming and Nonmonotonic Reasoning, 336-340, 2004
222004
Testing the equivalence of logic programs under stable model semantics
T Janhunen, E Oikarinen
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
222002
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
182019
Automated Verification of Weak Equivalence within the models System
T Janhunen, E Oikarinen
Theory and Practice of Logic Programming 7 (6), 697-744, 2007
182007
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
172008
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
162020
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
162018
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
152018
circ2dlp-translating circumscription into disjunctive logic programming
E Oikarinen, T Janhunen
LPNMR 3662, 405-409, 2005
142005
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
122021
The system can't perform the operation now. Try again later.
Articles 1–20