Emilia Oikarinen

Available identifiers

zbMath Open oikarinen.emiliaDBLP44/4695WikidataQ58331313 ScholiaQ58331313MaRDI QIDQ420787

List of research outcomes

Publication	Date of Publication	Type
Robust regression via error tolerance	2022-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4999026	2021-07-09	Paper
Detecting virtual concept drift of regressors without ground truth values	2021-06-30	Paper
Optimizing phylogenetic supertrees using answer set programming	2017-11-09	Paper
Answer set solver backdoors	2015-01-14	Paper
Characterizing strong equivalence for argumentation frameworks	2012-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q3089145	2011-08-24	Paper
Modularity aspects of disjunctive stable models	2009-12-10	Paper
A Module-Based Framework for Multi-language Constraint Modeling	2009-11-10	Paper
Max-ASP: Maximum Satisfiability of Answer Set Programs	2009-11-10	Paper
A Translation-based Approach to the Verification of Modular Equivalence	2009-08-24	Paper
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs	2009-03-05	Paper
Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs	2008-12-18	Paper
Extended ASP Tableaux and rule redundancy in normal logic programs	2008-12-18	Paper
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models	2008-11-04	Paper
Automated Verification of Weak Equivalence within the<scp>smodels</scp>System	2007-12-10	Paper
Modularity Aspects of Disjunctive Stable Models	2007-11-13	Paper
Modularity in smodels Programs	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4708942	2003-06-20	Paper

Research outcomes over time

This page was built for person: Emilia Oikarinen