Translating Default Logic into Standard Autoepistemic Logic.

Georg Gottlob: Translating Default Logic into Standard Autoepistemic Logic. J. ACM 42(4): 711-740(1995)

@article{DBLP:journals/jacm/Gottlob95a,
  author    = {Georg Gottlob},
  title     = {Translating Default Logic into Standard Autoepistemic Logic},
  journal   = {J. ACM},
  volume    = {42},
  number    = {4},
  year      = {1995},
  pages     = {711-740},
  ee        = {db/journals/jacm/Gottlob95a.html, http://doi.acm.org/10.1145/210332.210334},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

BibTeX