| Answer set programming modulo acyclicity J Bomanson, M Gebser, T Janhunen, B Kaufmann, T Schaub Fundamenta Informaticae 147 (1), 63-91, 2016 | 46 | 2016 |
| Normalizing cardinality rules using merging and sorting constructions J Bomanson, T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 44 | 2013 |
| Improving the normalization of weight rules in answer set programs J Bomanson, M Gebser, T Janhunen European Workshop on Logics in Artificial Intelligence, 166-180, 2014 | 37 | 2014 |
| Enhancing lazy grounding with lazy normalization in answer-set programming J Bomanson, T Janhunen, A Weinzierl Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2694-2702, 2019 | 20 | 2019 |
| lp2normal — A Normalization Tool for Extended Logic Programs J Bomanson Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 14 | 2017 |
| Rewriting optimization statements in answer-set programs J Bomanson, M Gebser, T Janhunen International Conference on Logic Programming, 5, 2016 | 9 | 2016 |
| Applying visible strong equivalence in answer-set program transformations J Bomanson, T Janhunen, I Niemelä ACM Transactions on Computational Logic (TOCL) 21 (4), 1-41, 2020 | 7 | 2020 |
| Diagnosing data pipeline failures using action languages J Bomanson, A Brik International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 4 | 2019 |
| Boosting Answer Set Optimization with Weighted Comparator Networks J Bomanson, T Janhunen Theory and Practice of Logic Programming 20 (4), 512-551, 2020 | 2 | 2020 |
| The Alpha solver for lazy-grounding answer-set programming A Weinzierl, B Bogaerts, J Bomanson, T Eiter, G Friedrich, T Janhunen, ... ALP Newsletter, 12, 2019 | 2 | 2019 |
| Normalization and Rewriting for Answer Set Programming and Optimization J Bomanson Aalto University, 2020 | 1 | 2020 |
| Diagnosing Data Pipeline Failures Using Action Languages A Brik, J Bomanson | | 2019 |
| Delayed predicate algorithm evaluation in hybrid answer set programming (ASP) A Brik, J Bomanson | | 2019 |
| Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming J Bomanson, T Janhunen, A Weinzierl Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | | 2018 |
| Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) B Susman, Y Lierler, M Gebser, R Kaminski, B Kaufmann, M Ostrowski, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| Developing Efficient Encodings for Weighted Expressions in Answer Set Programs J Bomanson | | 2014 |
| Nopea matriisikertolasku ja klikkien etsintä J Bomanson | | 2012 |
