9284 search results - page 137 / 1857 » Knowledge State Algorithms |
161
click to vote
CORR
2002
Springer
15 years 4 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 ...
147
Voted
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
136
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...
113
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
Game theory is popular in agent systems for designing auctions with desirable properties. However, many of these properties will only hold if the game and its properties are commo...
201
click to vote
WEBNET
2001
15 years 6 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...