Sciweavers

1419 search results - page 7 / 284
» Notes on Formalizing Context
Sort
View
114
Voted
DEON
2008
Springer
15 years 2 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 5 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
86
Voted
FLAIRS
2001
15 years 1 months ago
Computing in Formal Knowledge Base Contexts for Natural Language Ambiguity Resolution
Weintroducea formalcontext mechanism,embeddedinto a descriptionlogicsframework,whichis ableto uniformly represent and managedifferent formsof ambiguitiesas theyoccurin the courseo...
Udo Hahn, Martin Romacker
85
Voted
AI
2004
Springer
15 years 9 days ago
Comparing formal theories of context in AI
Luciano Serafini, Paolo Bouquet