1188 search results - page 37 / 238 » States of Knowledge |
122
click to vote
TCS
2008
15 years 3 months ago
2008
Abstract. Many graph problems seem to require knowledge that extends beyond the immediate neighbors of a node. The usual self-stabilizing model only allows for nodes to make decisi...
116
click to vote
KI
2009
Springer
15 years 8 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
132
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
146
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
132
Voted
RAS
2008
15 years 3 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...