Efficient Reasoning in Multiagent Epistemic Logics

Gerhard Lakemeyer, Yves Lespérance. Efficient Reasoning in Multiagent Epistemic Logics. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, pages 498-503, IOS Press, 2012. [doi]

@inproceedings{LakemeyerL12-0,
  title = {Efficient Reasoning in Multiagent Epistemic Logics},
  author = {Gerhard Lakemeyer and Yves Lespérance},
  year = {2012},
  doi = {10.3233/978-1-61499-098-7-498},
  url = {http://dx.doi.org/10.3233/978-1-61499-098-7-498},
  researchr = {https://researchr.org/publication/LakemeyerL12-0},
  cites = {0},
  citedby = {0},
  pages = {498-503},
  booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  editor = {Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas},
  volume = {242},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-61499-097-0},
}