Jori Bomanson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Applying visible strong equivalence in answer-set program transformations ACM Transactions on Computational Logic	2022-02-24	Paper
Boosting Answer Set Optimization with Weighted Comparator Networks Theory and Practice of Logic Programming	2021-09-03	Paper
Rewriting optimization statements in answer-set programs	2019-10-24	Paper
Diagnosing data pipeline failures using action languages	2019-10-10	Paper
Answer set programming modulo acyclicity Fundamenta Informaticae	2017-11-09	Paper
\textsc{lp2normal} -- a normalization tool for extended logic programs	2017-09-05	Paper
Answer set programming modulo acyclicity Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Improving the normalization of weight rules in answer set programs Logics in Artificial Intelligence	2015-01-14	Paper
Normalizing cardinality rules using merging and sorting constructions Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper

Research outcomes over time

This page was built for person: Jori Bomanson