Inproceedings,
Prompt Alternating-Time Epistemic Logics.
B. Aminof, A. Murano, S. Rubin, and F. Zuleger.KR, page 258-267. AAAI Press, (2016)
Meta data
- BibTeX key
- conf/kr/AminofMRZ16
- entry type
- inproceedings
- booktitle
- KR
- year
- 2016
- pages
- 258-267
- publisher
- AAAI Press
- crossref
- conf/kr/2016
- ee
- http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12890
- isbn
- 978-1-57735-755-1
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2016.html#AminofMRZ16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/AminofMRZ16
%A Aminof, Benjamin
%A Murano, Aniello
%A Rubin, Sasha
%A Zuleger, Florian
%B KR
%D 2016
%E Baral, Chitta
%E Delgrande, James P.
%E Wolter, Frank
%I AAAI Press
%K dblp
%P 258-267
%T Prompt Alternating-Time Epistemic Logics.
%U http://dblp.uni-trier.de/db/conf/kr/kr2016.html#AminofMRZ16
%@ 978-1-57735-755-1
@inproceedings{conf/kr/AminofMRZ16,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Aminof, Benjamin and Murano, Aniello and Rubin, Sasha and Zuleger, Florian},
biburl = {https://www.bibsonomy.org/bibtex/2e47d60e6c8ab9d4c5d065ed708a77c2a/dblp},
booktitle = {KR},
crossref = {conf/kr/2016},
editor = {Baral, Chitta and Delgrande, James P. and Wolter, Frank},
ee = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12890},
interhash = {26dd195d0a2c73a6da5d8f687639ab67},
intrahash = {e47d60e6c8ab9d4c5d065ed708a77c2a},
isbn = {978-1-57735-755-1},
keywords = {dblp},
pages = {258-267},
publisher = {AAAI Press},
timestamp = {2024-04-09T23:54:13.000+0200},
title = {Prompt Alternating-Time Epistemic Logics.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2016.html#AminofMRZ16},
year = 2016
}