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

Tomi Janhunen

Tampere University, Finland

Explainability via Short Formulas: the Case of Propositional Logic with Implementation


Sep 03, 2022
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

* 16 pages, 1 figure. A variant of a RCRA 2022 paper 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

plingo: A system for probabilistic reasoning in clingo based on lpmln


Jun 23, 2022
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Solution Enumeration by Optimality in Answer Set Programming


Aug 07, 2021
Jukka Pajunen, Tomi Janhunen

* Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Allen's Interval Algebra Makes the Difference


Sep 03, 2019
Tomi Janhunen, Michael Sioutis

* Part of DECLARE 19 proceedings 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>