Switch to: Citations

Add references

You must login to add references.
  1. A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   636 citations  
  • Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • 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  
  • Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   175 citations