Works by Eyal Amir

( view other items matching `Eyal Amir`, view all matches )
Order:
  1.  8
    Partition-based logical reasoning for first-order and propositional theories.Eyal Amir & Sheila McIlraith - 2005 - Artificial Intelligence 162 (1-2):49-88.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  11
    First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  4
    Logic-based subsumption architecture.Eyal Amir & Pedrito Maynard-Zhang - 2004 - Artificial Intelligence 153 (1-2):167-237.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations