Emilia Oikarinen

Andreas Henelius

J. Mach. Learn. Res., 2021

Detecting virtual concept drift of regressors without ground truth values.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2021

2020

Interactive visual data exploration with subjective feedback: an information-theoretic approach.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2020

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation.

[BibT_eX]

[DOI]

Jarkko Savela

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

Estimating regression errors without ground truth values.

[BibT_eX]

[DOI]

CoRR, 2019

Cognitive ergonomics for data analysis. Experimental study of cognitive limitations in a data-based judgement task.

[BibT_eX]

[DOI]

Behav. Inf. Technol., 2019

Supervised Human-Guided Data Exploration.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2019

Significance of Patterns in Data Visualisations.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Cognitive ergonomics for data analysis.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Cognitive Ergonomics, 2019

Sparse Robust Regression for Explaining Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science - 22nd International Conference, 2019

2018

Human-guided data exploration using randomisation.

[BibT_eX]

[DOI]

CoRR, 2018

Human-Guided Data Exploration.

[BibT_eX]

[DOI]

Andreas Henelius

Kai Puolamäki

CoRR, 2018

Tiler: Software for Human-Guided Data Exploration.

[BibT_eX]

[DOI]

Andreas Henelius

Kai Puolamäki

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Subjectively Interesting Subgroup Discovery on Real-Valued Targets.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

2017

Multivariate Confidence Intervals.

[BibT_eX]

[DOI]

Proceedings of the 2017 SIAM International Conference on Data Mining, 2017

Minimum-Width Confidence Bands via Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

2015

Optimizing phylogenetic supertrees using answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

2014

Answer Set Solver Backdoors.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Resolution-Based Grounded Semantics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

2011

Characterizing strong equivalence for argumentation frameworks.

[BibT_eX]

[DOI]

Stefan Woltran

Artif. Intell., 2011

2009

A Translation-based Approach to the Verification of Modular Equivalence.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Modularity Aspects of Disjunctive Stable Models.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Max-ASP: Maximum Satisfiability of Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A Module-Based Framework for Multi-language Constraint Modeling.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Modularity in answer set programs.

[BibT_eX]

[DOI]

PhD thesis, 2008

Achieving compositionality of the stable model semantics for smodels programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

Extended ASP Tableaux and rule redundancy in normal logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Automated Verification of Weak Equivalence within the SMODELS System.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Modularity in smodelsPrograms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Modular Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Modular Equivalence for Normal Logic Programs.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

circ2dlp - Translating Circumscription into Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

Verifying the Equivalence of Logic Programs in the Disjunctive Case.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Capturing Parallel Circumscription with Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2002

Testing the Equivalence of Logic Programs under Stable Model Semantics.

[BibT_eX]

[DOI]