%0 Journal Article %1 journals/jair/MartinyM16 %A Martiny, Karsten %A Möller, Ralf %D 2016 %J J. Artif. Intell. Res. %K %P 39-112 %T PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems. %U http://dblp.uni-trier.de/db/journals/jair/jair57.html#MartinyM16 %V 57

@article{journals/jair/MartinyM16, added-at = {2023-12-14T16:30:16.000+0100}, author = {Martiny, Karsten and Möller, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2d6f2e155bdb72fcad76b801c24e02ee8/admin}, ee = {https://doi.org/10.1613/jair.5182}, interhash = {f8f32b37d7ec122f961f571f206c9641}, intrahash = {d6f2e155bdb72fcad76b801c24e02ee8}, journal = {J. Artif. Intell. Res.}, keywords = {}, pages = {39-112}, timestamp = {2023-12-14T16:30:16.000+0100}, title = {PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair57.html#MartinyM16}, volume = 57, year = 2016 }