دنبال کردن
Emilia Oikarinen
عنوان
نقل شده توسط
نقل شده توسط
سال
Characterizing strong equivalence for argumentation frameworks‏
E Oikarinen, S Woltran‏
Artificial intelligence 175 (14-15), 1985-2009, 2011‏
1512011
Modular equivalence for normal logic programs‏
E Oikarinen, T Janhunen‏
ECAI 141, 412-416, 2006‏
1072006
Modularity aspects of disjunctive stable models‏
T Janhunen, E Oikarinen, H Tompits, S Woltran‏
Journal of Artificial Intelligence Research 35, 813-857, 2009‏
1012009
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‏
572008
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‏
392007
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‏
352015
Verifying the equivalence of logic programs in the disjunctive case‏
E Oikarinen, T Janhunen‏
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004‏
352004
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‏
312012
Capturing parallel circumscription with disjunctive logic programs‏
T Janhunen, E Oikarinen‏
European Workshop on Logics in Artificial Intelligence, 134-146, 2004‏
312004
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‏
302021
LPEQ and DLPEQ—translators for automated equivalence testing of logic programs‏
T Janhunen, E Oikarinen‏
Logic Programming and Nonmonotonic Reasoning, 336-340, 2004‏
242004
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‏
222020
Cognitive ergonomics for data analysis. Experimental study of cognitive limitations in a data-based judgement task‏
V Kalakoski, A Henelius, E Oikarinen, A Ukkonen, K Puolamäki‏
Behaviour & information technology 38 (10), 1038-1047, 2019‏
222019
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‏
222018
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
Extended ASP Tableaux and rule redundancy in normal logicprograms1‏
M Järvisalo, E Oikarinen‏
Theory and Practice of Logic Programming 8 (5-6), 691-716, 2008‏
202008
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‏
182018
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
Significance of patterns in data visualisations‏
R Savvides, A Henelius, E Oikarinen, K Puolamäki‏
Proceedings of the 25th ACM SIGKDD international conference on knowledge …, 2019‏
142019
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20