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
1062011
Modular equivalence for normal logic programs
E Oikarinen, T Janhunen
ECAI 6, 412-416, 2006
892006
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
722009
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
442008
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
372007
Capturing parallel circumscription with disjunctive logic programs
T Janhunen, E Oikarinen
European Workshop on Logics in Artificial Intelligence, 134-146, 2004
302004
Verifying the equivalence of logic programs in the disjunctive case
E Oikarinen, T Janhunen
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004
302004
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
292015
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
262012
LPEQ and DLPEQ—translators for automated equivalence testing of logic programs
T Janhunen, E Oikarinen
Logic Programming and Nonmonotonic Reasoning, 336-340, 2004
212004
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 logic programs
M Järvisalo, E Oikarinen
arXiv preprint arXiv:0809.3204, 2008
182008
Automated Verification of Weak Equivalence within the models System
T Janhunen, E Oikarinen
Theory and Practice of Logic Programming 7 (6), 697-744, 2007
162007
CIRC2DLP—translating circumscription into disjunctive logic programming
E Oikarinen, T Janhunen
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
142005
Teaching Smullyan’s analytic tableaux in a scalable learning environment
T Janhunen, T Jussila, M Järvisalo, E Oikarinen
Kolin Kolistelut/Koli Calling. Proceedings of the Fourth Finnish/Baltic Sea …, 2004
122004
A translation-based approach to the verification of modular equivalence
E Oikarinen, T Janhunen
Journal of Logic and Computation 19 (4), 591-613, 2009
102009
Resolution-based grounded semantics revisited.
W Dvorák, T Linsbichler, E Oikarinen, S Woltran
COMMA, 269-280, 2014
92014
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
82020
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
82018
The system can't perform the operation now. Try again later.
Articles 1–20