7960 search results - page 46 / 1592 » Systems for Knowledge and Beliefs |
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
DRUMS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
IQIS
2005
ACM
14 years 2 months ago
2005
ACM
CLIMA
2006
13 years 10 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...