1. Efficient approximation for triangulation of minimum treewidth;Amir,2001
2. Interpolation theorems for nonmonotonic reasoning systems;Amir,2002
3. Factored planning;Amir,2003
4. Logic-based subsumption architecture;Amir,1998
5. Logic-based subsumption architecture;Amir,1999