BibTeX record conf/nmr/Moore84

download as .bib file

@inproceedings{DBLP:conf/nmr/Moore84,
  author       = {Robert C. Moore},
  title        = {Possible-World Semantics for Autoepistemic Logic},
  booktitle    = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
                  House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages        = {344--354},
  publisher    = {American Association for Artificial Intelligence {(AAAI)}},
  year         = {1984},
  timestamp    = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Moore84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics