dblp.uni-trier.dewww.uni-trier.de

Emilia Oikarinen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Tomi Janhunen [1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [14] [16] [18]
2Matti Järvisalo [13] [15] [17]
3Hans Tompits [10]
4Stefan Woltran [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)