BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Janhunen:Tomi

Contributed to:

ICLP 20152015
KR 20142014
KR 20122012
ICLP 20102010
ICLP 20082008
ICLP 20072007
CL 20002000
KR 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.