Publications by Tomi Janhunen

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

Clingo goes Linear Constraints over Reals and Integers

Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)

Martin Gebser, Tomi Janhunen, Torsten Schaub, Shahab Tasharrofi

Writing Declarative Specifications for Clauses

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming Modulo Acyclicity

Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming modulo Acyclicity

the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)