1636 search results - page 64 / 328 » Reasoning About Quantum Systems |
169
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
175
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
160
click to vote
ACL
2003
15 years 7 months ago
2003
Standard IR systems can process queries such as “web NOT internet”, enabling users who are interested in arachnids to avoid documents about computing. The documents retrieved ...
143
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The science of complexity is based on a new way of thinking that stands in sharp contrast to the philosophy underlying Newtonian science, which is based on reductionism, determinis...
186
click to vote
JAIR
2011
15 years 1 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...