Jori Bomanson

According to our database, Jori Bomanson authored at least 11 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus.

Jori Bomanson

PhD thesis, 2020

Boosting Answer Set Optimization with Weighted Comparator Networks.

Jori Bomanson, Tomi Janhunen

Theory Pract. Log. Program., 2020

Applying Visible Strong Equivalence in Answer-Set Program Transformations.

Jori Bomanson, Tomi Janhunen, Ilkka Niemelä

ACM Trans. Comput. Log., 2020

2019

Diagnosing Data Pipeline Failures Using Action Languages.

Jori Bomanson, Alex Brik

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

lp2normal - A Normalization Tool for Extended Logic Programs.

Jori Bomanson

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2016

Answer Set Programming Modulo Acyclicity.

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

Fundam. Informaticae, 2016

Rewriting Optimization Statements in Answer-Set Programs.

Jori Bomanson, Martin Gebser, Tomi Janhunen

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2014

Improving the Normalization of Weight Rules in Answer Set Programs.

Jori Bomanson, Martin Gebser, Tomi Janhunen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Normalizing Cardinality Rules Using Merging and Sorting Constructions.

Jori Bomanson, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013