SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:9783642404948 OR L773:9783642404955 "

Search: L773:9783642404948 OR L773:9783642404955

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Dunin-Keplicz, Barbara, et al. (author)
  • Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
  • 2013
  • In: Computational Collective Intelligence. Technologies and Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642404948 - 9783642404955 ; , s. 143-153
  • Conference paper (peer-reviewed)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Dunin-Keplicz, Barba ... (1)
Szalas, Andrzej, 195 ... (1)
Nguyen, Linh Anh (1)
University
Linköping University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Engineering and Technology (1)
Year
2013 (1)

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.

 
pil uppåt Close

Copy and save the link in order to return to this view