Sökning: "Horn fragment"

Hittade 2 uppsatser innehållade orden Horn fragment.

1. 1. Effekter av habitatstorlek, konnektivitet och områdesskydd på förekomst av revlummer Lycopodium annotinum och mattlummer Lycopodium clavatum i Södermanland

   Kandidat-uppsats, Södertörns högskola/Institutionen för naturvetenskap, miljö och teknik

   Författare :Evelina Båverman; [2015]
   Nyckelord :area protection; connectivity; extinction threshold; fragmentation; fragmentation threshold; habitat amount; habitat quality; habitat size; fragmentering; fragmenteringströskel; habitatkvalitet; habitatmängd; utdöendetröskel;

   Sammanfattning : Studien syftar till att testa teorier om effekter av habitatstorlek, konnektivitet, områdesskydd, habitatmängd och fragmentering på enskilda arters förekomstmönster, samt undersöka existensen av fragmenteringströskel och utdöendetröskel. Förekomstdata för revlummer Lycopodium annotinum och mattlummer Lycopodium clavatum har insamlats i 61 skogsfragment utspridda i 10 kartrutor à 2,5×2,5 km i landskapet Södermanland. LÄS MER

3. 2. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust

   Kandidat-uppsats, Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska högskolan

   Författare :Karl Nygren; [2015]
   Nyckelord :Trust; modal logic; multi-agent systems; Horn fragment;

   Sammanfattning : This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust as an essentially mental notion, making the theory particularly well suited for formalizations in multi-modal logics of beliefs, goals, intentions, actions, and time. LÄS MER