BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Portugal
Collaborated with:
T.Janhunen S.Woltran M.Järvisalo L.Koponen L.Säilä
Talks about:
program (4) answer (2) logic (2) set (2) circumscript (1) phylogenet (1) transform (1) framework (1) character (1) tableaux (1)

Person: Emilia Oikarinen

DBLP DBLP: Oikarinen:Emilia

Contributed to:

ICLP 20152015
KR 20102010
ICLP 20072007

Wrote 5 papers:

ICLP-J-2015-KoponenOJS #optimisation #programming #set #using
Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.
KR-2010-OikarinenW #equivalence #framework
Characterizing Strong Equivalence for Argumentation Frameworks (EO, SW).
ICLP-2007-JarvisaloO #logic programming #source code
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.
ICLP-2007-Oikarinen #composition #programming #set
Modular Answer Set Programming (EO), pp. 462–463.
ICLP-2007-OikarinenJ #linear #logic programming
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.