Publications by Jori Bomanson
2014
2.
Improving the Normalization of Weight Rules in Answer Set Programs (2014)
AUTHORS:
Bomanson Jori,
Gebser Martin
,
Janhunen Tomi
BOOKTITLE:
Logics in Artificial Intelligence
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
8761
PAGES:
166--180
[INTERNALPDF]
2013
1.
Normalizing Cardinality Rules Using Merging and Sorting Constructions (2013)
AUTHORS:
Bomanson Jori,
Janhunen Tomi
BOOKTITLE:
Logic Programming and Nonmonotonic Reasoning
SERIES:
Lecture Notes in Computer Science
VOLUME:
8148
PAGES:
187--199