Switch to: Citations

Add references

You must login to add references.
  1. On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Saturation, nonmonotonic reasoning and the closed-world assumption.Genevieve Bossu & Pierre Siegel - 1985 - Artificial Intelligence 25 (1):13-63.
    Download  
     
    Export citation  
     
    Bookmark   25 citations