1. |
- Dunin-Keplicz, Barbara, et al.
(author)
-
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
- 2013
-
In: Computational Collective Intelligence. Technologies and Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642404948 - 9783642404955 ; , s. 143-153
-
Conference paper (peer-reviewed)abstract
- 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.
|
|