Sciweavers

1419 search results - page 7 / 284
» Notes on Formalizing Context
Sort
View
130
Voted
DEON
2008
Springer
15 years 4 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
146
Voted
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 7 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...
97
Voted
ICCS
2009
Springer
15 years 9 months ago
Relation Algebra Operations on Formal Contexts
Uta Priss
FLAIRS
2001
15 years 3 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
97
Voted
AI
2004
Springer
15 years 2 months ago
Comparing formal theories of context in AI
Luciano Serafini, Paolo Bouquet