A First-order Logic for Reasoning about Knowledge and Probability
DOI10.1145/3359752zbMath1446.03038arXiv1901.06886OpenAlexW3005452357WikidataQ130834590 ScholiaQ130834590MaRDI QIDQ5121267
Dragan Doder, Siniša Tomović, Zoran Ognjanović
Publication date: 11 September 2020
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1901.06886
strong completenesscoordinated actionsinfinite number of agentsprobabilistic common knowledgeprobabilistic epistemic logic
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Agent technology and artificial intelligence (68T42)
Related Items (5)
This page was built for publication: A First-order Logic for Reasoning about Knowledge and Probability