Folgen
Emilia Oikarinen
Titel
Zitiert von
Zitiert von
Jahr
Characterizing strong equivalence for argumentation frameworks
E Oikarinen, S Woltran
Artificial intelligence 175 (14-15), 1985-2009, 2011
1352011
Modular equivalence for normal logic programs
E Oikarinen, T Janhunen
ECAI 141, 412-416, 2006
1082006
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
982009
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
552008
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
402009
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
402007
Verifying the equivalence of logic programs in the disjunctive case
E Oikarinen, T Janhunen
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004
342004
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
European Workshop on Logics in Artificial Intelligence, 134-146, 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
232004
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
222021
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
212019
Testing the equivalence of logic programs under stable model semantics
T Janhunen, E Oikarinen
European Workshop on Logics in Artificial Intelligence, 493-504, 2002
212002
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
202020
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
202018
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
202008
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
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
172018
circ2dlp — Translating Circumscription into Disjunctive Logic Programming
E Oikarinen, T Janhunen
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
142005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20