Sciweavers

1419 search results - page 7 / 284
» Notes on Formalizing Context
Sort
View
DEON
2008
Springer
13 years 9 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»
14 years 21 days 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...
FLAIRS
2001
13 years 8 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
AI
2004
Springer
13 years 7 months ago
Comparing formal theories of context in AI
Luciano Serafini, Paolo Bouquet