3573 search results - page 477 / 715 » Reasoning about Codata |
193
click to vote
IUI
2005
ACM
16 years 2 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 2 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...
157
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
158
click to vote
AIME
2005
Springer
16 years 2 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...
155
click to vote
ATAL
2005
Springer
16 years 1 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...