Essays about: "Horn fragment"
Found 1 essay containing the words Horn fragment.
University essay from Linköpings universitet/Linköpings universitet/Matematik och tillämpad matematikTekniska högskolan
Abstract : 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. READ MORE