| 2016 | NAACL | Psycholinguistic Features for Deceptive Role Detection in Werewolf. | Codruta Grlea, Roxana Girju, Eyal Amir |
| 2015 | AAAI | Learning Relational Kalman Filtering. | Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi |
| 2015 | IJCAI | A Deterministic Partition Function Approximation for Exponential Random Graph Models. | Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir |
| 2014 | AAAI | Parameter Estimation for Relational Kalman Filtering. | Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi |
| 2014 | KR | Tracking Beliefs and Intentions in the Werewolf Game. | Codruta Liliana Grlea, Eyal Amir, Roxana Girju |
| 2013 | AAAI | Lifted Inference on Transitive Relations. | Wen Pu, Jaesik Choi, Eyal Amir |
| 2013 | IUI | Adaptive game for reducing aggressive behavior. | Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage |
| 2012 | AAAI | Identifying Bullies with a Computer Game. | Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage |
| 2012 | AAAI | Information Set Generation in Partially Observable Games. | Mark Richards, Eyal Amir |
| 2012 | UAI | Lifted Relational Variational Inference. | Jaesik Choi, Eyal Amir |
| 2011 | IJCAI | Lifted Relational Kalman Filtering. | Jaesik Choi, Abner Guzmn-Rivera, Eyal Amir |
| 2011 | Interact | Evaluating Commonsense Knowledge with a Computer Game. | Juan Fernando Mancilla-Caceres, Eyal Amir |
| 2011 | UAI | Reasoning about RoboCup Soccer Narratives. | Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir |
| 2010 | AAAI | Lifted Inference for Relational Continuous Models. | Jaesik Choi, David J. Hill, Eyal Amir |
| 2010 | KR | Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. | Hannaneh Hajishirzi, Eyal Amir |
| 2010 | UAI | Lifted Inference for Relational Continuous Models. | Jaesik Choi, Eyal Amir, David J. Hill |
| 2009 | IJCAI | Greedy Algorithms for Sequential Sensing Decisions. | Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir |
| 2009 | IJCNN | Counting objects with biologically inspired regulatory-feedback networks. | Tsvi Achler, Dervis C. Vural, Eyal Amir |
| 2009 | ICRA | Combining planning and motion planning. | Jaesik Choi, Eyal Amir |
| 2008 | AAAI | Factored Models for Probabilistic Modal Logic. | Afsaneh Shirazi, Eyal Amir |
| 2008 | IJCNN | Shedding weights: More with less. | Tsvi Achler, Cyrus Omar, Eyal Amir |
| 2008 | NeSy | Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks. | Tsvi Achler, Eyal Amir |
| 2008 | UAI | Sampling First Order Logical Particles. | Hannaneh Hajishirzi, Eyal Amir |
| 2007 | AAAI | Stochastic Filtering in a Probabilistic Action Model. | Hannaneh Hajishirzi, Eyal Amir |
| 2007 | AAAI | Probabilistic Modal Logic. | Afsaneh Shirazi, Eyal Amir |
| 2007 | IJCAI | Bayesian Inverse Reinforcement Learning. | Deepak Ramachandran, Eyal Amir |
| 2007 | IJCAI | Opponent Modeling in Scrabble. | Mark Richards, Eyal Amir |
| 2007 | IJCAI | Logical Circuit Filtering. | Dafna Shahaf, Eyal Amir |
| 2007 | IROS | Factor-guided motion planning for a robot arm. | Jaesik Choi, Eyal Amir |
| 2007 | UAI | Reachability Under Uncertainty. | Allen Chang, Eyal Amir |
| 2006 | AAAI | MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth |
| 2006 | AAAI | Reasoning about Partially Observed Actions. | Megan Nance, Adam Vogel, Eyal Amir |
| 2006 | AAAI | Learning Partially Observable Action Schemas. | Dafna Shahaf, Eyal Amir |
| 2006 | AAAI | Learning Partially Observable Action Models: Efficient Algorithms. | Dafna Shahaf, Allen Chang, Eyal Amir |
| 2006 | Mobiquitous | FleaNet: A Virtual Market Place on Vehicular Networks. | Uichin Lee, Joon-Sang Park, Eyal Amir, Mario Gerla |
| 2005 | AAAI | Compact Propositional Encodings of First-Order Theories. | Deepak Ramachandran, Eyal Amir |
| 2005 | IJCAI | Learning Partially Observable Deterministic Action Models. | Eyal Amir |
| 2005 | IJCAI | Lifted First-Order Probabilistic Inference. | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth |
| 2005 | IJCAI | Compact Propositional Encodings of First-Order Theories. | Deepak Ramachandran, Eyal Amir |
| 2005 | IJCAI | First-Order Logical Filtering. | Afsaneh Shirazi, Eyal Amir |
| 2003 | IJCAI | Factored Planning. | Eyal Amir, Barbara Engelhardt |
| 2003 | IJCAI | Logical Filtering. | Eyal Amir, Stuart Russell |
| 2003 | IJCAI | Practical Partition-Based Theorem Proving for Large Knowledge Bases. | Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Toms E. Uribe |
| 2003 | STOC | Constant factor approximation of vertex-cuts in planar graphs. | Eyal Amir, Robert Krauthgamer, Satish Rao |
| 2002 | JELIA | Interpolation Theorems for Nonmonotonic Reasoning Systems. | Eyal Amir |
| 2002 | KR | Projection in Decomposed Situation Calculus. | Eyal Amir |
| 2001 | IJCAI | Theorem Proving with Structured Theories. | Sheila A. McIlraith, Eyal Amir |
| 2001 | UAI | Efficient Approximation for Triangulation of Minimum Treewidth. | Eyal Amir |
| 2000 | AAAI | (De)Composition of Situation Calculus Theories. | Eyal Amir |
| 2000 | KR | Partition-Based Logical Reasoning. | Eyal Amir, Sheila A. McIlraith |
| 1999 | AAAI | Elaboration Tolerance of Logical Theories. | Eyal Amir |
| 1999 | IJCAI | Logic-Based Subsumption Architecture. | Eyal Amir, Pedrito Maynard-Reid II |
| 1998 | KR | Pointwise Circumscription Revisited. | Eyal Amir |