Jori Bomanson

Tohtorikoulutettava

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    Diagnosing Data Pipeline Failures Using Action Languages

    Bomanson, J. & Brik, A., 1 tammikuuta 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Lierler, Y., Woltran, S. & Balduccini, M. (toim.). Springer Verlag, s. 181-194 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 11481 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  3. 2018
  4. Julkaistu

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

    Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, s. 625-626. 2 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  5. 2017
  6. Julkaistu

    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. Springer-Verlag, s. 222-228 7 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10377 ).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. 2016
  8. Julkaistu

    Rewriting optimization statements in answer-set programs

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  9. Julkaistu

    Answer Set Programming Modulo Acyclicity

    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, julkaisussa : Fundamenta Informaticae. 147, 1, s. 63-91 29 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. 2015
  11. Julkaistu

    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. s. 143-150

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  12. 2014
  13. Julkaistu

    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. (toim.). s. 166-180

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  14. 2013
  15. Julkaistu

    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. (toim.). Berlin, s. 187-199

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

ID: 57318