Switch to: References

Add citations

You must login to add citations.
  1. A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Ordered completion for first-order logic programs on finite structures.Vernon Asuncion, Fangzhen Lin, Yan Zhang & Yi Zhou - 2012 - Artificial Intelligence 177-179 (C):1-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations