Prompt Alternating-Time Epistemic Logics (bibtex)
by Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Reference:
Prompt Alternating-Time Epistemic LogicsBenjamin Aminof, Aniello Murano, Sasha Rubin, Florian ZulegerPrinciples of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pages 258-267, 2016.
Bibtex Entry:
@inproceedings{conf/kr/AminofMRZ16,
  author    = {Benjamin Aminof and
               Aniello Murano and
               Sasha Rubin and
               Florian Zuleger},
  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},
  year      = {2016},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12890}
}
Powered by bibtexbrowser