Search: id:"swepub:oai:DiVA.org:liu-107348" >
Horn-TeamLog: A Hor...
-
Dunin-Keplicz, BarbaraInstitute of Informatics, University of Warsaw
(author)
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
- Article/chapterEnglish2013
Publisher, publication year, extent ...
-
Berlin, Heidelberg :Springer Berlin/Heidelberg,2013
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:liu-107348
-
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-107348URI
-
https://doi.org/10.1007/978-3-642-40495-5_15DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Nguyen, Linh AnhInstitute of Informatics, University of Warsaw
(author)
-
Szalas, Andrzej,1956-Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Artificiell intelligens och integrerade datorsystem(Swepub:liu)andsz77
(author)
-
Institute of Informatics, University of WarsawKPLAB - Laboratoriet för kunskapsbearbetning
(creator_code:org_t)
Related titles
-
In:Computational Collective Intelligence. Technologies and ApplicationsBerlin, Heidelberg : Springer Berlin/Heidelberg, s. 143-15397836424049489783642404955
Internet link
Find in a library
To the university's database