320 search results - page 12 / 64 » A Modal Logic of Information Change |
104
click to vote
AAAI
2011
13 years 11 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
92
Voted
PERVASIVE
2007
Springer
15 years 5 months ago
2007
Springer
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
106
click to vote
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
131
Voted
ATAL
2008
Springer
15 years 24 days ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
103
click to vote
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...