Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Tutkimustuotos

  • 7 Conference contribution
  • 2 Article
  • 1 Abstract
2020

Boosting Answer Set Optimization with Weighted Comparator Networks

Bomanson, J. & Janhunen, T., 2020, julkaisussa : Theory and Practice of Logic Programming. 20, 4, s. 512-551

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

2019

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.). s. 181-194 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Bomanson, J., Janhunen, T. & Weinzierl, A., 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. AAAI PRESS, s. 2694-2702 9 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 33).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
2018

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/konferenssijulkaisussaAbstractScientificvertaisarvioitu

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2016

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: LehtiartikkeliArticleScientificvertaisarvioitu

9 Sitaatiot (Scopus)

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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
Tiedosto
2 Sitaatiot (Scopus)
36 Lataukset (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. s. 143-150

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

21 Sitaatiot (Scopus)