1188 search results - page 75 / 238 » States of Knowledge |
145
click to vote
CALCO
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
146
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
163
click to vote
AAAI
2000
15 years 7 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
155
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A multiple antenna broadcast channel with perfect channel state information at the receivers is considered. If each receiver quantizes its channel knowledge to a finite number of b...