Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Computation of the semantics of autoepistemic belief theories.Stefan Brass, Jürgen Dix & Teodor C. Przymusinski - 1999 - Artificial Intelligence 112 (1-2):233-250.
    Download  
     
    Export citation  
     
    Bookmark   1 citation