Testing the Equivalence of Logic Programs under Stable Model Semantics. - Tomi Janhunen; Emilia Oikarinen (JELIA, 2002)

Capturing Parallel Circumscription with Disjunctive Logic Programs. - Tomi Janhunen; Emilia Oikarinen (JELIA, 2004)

LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. - Tomi Janhunen; Emilia Oikarinen (LPNMR, 2004)

Verifying the Equivalence of Logic Programs in the Disjunctive Case. - Emilia Oikarinen; Tomi Janhunen (LPNMR, 2004)

circ2dlp - Translating Circumscription into Disjunctive Logic Programming. - Emilia Oikarinen; Tomi Janhunen (LPNMR, 2005)

Modular Equivalence for Normal Logic Programs. - Emilia Oikarinen; Tomi Janhunen (ECAI, 2006)

Modular Answer Set Programming. - Emilia Oikarinen (ICLP, 2007)

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. - Emilia Oikarinen; Tomi Janhunen (ICLP, 2007)

Modularity in smodelsPrograms. - Emilia Oikarinen (LPNMR, 2007)

Automated Verification of Weak Equivalence within the SMODELS System. - Tomi Janhunen; Emilia Oikarinen (Theory Pract. Log. Program., 2007)

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. - Emilia Oikarinen; Tomi Janhunen (AIMSA, 2008)

Extended ASP Tableaux and rule redundancy in normal logic programs. - Matti Järvisalo; Emilia Oikarinen (Theory Pract. Log. Program., 2008)

Achieving compositionality of the stable model semantics for smodels programs. - Emilia Oikarinen; Tomi Janhunen (Theory Pract. Log. Program., 2008)

Modularity in answer set programs. - Emilia Oikarinen (2008)

A Module-Based Framework for Multi-language Constraint Modeling. - Matti Järvisalo; Emilia Oikarinen; Tomi Janhunen; Ilkka Niemelä (LPNMR, 2009)

Max-ASP: Maximum Satisfiability of Answer Set Programs. - Emilia Oikarinen; Matti Järvisalo (LPNMR, 2009)

Modularity Aspects of Disjunctive Stable Models. - Tomi Janhunen; Emilia Oikarinen; Hans Tompits; Stefan Woltran (J. Artif. Intell. Res., 2009)

A Translation-based Approach to the Verification of Modular Equivalence. - Emilia Oikarinen; Tomi Janhunen (J. Log. Comput., 2009)

Characterizing strong equivalence for argumentation frameworks. - Emilia Oikarinen; Stefan Woltran (Artif. Intell., 2011)

Resolution-Based Grounded Semantics Revisited. - Wolfgang Dvorák; Thomas Linsbichler; Emilia Oikarinen; Stefan Woltran (COMMA, 2014)

Answer Set Solver Backdoors. - Emilia Oikarinen; Matti Järvisalo (JELIA, 2014)

Optimizing phylogenetic supertrees using answer set programming. - Laura Koponen; Emilia Oikarinen; Tomi Janhunen; Laura Säilä (Theory Pract. Log. Program., 2015)

Minimum-Width Confidence Bands via Constraint Optimization. - Jeremias Berg; Emilia Oikarinen; Matti Järvisalo; Kai Puolamäki (CP, 2017)

Multivariate Confidence Intervals. - Jussi Korpela; Emilia Oikarinen; Kai Puolamäki; Antti Ukkonen (SDM, 2017)

Subjectively Interesting Subgroup Discovery on Real-Valued Targets. - Jefrey Lijffijt; Bo Kang; Wouter Duivesteijn; Kai Puolamäki; Emilia Oikarinen; Tijl De Bie (ICDE, 2018)

Tiler: Software for Human-Guided Data Exploration. - Andreas Henelius; Emilia Oikarinen; Kai Puolamäki (ECML/PKDD (3), 2018)

Human-Guided Data Exploration. - Andreas Henelius; Emilia Oikarinen; Kai Puolamäki (CoRR, 2018)

Human-guided data exploration using randomisation. - Kai Puolamäki; Emilia Oikarinen; Buse Gul Atli; Andreas Henelius (CoRR, 2018)

Sparse Robust Regression for Explaining Classifiers. - Anton Björklund; Andreas Henelius; Emilia Oikarinen; Kimmo Kallonen; Kai Puolamäki (DS, 2019)

Cognitive ergonomics for data analysis. - Virpi Kalakoski; Andreas Henelius; Emilia Oikarinen; Antti Ukkonen; Kai Puolamäki (ECCE, 2019)

Significance of Patterns in Data Visualisations. - Rafael Savvides; Andreas Henelius; Emilia Oikarinen; Kai Puolamäki (KDD, 2019)

Supervised Human-Guided Data Exploration. - Emilia Oikarinen; Kai Puolamäki; Samaneh Khoshrou; Mykola Pechenizkiy (PKDD/ECML Workshops (1), 2019)

Cognitive ergonomics for data analysis. Experimental study of cognitive limitations in a data-based judgement task. - Virpi Kalakoski; Andreas Henelius; Emilia Oikarinen; Antti Ukkonen; Kai Puolamäki (Behav. Inf. Technol., 2019)

Estimating regression errors without ground truth values. - Henri Tiittanen; Emilia Oikarinen; Andreas Henelius; Kai Puolamäki (CoRR, 2019)

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. - Jarkko Savela; Emilia Oikarinen; Matti Järvisalo (LPAR, 2020)

Interactive visual data exploration with subjective feedback: an information-theoretic approach. - Kai Puolamäki; Emilia Oikarinen; Bo Kang; Jefrey Lijffijt; Tijl De Bie (Data Min. Knowl. Discov., 2020)

Detecting virtual concept drift of regressors without ground truth values. - Emilia Oikarinen; Henri Tiittanen; Andreas Henelius; Kai Puolamäki (Data Min. Knowl. Discov., 2021)

Guided Visual Exploration of Relations in Data Sets. - Kai Puolamäki; Emilia Oikarinen; Andreas Henelius (J. Mach. Learn. Res., 2021)

Robust regression via error tolerance. - Anton Björklund; Andreas Henelius; Emilia Oikarinen; Kimmo Kallonen; Kai Puolamäki (Data Min. Knowl. Discov., 2022)

Commitment Threshold - On Student Retention in MOOCs. - Erkki Kaila; Antti Laaksonen; Emilia Oikarinen; Kjell Lemström (CompSysTech, 2023)

Explaining any black box model using real data. - Anton Björklund; Andreas Henelius; Emilia Oikarinen; Kimmo Kallonen; Kai Puolamäki (Frontiers Comput. Sci., 2023)

Visual Data Exploration as a Statistical Testing Procedure: Within-View and Between-View Multiple Comparisons. - Rafael Savvides; Andreas Henelius; Emilia Oikarinen; Kai Puolamäki (IEEE Trans. Vis. Comput. Graph., 2023)