ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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
BibTeX

Online Edition

Citation Page BibTeX

Referenced by

  1. Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997)
BibTeX

Copyright © Sun May 17 00:05:52 2009 by Michael Ley (ley@uni-trier.de)