| 2007 |
|---|
| 12 | EE | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.
ICLP 2007: 134-148 |
| 11 | EE | Emilia Oikarinen,
Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP 2007: 440-441 |
| 10 | EE | Emilia Oikarinen:
Modular Answer Set Programming.
ICLP 2007: 462-463 |
| 9 | EE | Tomi Janhunen,
Emilia Oikarinen,
Hans Tompits,
Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
LPNMR 2007: 175-187 |
| 8 | EE | Emilia Oikarinen:
Modularity in smodelsPrograms.
LPNMR 2007: 321-326 |
| 2006 |
|---|
| 7 | | Emilia Oikarinen,
Tomi Janhunen:
Modular Equivalence for Normal Logic Programs.
ECAI 2006: 412-416 |
| 6 | EE | Tomi Janhunen,
Emilia Oikarinen:
Automated verification of weak equivalence within the SMODELS system
CoRR abs/cs/0608099: (2006) |
| 2005 |
|---|
| 5 | EE | Emilia Oikarinen,
Tomi Janhunen:
circ2dlp - Translating Circumscription into Disjunctive Logic Programming.
LPNMR 2005: 405-409 |
| 2004 |
|---|
| 4 | EE | Tomi Janhunen,
Emilia Oikarinen:
Capturing Parallel Circumscription with Disjunctive Logic Programs.
JELIA 2004: 134-146 |
| 3 | EE | Emilia Oikarinen,
Tomi Janhunen:
Verifying the Equivalence of Logic Programs in the Disjunctive Case.
LPNMR 2004: 180-193 |
| 2 | EE | Tomi Janhunen,
Emilia Oikarinen:
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.
LPNMR 2004: 336-340 |
| 2002 |
|---|
| 1 | EE | Tomi Janhunen,
Emilia Oikarinen:
Testing the Equivalence of Logic Programs under Stable Model Semantics.
JELIA 2002: 493-504 |
