Publications by Emilia Oikarinen

2014

• 40.
• Answer Set Solver Backdoors (2014)

• AUTHORS:
• Oikarinen Emilia,
• Järvisalo Matti

• BOOKTITLE:
• 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 8761
• PAGES:
• 674-683

• 39.
• Resolution-based grounded semantics revisited (2014)

• AUTHORS:
• Dvorak Wolfgang,
• Linsbichler Thomas,
• Oikarinen Emilia,
• Woltran Stefan

• BOOKTITLE:
• Computational Models of Argument, Proceedings of COMMA 2014
• SERIES:
• Frontiers in Artificial Intelligence and Applications
• VOLUME:
• 266
• PAGES:
• 269-280

2012

• 38.
• Convergence in the distribution patterns of Europe’s plants and mammals is due to environmental forcing (2012)

• AUTHORS:
• Heikinheimo Hannes,
• Eronen Jussi T.,
• Sennikov Alexander,
• Preston Christopher D.,
• Oikarinen Emilia,
• Uotila Pertti,
• Mannila Heikki,
• Fortelius Mikael

• JOURNAL:
• Journal of Biogeography
• VOLUME:
• 39
• PAGES:
• 1633-1644

2011

• 37.
• Characterizing strong equivalence for argumentation frameworks (2011)

• AUTHORS:
• Oikarinen Emilia,
• Woltran Stefan

• JOURNAL:
• Artificial Intelligence
• VOLUME:
• 175
• PAGES:
• 1985-2009

2010

• 36.
• Characterizing Strong Equivalence for Argumentation Frameworks (2010)

• AUTHORS:
• Oikarinen Emilia,
• Woltran Stefan

• BOOKTITLE:
• Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
• PAGES:
• 123-133

• 35.
• The living and the fossilised: How well do unevenly distributed points capture the faunal information in a grid? (2010)

• AUTHORS:
• Saarinen Juha,
• Oikarinen Emilia,
• Fortelius Mikael,
• Mannila Heikki

• JOURNAL:
• Evolutionary Ecology Research
• VOLUME:
• 12
• PAGES:
• 363-376

2009

• 34.
• A Module-Based Framework for Multi-Language Constraint Modeling (2009)

• AUTHORS:
• Järvisalo Matti,
• Oikarinen Emilia,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Workshop on Answer Set Programming and Other Computing Paradigms

• 33.
• A Module-Based Framework for Multi-Language Constraint Modeling (2009)

• AUTHORS:
• Järvisalo Matti,
• Oikarinen Emilia,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 5753
• PAGES:
• 155-169

• 32.
• A Translation-based Approach to the Verification of Modular Equivalence (2009)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• JOURNAL:
• Journal of Logic and Computation
• VOLUME:
• 19
• PAGES:
• 591-613

• 31.
• Max-ASP: Maximum Satisfiability of Answer Set Programs (2009)

• AUTHORS:
• Oikarinen Emilia,
• Järvisalo Matti

• BOOKTITLE:
• Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 5753
• PAGES:
• 236-249

• 30.
• Modularity Aspects of Disjunctive Stable Models (2009)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia,
• Tompits Hans,
• Woltran Stefan

• JOURNAL:
• Journal of Artificial Intelligence Research
• VOLUME:
• 35
• PAGES:
• 813-857

2008

• 29.
• Achieving compositionality of the stable model semantics for Smodels programs (2008)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• JOURNAL:
• Theory and Practice of Logic Programming
• VOLUME:
• 8
• PAGES:
• 717-761

• 28.
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (2008)

• AUTHORS:
• Järvisalo Matti,
• Oikarinen Emilia

• JOURNAL:
• Theory and Practice of Logic Programming
• VOLUME:
• 8
• PAGES:
• 691-716

• 27.
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (2008)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 2008 Proceedings
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 5223
• PAGES:
• 167-180

• 26.
• Modularity in Answer Set Programs (2008)

• AUTHORS:
• Oikarinen Emilia

2007

• 25.
• A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (2007)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Proceedings of the 23rd International Conference on Logic Programming
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4670
• PAGES:
• 440-441

• 24.
• A Translation-based Approach to the Verification of Modular Equivalence (2007)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation
• PAGES:
• 255-269

• 23.
• Automated Verification of Weak Equivalence within the SMODELS System (2007)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia

• JOURNAL:
• Theory and Practice of Logic Programming
• VOLUME:
• 7
• PAGES:
• 697-744

• 22.
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (2007)

• AUTHORS:
• Järvisalo Matti,
• Oikarinen Emilia

• BOOKTITLE:
• Proceedings of the 23rd International Conference on Logic Programming
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4670
• PAGES:
• 134-148

