Sökning: onr:"swepub:oai:DiVA.org:liu-107348" >
Horn-TeamLog: A Hor...
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
-
- Dunin-Keplicz, Barbara (författare)
- Institute of Informatics, University of Warsaw
-
- Nguyen, Linh Anh (författare)
- Institute of Informatics, University of Warsaw
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Artificiell intelligens och integrerade datorsystem
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Computational Collective Intelligence. Technologies and Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642404948 - 9783642404955 ; , s. 143-153
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas