2008 |
18 | EE | Emilia Oikarinen,
Tomi Janhunen:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
AIMSA 2008: 167-180 |
17 | EE | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP tableaux and rule redundancy in normal logic programs
CoRR abs/0809.3204: (2008) |
16 | EE | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for Smodels programs
CoRR abs/0809.4582: (2008) |
15 | EE | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP Tableaux and rule redundancy in normal logic programs.
TPLP 8(5-6): 691-716 (2008) |
14 | EE | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for smodels programs.
TPLP 8(5-6): 717-761 (2008) |
2007 |
13 | EE | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.
ICLP 2007: 134-148 |
12 | EE | Emilia Oikarinen,
Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP 2007: 440-441 |
11 | EE | Emilia Oikarinen:
Modular Answer Set Programming.
ICLP 2007: 462-463 |
10 | EE | Tomi Janhunen,
Emilia Oikarinen,
Hans Tompits,
Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
LPNMR 2007: 175-187 |
9 | EE | Emilia Oikarinen:
Modularity in smodelsPrograms.
LPNMR 2007: 321-326 |
8 | EE | Tomi Janhunen,
Emilia Oikarinen:
Automated Verification of Weak Equivalence within the SMODELS System.
TPLP 7(6): 697-744 (2007) |
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 |