Translating Default Logic into Standard Autoepistemic Logic

Gelijkaardige items

• The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1993)
• The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1994)
• From Carnap's Modal Logic to Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1994)
• Well−Founded Semantics for Default Logic
  door: Brewka, G, et al.
  Gepubliceerd in: (1997)
• Default Logic as a Query Language
  door: Cadoli, M, et al.
  Gepubliceerd in: (1997)