Jori Bomanson
Orcid: 0000-0002-9218-9562
According to our database1,
Jori Bomanson
authored at least 11 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
4
2
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus.
PhD thesis, 2020
Theory Pract. Log. Program., 2020
ACM Trans. Comput. Log., 2020
2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013