onr:"swepub:oai:DiVA.org:liu-107348"
Sökning: onr:"swepub:oai:DiVA.org:liu-107348" > Horn-TeamLog: A Hor...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Dunin-Keplicz, BarbaraInstitute of Informatics, University of Warsaw (författare)
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
- Artikel/kapitelEngelska2013
Förlag, utgivningsår, omfång ...
- Berlin, Heidelberg :Springer Berlin/Heidelberg,2013
- printrdacarrier
Nummerbeteckningar
- 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
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Nguyen, Linh AnhInstitute of Informatics, University of Warsaw (författare)
- Szalas, Andrzej,1956-Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Artificiell intelligens och integrerade datorsystem(Swepub:liu)andsz77 (författare)
- Institute of Informatics, University of WarsawKPLAB - Laboratoriet för kunskapsbearbetning (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Computational Collective Intelligence. Technologies and ApplicationsBerlin, Heidelberg : Springer Berlin/Heidelberg, s. 143-15397836424049489783642404955
Internetlänk
Hitta via bibliotek
- Computational Collective Intelligence. Technologies and Applications (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Dunin-Keplicz, B ...
- Nguyen, Linh Anh
- Szalas, Andrzej, ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Datorsystem
- Artiklar i publikationen
- Computational Co ...
- Av lärosätet
- Linköpings universitet
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
