Inproceedings,
Reasoning about justified belief.
A. Bjorndahl, J. Halpern, and R. Pass.TARK, page 221-227. ACM, (2011)
Meta data
- BibTeX key
- conf/tark/BjorndahlHP11
- entry type
- inproceedings
- booktitle
- TARK
- year
- 2011
- pages
- 221-227
- publisher
- ACM
- crossref
- conf/tark/2011
- ee
- https://doi.org/10.1145/2000378.2000405
- isbn
- 978-1-4503-0707-9
- url
- http://dblp.uni-trier.de/db/conf/tark/tark2011.html#BjorndahlHP11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tark/BjorndahlHP11
%A Bjorndahl, Adam
%A Halpern, Joseph Y.
%A Pass, Rafael
%B TARK
%D 2011
%E Apt, Krzysztof R.
%I ACM
%K
%P 221-227
%T Reasoning about justified belief.
%U http://dblp.uni-trier.de/db/conf/tark/tark2011.html#BjorndahlHP11
%@ 978-1-4503-0707-9
@inproceedings{conf/tark/BjorndahlHP11,
added-at = {2023-12-12T20:38:47.000+0100},
author = {Bjorndahl, Adam and Halpern, Joseph Y. and Pass, Rafael},
biburl = {https://www.bibsonomy.org/bibtex/22e32ce72112fc7531a754c067ca2eff5/admin},
booktitle = {TARK},
crossref = {conf/tark/2011},
editor = {Apt, Krzysztof R.},
ee = {https://doi.org/10.1145/2000378.2000405},
interhash = {32435b25b1c25207b653556c2e985366},
intrahash = {2e32ce72112fc7531a754c067ca2eff5},
isbn = {978-1-4503-0707-9},
keywords = {},
pages = {221-227},
publisher = {ACM},
timestamp = {2023-12-12T20:38:47.000+0100},
title = {Reasoning about justified belief.},
url = {http://dblp.uni-trier.de/db/conf/tark/tark2011.html#BjorndahlHP11},
year = 2011
}