Cumulative Default Logic: Finite Characterization‚ Algorithms‚ and Complexity

Gelijkaardige items

• Translating Default Logic into Standard Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1995)
• The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1994)
• The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
  door: Gottlob, G
  Gepubliceerd in: (1993)
• Propositional default logics made easier: computational complexity of model checking
  door: Baumgartner, R, et al.
  Gepubliceerd in: (2002)
• Well−Founded Semantics for Default Logic
  door: Brewka, G, et al.
  Gepubliceerd in: (1997)