Jori Bomanson

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 9

Top Topics

Haplotype Inference

Answer Set Programming

Top Venues

Fundam. Informaticae

ACM Trans. Comput. Log.

Publications

Jori Bomanson, Tomi Janhunen, Ilkka Niemelä
Applying Visible Strong Equivalence in Answer-Set Program Transformations. ACM Trans. Comput. Log. 21 (4) (2020)
Jori Bomanson, Tomi Janhunen
Boosting Answer Set Optimization with Weighted Comparator Networks. CoRR (2020)
Jori Bomanson, Tomi Janhunen
Boosting Answer Set Optimization with Weighted Comparator Networks. Theory Pract. Log. Program. 20 (4) (2020)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. AAAI (2019)
Jori Bomanson, Alex Brik
Diagnosing Data Pipeline Failures Using Action Languages. LPNMR (2019)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. KR (2018)
Jori Bomanson
lp2normal - A Normalization Tool for Extended Logic Programs. LPNMR (2017)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. Fundam. Informaticae 147 (1) (2016)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Rewriting Optimization Statements in Answer-Set Programs. ICLP (Technical Communications) (2016)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. LPNMR (2015)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Improving the Normalization of Weight Rules in Answer Set Programs. JELIA (2014)
Jori Bomanson, Tomi Janhunen
Normalizing Cardinality Rules Using Merging and Sorting Constructions. LPNMR (2013)