441 search results - page 24 / 89 » The logical approach to stack typing |
71
Voted
SLOGICA
2010
14 years 7 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
141
click to vote
ENTCS
2006
14 years 9 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...
IPM
2006
14 years 9 months ago
2006
This paper examines several different approaches to exploiting structural information in semi-structured document categorization. The methods under consideration are designed for ...
SAS
2004
Springer
15 years 2 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...