@inproceedings{DBLP:conf/kr/AminofMRZ16,
  author       = {Benjamin Aminof and
                  Aniello Murano and
                  Sasha Rubin and
                  Florian Zuleger},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Prompt Alternating-Time Epistemic Logics},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {258--267},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/},
  timestamp    = {Wed, 10 Dec 2025 09:14:56 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/AminofMRZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oSDKBpWbcF6AoZpMz","bibbaseid":"aminof-murano-rubin-zuleger-promptalternatingtimeepistemiclogics-2016","downloads":0,"creationDate":"2017-07-25T20:26:33.819Z","title":"Prompt Alternating-Time Epistemic Logics","author_short":["Aminof, B.","Murano, A.","Rubin, S.","Zuleger, F."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Florian"],"propositions":[],"lastnames":["Zuleger"],"suffixes":[]}],"editor":[{"firstnames":["Chitta"],"propositions":[],"lastnames":["Baral"],"suffixes":[]},{"firstnames":["James","P."],"propositions":[],"lastnames":["Delgrande"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Wolter"],"suffixes":[]}],"title":"Prompt Alternating-Time Epistemic Logics","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016","pages":"258–267","publisher":"AAAI Press","year":"2016","url":"https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/","timestamp":"Wed, 10 Dec 2025 09:14:56 +0100","biburl":"https://dblp.org/rec/conf/kr/AminofMRZ16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/AminofMRZ16,\n author = {Benjamin Aminof and\n Aniello Murano and\n Sasha Rubin and\n Florian Zuleger},\n editor = {Chitta Baral and\n James P. Delgrande and\n Frank Wolter},\n title = {Prompt Alternating-Time Epistemic Logics},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Fifteenth International Conference, {KR} 2016, Cape Town, South\n Africa, April 25-29, 2016},\n pages = {258--267},\n publisher = {{AAAI} Press},\n year = {2016},\n url = {https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/},\n timestamp = {Wed, 10 Dec 2025 09:14:56 +0100},\n biburl = {https://dblp.org/rec/conf/kr/AminofMRZ16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aminof, B.","Murano, A.","Rubin, S.","Zuleger, F."],"editor_short":["Baral, C.","Delgrande, J. P.","Wolter, F."],"key":"DBLP:conf/kr/AminofMRZ16","id":"DBLP:conf/kr/AminofMRZ16","bibbaseid":"aminof-murano-rubin-zuleger-promptalternatingtimeepistemiclogics-2016","role":"author","urls":{"Paper":"https://aaai.org/papers/27-12890-prompt-alternating-time-epistemic-logics/"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["prompt","alternating","time","epistemic","logics","aminof","murano","rubin","zuleger"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF","74JLffDBQLjrojguT"]}