Switch to: References

Add citations

You must login to add citations.
  1. ASSAT: computing answer sets of a logic program by SAT solvers.Fangzhen Lin & Yuting Zhao - 2004 - Artificial Intelligence 157 (1-2):115-137.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
    Download  
     
    Export citation  
     
    Bookmark   11 citations