 | 2009 |
|---|
| 20 |       | Matti Järvisalo,
Emilia Oikarinen,
Tomi Janhunen,
Ilkka Niemelä:
A Module-Based Framework for Multi-language Constraint Modeling.
LPNMR 2009: 155-168 |
| 19 | | Emilia Oikarinen,
Matti Järvisalo:
Max-ASP: Maximum Satisfiability of Answer Set Programs.
LPNMR 2009: 236-249 |
| 2008 |
|---|
| 18 | | Emilia Oikarinen,
Tomi Janhunen:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
AIMSA 2008: 167-180 |
| 17 | | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP tableaux and rule redundancy in normal logic programs
CoRR abs/0809.3204: (2008) |
| 16 | | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for Smodels programs
CoRR abs/0809.4582: (2008) |
| 15 | | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP Tableaux and rule redundancy in normal logic programs.
TPLP 8(5-6): 691-716 (2008) |
| 14 | | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for smodels programs.
TPLP 8(5-6): 717-761 (2008) |
| 2007 |
|---|
| 13 | | Matti Järvisalo,
Emilia Oikarinen:
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.
ICLP 2007: 134-148 |
| 12 | | Emilia Oikarinen,
Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP 2007: 440-441 |
| 11 | | Emilia Oikarinen:
Modular Answer Set Programming.
ICLP 2007: 462-463 |
| 10 | | Tomi Janhunen,
Emilia Oikarinen,
Hans Tompits,
Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
LPNMR 2007: 175-187 |
| 9 | | Emilia Oikarinen:
Modularity in smodelsPrograms.
LPNMR 2007: 321-326 |
| 8 | | 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 | | Tomi Janhunen,
Emilia Oikarinen:
Automated verification of weak equivalence within the SMODELS system
CoRR abs/cs/0608099: (2006) |
| 2005 |
|---|
| 5 | | Emilia Oikarinen,
Tomi Janhunen:
circ2dlp - Translating Circumscription into Disjunctive Logic Programming.
LPNMR 2005: 405-409 |
| 2004 |
|---|
| 4 | | Tomi Janhunen,
Emilia Oikarinen:
Capturing Parallel Circumscription with Disjunctive Logic Programs.
JELIA 2004: 134-146 |
| 3 | | Emilia Oikarinen,
Tomi Janhunen:
Verifying the Equivalence of Logic Programs in the Disjunctive Case.
LPNMR 2004: 180-193 |
| 2 | | Tomi Janhunen,
Emilia Oikarinen:
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.
LPNMR 2004: 336-340 |
| 2002 |
|---|
| 1 | | Tomi Janhunen,
Emilia Oikarinen:
Testing the Equivalence of Logic Programs under Stable Model Semantics.
JELIA 2002: 493-504 |
