1636 search results - page 81 / 328 » Reasoning About Quantum Systems |
169
click to vote
P2P
2006
IEEE
16 years 4 days ago
2006
IEEE
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
200
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
190
click to vote
CLIMA
2006
15 years 7 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
162
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
130
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...