• 21.
• Modular Answer Set Programming (2007)

• AUTHORS:
• Oikarinen Emilia

• BOOKTITLE:
• Summer School on Algorithmic Data Analysis
• SERIES:
• Series of Publications B, Report B-2007-4
• PAGES:
• 62

• 20.
• Modular Answer Set Programming (2007)

• AUTHORS:
• Oikarinen Emilia

• BOOKTITLE:
• Proceedings of the 23rd International Conference on Logic Programming
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4670
• PAGES:
• 462-463

• 19.
• Modularity Aspects of Disjunctive Stable Models (2007)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia,
• Tompits Hans,
• Woltran Stefan

• BOOKTITLE:
• Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 4483
• PAGES:
• 175-187

• 18.
• Modularity in Smodels Programs (2007)

• AUTHORS:
• Oikarinen Emilia

• BOOKTITLE:
• Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 4483
• PAGES:
• 321-326

• 17.
• circ2dlp 2.1 --- a linear translation from prioritized circumscription to disjunctive logic programming (2007)

• AUTHORS:
• Oikarinen Emilia

2006

• 16.
• Modular Answer Set Programming (2006)

• AUTHORS:
• Oikarinen Emilia

• 15.
• Modular Answer Set Programming (2006)

• AUTHORS:
• Oikarinen Emilia

• INSTITUTION:
• Helsinki University of Technology, Laboratory for Theoretical Computer Science
• PAGES:
• x+81

• 14.
• Modular Equivalence for Normal Logic Programs (2006)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Proceedings of the 11th International Workshop on Nonmonotonic Reasoning
• PAGES:
• 10-18

• 13.
• Modular Equivalence for Normal Logic Programs (2006)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Proceedings of the 17th European Conference on Artificial Intelligence
• PAGES:
• 412-416

2005

• 12.
• CIRC2DLP --- Translating Circumscription into Disjunctive Logic Programming (2005)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 3662
• PAGES:
• 405-409

• 11.
• CIRC2DLP 1.1 --- Software for Translating Parallel Circumscription to Disjunctive Logic Programming (2005)

• AUTHORS:
• Oikarinen Emilia

• 10.
• Translating Parallel Circumscription into Disjunctive Logic Programming (2005)

• AUTHORS:
• Oikarinen Emilia

• BOOKTITLE:
• ICCL Summer School Student Workshop 2005

2004

• 9.
• Capturing Parallel Circumscription with Disjunctive Logic Programs (2004)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia

• BOOKTITLE:
• Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 3229
• PAGES:
• 134-146

• 8.
• LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs (2004)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia

• BOOKTITLE:
• Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 2923
• PAGES:
• 336-340

• 7.
• Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment (2004)

• AUTHORS:
• Janhunen Tomi,
• Jussila Toni,
• Järvisalo Matti,
• Oikarinen Emilia

• BOOKTITLE:
• Kolin Kolistelut -- Koli Calling. Proceedings of the Fourth Finnish / Baltic Sea Conference on Computer Science Education
• SERIES:
• Research Report Series of Laboratory of Information Processing Science, Helsinki University of Technology
• VOLUME:
• TKO-42/04
• PAGES:
• 85-94

• 6.
• Verifying the Equivalence of Logic Programs in the Disjunctive Case (2004)

• AUTHORS:
• Oikarinen Emilia,
• Janhunen Tomi

• BOOKTITLE:
• Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 2923
• PAGES:
• 180-193

2003

• 5.
• DLPEQ 1.9 --- a Tool for Testing the Equivalence of Disjunctive Logic Programs (2003)

• AUTHORS:
• Oikarinen Emilia

• 4.
• Logiikkaohjelmien ekvivalenssitestaus (2003)

• AUTHORS:
• Oikarinen Emilia

• BOOKTITLE:
• Tietojenkäsittelytieteen päivät 2003
• PAGES:
• 44-47

• 3.
• Testing the Equivalence of Disjunctive Logic Programs (2003)

• AUTHORS:
• Oikarinen Emilia

• 2.
• Testing the Equivalence of Disjunctive Logic Programs (2003)

• AUTHORS:
• Oikarinen Emilia

• INSTITUTION:
• Helsinki University of Technology, Laboratory for Theoretical Computer Science
• PAGES:
• 61

2002

• 1.
• Testing the Equivalence of Logic Programs under Stable Model Semantics (2002)

• AUTHORS:
• Janhunen Tomi,
• Oikarinen Emilia

• BOOKTITLE:
• Logics in Artificial Intelligence, Proceedings of the 8th European Conference
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 2424
• PAGES:
• 493-504