%0 Journal Article %1 journals/jair/MartinyM16 %A Martiny, Karsten %A Möller, Ralf %D 2016 %J J. Artif. Intell. Res. %K dblp %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 = {2019-01-21T00:00:00.000+0100}, author = {Martiny, Karsten and Möller, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2d6f2e155bdb72fcad76b801c24e02ee8/dblp}, ee = {https://doi.org/10.1613/jair.5182}, interhash = {f8f32b37d7ec122f961f571f206c9641}, intrahash = {d6f2e155bdb72fcad76b801c24e02ee8}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {39-112}, timestamp = {2019-01-22T11:37:33.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 }