PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems

DOI10.1613/JAIR.5182MaRDI QIDQ2821447zbMATH OpenOpenAlexFDO

Authors Karsten Martiny, Ralf Möller

Publication date 21 September 2016

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.5182

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1931647
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• A probabilistic logic for pTiMo
• Probabilistic propositional temporal logics
• Probabilistic Temporal Logics
• AI 2005: Advances in Artificial Intelligence
• Reasoning with Multiple-Agent Possibilistic Logic
• Multi-agent logics for reasoning about higher-order upper and lower probabilities

This page was built for publication: PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems

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