The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. Alviano, M. & Faber, W. In Cabalar, P. & Son, T. C., 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 67–72, 2013. Springer.
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics [link]Paper  doi  bibtex   

Downloads: 0