Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas. Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. In Costin Badica, Ngoc Thanh Nguyen, Marius Brezovan, editors, Computational Collective Intelligence. Technologies and Applications - 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings. Volume 8083 of Lecture Notes in Computer Science, pages 143-153, Springer, 2013. [doi]
Abstract is missing.