Amir, Eyal

1. Interpolation Theorems for Nonmonotonic Reasoning Systems
   2002/07/16 by Eyal Amir, Amir, Eyal · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #cs.AI #cs.LO
2. Efficient Approximation for Triangulation of Minimum Treewidth
   2013/01/10 by Eyal Amir, Amir, Eyal · 1 citation
   Computer Science · #Advanced Graph Theory Research #Artificial Intelligence (cs.AI) #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences