Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Translating Default Logic into Standard Autoepistemic Logic

Translating Default Logic into Standard Autoepistemic Logic

Georg Gottlob

Journal
J. ACM
Number
4
Pages
711−740
Volume
42
Year
1995

Links

See Also

Back to Top