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
- 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)