Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Tomi Janhunen

Allen's Interval Algebra Makes the Difference

Sep 03, 2019
Tomi Janhunen, Michael Sioutis

* Part of DECLARE 19 proceedings 

  Access Paper or Ask Questions

Clingo goes Linear Constraints over Reals and Integers

Jul 13, 2017
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX 

  Access Paper or Ask Questions

Stable-Unstable Semantics: Beyond NP with Normal Logic Programs

Aug 15, 2016
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

* Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 16 pages, LaTeX, no figures 

  Access Paper or Ask Questions

Optimizing Phylogenetic Supertrees Using Answer Set Programming

Jul 19, 2015
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä

* Theory and Practice of Logic Programming 15 (2015) 604-619 
* To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 

  Access Paper or Ask Questions

Modularity Aspects of Disjunctive Stable Models

Jan 15, 2014
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

* Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009 

  Access Paper or Ask Questions

Learning Chordal Markov Networks by Constraint Satisfaction

Oct 03, 2013
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman, Johan Pensar

  Access Paper or Ask Questions

Translating Answer-Set Programs into Bit-Vector Logic

Aug 30, 2011
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä

* 12 pages, 1 figure, 3 tables 

  Access Paper or Ask Questions

Achieving compositionality of the stable model semantics for Smodels programs

Sep 26, 2008
Emilia Oikarinen, Tomi Janhunen

* 44 pages, 2 tables 

  Access Paper or Ask Questions

Automated verification of weak equivalence within the SMODELS system

Aug 25, 2006
Tomi Janhunen, Emilia Oikarinen

* 48 pages, 7 figures, 2 tables 

  Access Paper or Ask Questions