SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "id:"swepub:oai:DiVA.org:liu-107348" "

Sökning: id:"swepub:oai:DiVA.org:liu-107348"

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Dunin-Keplicz, Barbara, et al. (författare)
  • Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
  • 2013
  • Ingår i: Computational Collective Intelligence. Technologies and Applications. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642404948 - 9783642404955 ; , s. 143-153
  • Konferensbidrag (refereegranskat)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
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Dunin-Keplicz, Barba ... (1)
Szalas, Andrzej, 195 ... (1)
Nguyen, Linh Anh (1)
Lärosäte
Linköpings universitet (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Teknik (1)
År
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 Stäng

Kopiera och spara länken för att återkomma till aktuell vy