635 search results - page 6 / 127 » Reasoning About Quantum Knowledge |
98
Voted
CI
1998
15 years 10 days 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...
104
click to vote
KR
2004
Springer
15 years 6 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 ...
114
Voted
COCOON
2005
Springer
15 years 6 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...
93
Voted
AAAI
2011
14 years 20 days 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...
123
click to vote
CSFW
2005
IEEE
15 years 6 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...