Jori Bomanson

13 papers A* 2B 5Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
Applying Visible Strong Equivalence in Answer-Set Program Transformations.
ACM Trans. Comput. Log.
Jori Bomanson, Tomi Janhunen, Ilkka Niemelä
2020 J jnl
Boosting Answer Set Optimization with Weighted Comparator Networks.
CoRR
Jori Bomanson, Tomi Janhunen
2020 J jnl
Boosting Answer Set Optimization with Weighted Comparator Networks.
Theory Pract. Log. Program.
Jori Bomanson, Tomi Janhunen
2020 — —
Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus.
Jori Bomanson
2019 B conf
Diagnosing Data Pipeline Failures Using Action Languages.
LPNMR
Jori Bomanson, Alex Brik
2019 A* conf
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.
AAAI
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2018 A* conf
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.
KR
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2017 B conf
lp2normal - A Normalization Tool for Extended Logic Programs.
LPNMR
Jori Bomanson
2016 J jnl
Answer Set Programming Modulo Acyclicity.
Fundam. Informaticae
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2016 — conf
Rewriting Optimization Statements in Answer-Set Programs.
ICLP (Technical Communications)
Jori Bomanson, Martin Gebser, Tomi Janhunen
2015 B conf
Answer Set Programming Modulo Acyclicity.
LPNMR
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2014 B conf
Improving the Normalization of Weight Rules in Answer Set Programs.
JELIA
Jori Bomanson, Martin Gebser, Tomi Janhunen
2013 B conf
Normalizing Cardinality Rules Using Merging and Sorting Constructions.
LPNMR
Jori Bomanson, Tomi Janhunen