233 search results - page 4 / 47 » Logic, Knowledge Representation, and Bayesian Decision Theor... |
CADE
2009
Springer
14 years 6 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
ICTAI
2005
IEEE
13 years 11 months ago
2005
IEEE
Telemedicine is a mean of facilitating the distribution of human resources and professional competences. It can speed up diagnosis and therapeutic care delivery and allow peripher...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
CAI
1998
Springer
13 years 5 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
IJCAI
2007
13 years 7 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...