875 search results - page 34 / 175 » Reasoning about Knowledge and Continuity |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
KES
2005
Springer
15 years 3 months ago
2005
Springer
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
67
Voted
KCAP
2003
ACM
15 years 2 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
77
Voted
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...