Computational Collective Intelligence. Technologies and Applications

Volume 8083 of the series Lecture Notes in Computer Science pp 143-153

Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity

  • Barbara Dunin-KępliczAffiliated withInstitute of Informatics, University of Warsaw
  • , Linh Anh NguyenAffiliated withInstitute of Informatics, University of WarsawFaculty of Information Technology, VNU University of Engineering and Technology
  • , Andrzej SzałasAffiliated withInstitute of Informatics, University of WarsawDept. of Computer and Information Science, Linköping University

* Final gross prices may vary according to local VAT.

Get Access


The logic TeamLog proposed by Dunin-Kęplicz and Verbrugge is used to express properties of agents’ cooperation in terms of individual, bilateral and collective informational and motivational attitudes like beliefs, goals and intentions. In this paper we isolate a Horn fragment of TeamLog, called Horn-TeamLog, and we show that it has PTime data complexity.