5243 search results - page 796 / 1049 » Reasoning About Strategies |
200
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
194
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
160
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
158
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
139
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...