Normalizing Cardinality Rules Using Merging and Sorting Constructions

Jori Bomanson, Tomi Janhunen. Normalizing Cardinality Rules Using Merging and Sorting Constructions. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 187-199, Springer, 2013. [doi]

Authors

Jori Bomanson

This author has not been identified. Look up 'Jori Bomanson' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google