Probabilistic Algorithmic Knowledge

DOI10.2168/LMCS-1(3:1)2005zbMath1125.68116OpenAlexW3104940903MaRDI QIDQ5310644

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

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

Related Items (2)

Evidence with uncertain likelihoods ⋮ A quantitative doxastic logic for probabilistic processes and applications to information-hiding

This page was built for publication: Probabilistic Algorithmic Knowledge