Sciweavers

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