id:"swepub:oai:DiVA.org:liu-107348"
Search: id:"swepub:oai:DiVA.org:liu-107348" > Horn-TeamLog: A Hor...
- 1 of 1
- Previous record
- Next record
- To hitlist
- 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
- SwePubSwePub
Classification
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
- Computational Collective Intelligence. Technologies and Applications (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Dunin-Keplicz, B ...
- Nguyen, Linh Anh
- Szalas, Andrzej, ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- Computational Co ...
- By the university
- Linköping University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
