Travelled to:1 × Austria
1 × Portugal
1 × USA
2 × Italy
2 × United Kingdom
Collaborated with:∅ E.Oikarinen I.Niemelä M.Gebser J.Rintanen G.Liu L.Koponen L.Säilä P.Simons J.You
Talks about:program (8) answer (3) set (3) disjunct (2) semant (2) stabl (2) model (2) logic (2) circumscript (1) phylogenet (1)
Person: Tomi Janhunen
DBLP: Janhunen:Tomi
Contributed to:
2015
20142012201020082007
20002000Wrote 8 papers:
- ICLP-J-2015-KoponenOJS #optimisation #programming #set #using
- Optimizing phylogenetic supertrees using answer set programming (LK, EO, TJ, LS), pp. 604–619.
- KR-2014-GebserJR #encoding
- ASP Encodings of Acyclicity Properties (MG, TJ, JR).
- KR-2012-LiuJN #integer #programming #set
- Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).
- ICLP-2010-Janhunen10 #constraints #revisited #semantics #source code
- Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.
- ICLP-2008-Janhunen #set #source code
- Removing Redundancy from Answer Set Programs (TJ), pp. 729–733.
- ICLP-2007-OikarinenJ #linear #logic programming
- A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.
- CL-2000-Janhunen #logic programming #source code #strict
- Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs (TJ), pp. 852–866.
- KR-2000-JanhunenNSY #semantics
- Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.