Title: Horn-TeamLog: a Horn Fragment of TeamLog with PTime Data Complexity
Authors: Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Szałas
Journal: The Fifth International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI 2013)
Publication type: conference
DOI: 10.1007/978-3-642-40495-5_15