If you made any changes in Pure these will be visible here soon.

Research Output

  • 7 Conference contribution
  • 2 Article
  • 1 Abstract
Filter
Conference contribution
2019

Diagnosing Data Pipeline Failures Using Action Languages

Bomanson, J. & Brik, A., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lierler, Y., Woltran, S. & Balduccini, M. (eds.). p. 181-194 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Bomanson, J., Janhunen, T. & Weinzierl, A., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI PRESS, p. 2694-2702 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
2 Citations (Scopus)
2017

Lp2normal — A normalization tool for extended logic programs

Bomanson, J., 2017, Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. p. 222-228 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10377 ).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
2016

Rewriting optimization statements in answer-set programs

Bomanson, J., Gebser, M. & Janhunen, T., 1 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Carro, M., King, A., Saeedloei, N. & De Vos, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 15 p. 5

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File
2 Citations (Scopus)
41 Downloads (Pure)
2015

Answer Set Programming Modulo Acyclicity

Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. p. 143-150

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

6 Citations (Scopus)
2014

Improving the Normalization of Weight Rules in Answer Set Programs

Bomanson, J., Gebser, M. & Janhunen, T., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. Fermé, E. & Leite, J. (eds.). p. 166-180

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

19 Citations (Scopus)
2013

Normalizing Cardinality Rules Using Merging and Sorting Constructions

Bomanson, J. & Janhunen, T., 2013, 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15-19 September, 2013. Cabalar, P. & Son, T. C. (eds.). Berlin, p. 187-199

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

24 Citations (Scopus)