The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
Georg Gottlob
Book Title
Foundation of Knowledge Representation and Reasoning (the book grew out of an ECAI−92 workshop)
Editor
Gerhard Lakemeyer and Bernhard Nebel
ISBN
3−540−58107−3
Pages
133−144
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
810
Year
1994