Probabilistic Algorithmic Knowledge

DOI10.2168/LMCS-1(3:1)2005MaRDI QIDQ5310644zbMATH OpenOpenAlexFDO

Authors Joseph Y. Halpern, Riccardo Pucella

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-1(3:1)2005

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Randomized algorithms (68W20)

Recommendations

• Deductive Algorithmic Knowledge
• Reasoning about knowledge and probability
• scientific article; zbMATH DE number 4145875
• scientific article; zbMATH DE number 2226186
• Randomization, persuasiveness and rigor in proofs

Cited in

(8)

• Evidence with uncertain likelihoods
• scientific article; zbMATH DE number 4176494 (Why is no real title available?)
• scientific article; zbMATH DE number 6019532 (Why is no real title available?)
• A quantitative doxastic logic for probabilistic processes and applications to information-hiding
• Relativized questions involving probabilistic algorithms
• Deductive Algorithmic Knowledge
• scientific article; zbMATH DE number 2226186 (Why is no real title available?)
• An algorithmic impossible-worlds model of belief and knowledge

This page was built for publication: Probabilistic Algorithmic Knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310644)