liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
2013 (English)In: Computational Collective Intelligence. Technologies and Applications / [ed] Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan, Springer Berlin/Heidelberg, 2013, 143-153 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. 143-153 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 8083
National Category
Computer Systems
URN: urn:nbn:se:liu:diva-107348DOI: 10.1007/978-3-642-40495-5_15ISBN: 978-3-642-40494-8 (print)ISBN: 978-3-642-40495-5 (print)OAI: diva2:723557
5th International Conference on Computational Collective Intelligence Technologies and Applications
Available from: 2014-06-11 Created: 2014-06-11 Last updated: 2014-11-28

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing Lab
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 130 hits
ReferencesLink to record
Permanent link

Direct link