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  
  • Ordered completion for logic programs with aggregates.Vernon Asuncion, Yin Chen, Yan Zhang & Yi Zhou - 2015 - Artificial Intelligence 224 (C):72-102.