Searching for authors named "Emilia Oikarinen" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Modularity in smodels programs
- …Modularity in SMODELS Programs Emilia Oikarinen Laboratory for Theoretical Computer Science P…
- Cited by 1 (1 self) – Add To MetaCart
-
Testing the Equivalence of Logic Programs under Stable Model Semantics
- … for Theoretical Computer Science P.O. Box 5400, FIN-02015 HUT, Finland Tomi.Janhunen@(email omitted);, Emilia.Oikarinen…
- Cited by 10 (4 self) – Add To MetaCart
-
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming ⋆
- …A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming ⋆ Emilia…
- Cited by 3 (3 self) – Add To MetaCart
-
Implementing Prioritized Circumscription byComputing Disjunctive Stable Models
- … Science P.O. Box 5400, FI-02015 TKK, Finland{Emilia.Oikarinen,Tomi.Janhunen}@(email omitted); Abstract. The stable…
- Add To MetaCart
-
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋆
- …Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋆ Emilia Oikarinen…
- Add To MetaCart
-
Verifying the equivalence of logic programs in the disjunctive case
- … Verifying the Equivalence of Logic Programs in the Disjunctive Case? Emilia Oikarinen and Tomi…
- Cited by 15 (2 self) – Add To MetaCart
-
Capturing Parallel Circumscription with Disjunctive Logic Programs
- …-02015 HUT, Finland Tomi.Janhunen@(email omitted);,Emilia.Oikarinen@(email omitted); Abstract. The stable model semantics…
- Cited by 8 (5 self) – Add To MetaCart
-
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
- …Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs Matti Järvisalo and Emilia…
- Cited by 1 (1 self) – Add To MetaCart
-
Max-ASP: Maximum Satisfiability of Answer Set Programs ⋆
- …Max-ASP: Maximum Satisfiability of Answer Set Programs ⋆ Emilia Oikarinen and Matti Järvisalo…
- Add To MetaCart
-
Translation-Based Approach Experiments Conclusions Disjunctive Logic Programs Stable Model Semantics
- … Prioritized Circumscription by Computing Disjunctive Stable Models Emilia Oikarinen and Tomi Janhunen…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
