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

Research Output

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

Boosting Answer Set Optimization with Weighted Comparator Networks

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

Research output: Contribution to journalArticleScientificpeer-review

2016

Answer Set Programming Modulo Acyclicity

Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, In : Fundamenta Informaticae. 147, 1, p. 63-91 29 p.

Research output: Contribution to journalArticleScientificpeer-review

11 Citations (Scopus)