Emilia Oikarinen

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
j6		Emilia Oikarinen, Stefan Woltran: Characterizing strong equivalence for argumentation frameworks. Artif. Intell. 175(14-15): 1985-2009 (2011)
	2010
c15		Emilia Oikarinen, Stefan Woltran: Characterizing Strong Equivalence for Argumentation Frameworks. KR 2010
	2009
j5		Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran: Modularity Aspects of Disjunctive Stable Models. J. Artif. Intell. Res. (JAIR) 35: 813-857 (2009)
j4		Emilia Oikarinen, Tomi Janhunen: A Translation-based Approach to the Verification of Modular Equivalence. J. Log. Comput. 19(4): 591-613 (2009)
c14		Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä: A Module-Based Framework for Multi-language Constraint Modeling. LPNMR 2009: 155-168
c13		Emilia Oikarinen, Matti Järvisalo: Max-ASP: Maximum Satisfiability of Answer Set Programs. LPNMR 2009: 236-249
	2008
j3		Matti Järvisalo, Emilia Oikarinen: Extended ASP Tableaux and rule redundancy in normal logic programs. TPLP 8(5-6): 691-716 (2008)
j2		Emilia Oikarinen, Tomi Janhunen: Achieving compositionality of the stable model semantics for smodels programs. TPLP 8(5-6): 717-761 (2008)
c12		Emilia Oikarinen, Tomi Janhunen: Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. AIMSA 2008: 167-180
i3		Matti Järvisalo, Emilia Oikarinen: Extended ASP tableaux and rule redundancy in normal logic programs. CoRR abs/0809.3204 (2008)
i2		Emilia Oikarinen, Tomi Janhunen: Achieving compositionality of the stable model semantics for Smodels programs. CoRR abs/0809.4582 (2008)
	2007
j1		Tomi Janhunen, Emilia Oikarinen: Automated Verification of Weak Equivalence within the SMODELS System. TPLP 7(6): 697-744 (2007)
c11		Matti Järvisalo, Emilia Oikarinen: Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. ICLP 2007: 134-148
c10		Emilia Oikarinen, Tomi Janhunen: A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. ICLP 2007: 440-441
c9		Emilia Oikarinen: Modular Answer Set Programming. ICLP 2007: 462-463
c8		Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran: Modularity Aspects of Disjunctive Stable Models. LPNMR 2007: 175-187
c7		Emilia Oikarinen: Modularity in smodelsPrograms. LPNMR 2007: 321-326
	2006
c6		Emilia Oikarinen, Tomi Janhunen: Modular Equivalence for Normal Logic Programs. ECAI 2006: 412-416
i1		Tomi Janhunen, Emilia Oikarinen: Automated verification of weak equivalence within the SMODELS system. CoRR abs/cs/0608099 (2006)
	2005
c5		Emilia Oikarinen, Tomi Janhunen: circ2dlp - Translating Circumscription into Disjunctive Logic Programming. LPNMR 2005: 405-409
	2004
c4		Tomi Janhunen, Emilia Oikarinen: Capturing Parallel Circumscription with Disjunctive Logic Programs. JELIA 2004: 134-146
c3		Emilia Oikarinen, Tomi Janhunen: Verifying the Equivalence of Logic Programs in the Disjunctive Case. LPNMR 2004: 180-193
c2		Tomi Janhunen, Emilia Oikarinen: LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. LPNMR 2004: 336-340
	2002
c1		Tomi Janhunen, Emilia Oikarinen: Testing the Equivalence of Logic Programs under Stable Model Semantics. JELIA 2002: 493-504

Coauthor Index

1	Tomi Janhunen	[j5] [j4] [c14] [j2] [c12] [i2] [j1] [c10] [c8] [c6] [i1] [c5] [c4] [c3] [c2] [c1]
2	Matti Järvisalo	[c14] [c13] [j3] [i3] [c11]
3	Ilkka Niemelä	[c14]
4	Hans Tompits	[j5] [c8]
5	Stefan Woltran	[j6] [c15] [j5] [c8]

Last update Thu May 23 02:00:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page