875 search results - page 7 / 175 » Reasoning about Knowledge and Continuity |
106
click to vote
CI
1998
15 years 1 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
111
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
AAAI
2011
14 years 1 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
133
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
121
click to vote
IJCAI
1989
15 years 2 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...