635 search results - page 6 / 127 » Reasoning About Quantum Knowledge |
CI
1998
13 years 10 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...
KR
2004
Springer
14 years 4 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 ...
COCOON
2005
Springer
14 years 4 months ago
2005
Springer
This paper gives a quantum algorithm to search in an set S for a k-tuple satisfying some predefined relation, with the promise that some components of a desired k-tuple are in som...
AAAI
2011
12 years 11 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...
CSFW
2005
IEEE
14 years 4 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...