The following pages link to Emilia Oikarinen (Q420787):
Displaying 22 items.
- Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
- Detecting virtual concept drift of regressors without ground truth values (Q2036722) (← links)
- Robust regression via error tolerance (Q2134056) (← links)
- Answer Set Solver Backdoors (Q2938538) (← links)
- (Q3089145) (← links)
- A Translation-based Approach to the Verification of Modular Equivalence (Q3395261) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Extended ASP Tableaux and rule redundancy in normal logic programs (Q3546041) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (Q3608651) (← links)
- A Module-Based Framework for Multi-language Constraint Modeling (Q3643114) (← links)
- Max-ASP: Maximum Satisfiability of Answer Set Programs (Q3643122) (← links)
- Modularity Aspects of Disjunctive Stable Models (Q3651481) (← links)
- Optimizing phylogenetic supertrees using answer set programming (Q4593001) (← links)
- (Q4708942) (← links)
- (Q4999026) (← links)
- Logics in Artificial Intelligence (Q5394120) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424873) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424886) (← links)
- Modularity Aspects of Disjunctive Stable Models (Q5425407) (← links)
- Modularity in smodels Programs (Q5425415) (← links)
- Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System (Q5431418) (← links)
