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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.