Pointwise Circumscription Revisited. - Eyal Amir (KR, 1998)

Elaboration Tolerance of Logical Theories. - Eyal Amir (AAAI/IAAI, 1999)

Logic-Based Subsumption Architecture. - Eyal Amir; Pedrito Maynard-Reid II (IJCAI, 1999)

Object-Oriented First-Order Logic. - Eyal Amir (Electron. Trans. Artif. Intell., 1999)

(De)Composition of Situation Calculus Theories. - Eyal Amir (AAAI/IAAI, 2000)

Partition-Based Logical Reasoning. - Eyal Amir; Sheila A. McIlraith (KR, 2000)

Improving the Efficiency of Reasoning Through Structure-Based Reformulation. - Eyal Amir; Sheila A. McIlraith (SARA, 2000)

Theorem Proving with Structured Theories. - Sheila A. McIlraith; Eyal Amir (IJCAI, 2001)

Efficient Approximation for Triangulation of Minimum Treewidth. - Eyal Amir (UAI, 2001)

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). - Eyal Amir; Sheila Mcllraith (Electron. Notes Discret. Math., 2001)

Theorem Proving with Structured Theories (Preliminary Report)*. - Sheila Mcllraith; Eyal Amir (Electron. Notes Discret. Math., 2001)

Dividing and conquering logic. - Eyal Amir (2001)

Projection in Decomposed Situation Calculus. - Eyal Amir (KR, 2002)

Interpolation theorems for nonmonotonic reasoning systems. - Eyal Amir (NMR, 2002)

Factored Planning. - Eyal Amir; Barbara Engelhardt (IJCAI, 2003)

Logical Filtering. - Eyal Amir; Stuart Russell 001 (IJCAI, 2003)

Practical Partition-Based Theorem Proving for Large Knowledge Bases. - Bill MacCartney; Sheila A. McIlraith; Eyal Amir; Tomás E. Uribe (IJCAI, 2003)

Constant factor approximation of vertex-cuts in planar graphs. - Eyal Amir; Robert Krauthgamer; Satish Rao (STOC, 2003)

Logic-based subsumption architecture. - Eyal Amir; Pedrito Maynard-Zhang (Artif. Intell., 2004)

Compact Propositional Encodings of First-Order Theories. - Deepak Ramachandran; Eyal Amir (AAAI, 2005)

Commonsense Knowledge Retrieval. - Phil Oertel; Eyal Amir (AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors, 2005)

Learning Partially Observable Deterministic Action Models. - Eyal Amir (IJCAI, 2005)

Lifted First-Order Probabilistic Inference. - Rodrigo de Salvo Braz; Eyal Amir; Dan Roth 001 (IJCAI, 2005)

Partition-based logical reasoning for first-order and propositional theories. - Eyal Amir; Sheila A. McIlraith (Artif. Intell., 2005)

MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. - Rodrigo de Salvo Braz; Eyal Amir; Dan Roth 001 (AAAI, 2006)

Reasoning about Partially Observed Actions. - Megan Nance; Adam Vogel; Eyal Amir (AAAI, 2006)

Learning Partially Observable Action Schemas. - Dafna Shahaf; Eyal Amir (AAAI, 2006)

Learning Partially Observable Action Models: Efficient Algorithms. - Dafna Shahaf; Allen Chang; Eyal Amir (AAAI, 2006)

Factored Planning for Controlling a Robotic Arm. - Jaesik Choi; Eyal Amir (AAAI Fall Symposium: Integrating Reasoning into Everyday Applications, 2006)

Building Knowledge about Buildings. - Matthew T. Young; Eyal Amir (AAAI Fall Symposium: Semantic Web for Collaborative Knowledge Acquisition, 2006)

Goal Achievement in Partially Known, Partially Observable Domains. - Allen Chang; Eyal Amir (ICAPS, 2006)

FleaNet: A Virtual Market Place on Vehicular Networks. - Uichin Lee; Joon-Sang Park; Eyal Amir; Mario Gerla (MobiQuitous, 2006)

Stochastic Filtering in a Probabilistic Action Model. - Hannaneh Hajishirzi; Eyal Amir (AAAI, 2007)

Probabilistic Modal Logic. - Afsaneh Shirazi; Eyal Amir (AAAI, 2007)

Towards a Theory of AI Completeness. - Dafna Shahaf; Eyal Amir (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Bayesian Inverse Reinforcement Learning. - Deepak Ramachandran; Eyal Amir (IJCAI, 2007)

Opponent Modeling in Scrabble. - Mark Richards; Eyal Amir (IJCAI, 2007)

Logical Circuit Filtering. - Dafna Shahaf; Eyal Amir (IJCAI, 2007)

Factor-guided motion planning for a robot arm. - Jaesik Choi; Eyal Amir (IROS, 2007)

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. - Igor Gammer; Eyal Amir (SARA, 2007)

Reachability Under Uncertainty. - Allen Chang; Eyal Amir (UAI, 2007)

Factored Models for Probabilistic Modal Logic. - Afsaneh Shirazi; Eyal Amir (AAAI, 2008)

A Novel Classification Method Using Self-Regulatory Feedback. - Tsvi Achler; Eyal Amir (AAAI Fall Symposium: Biologically Inspired Cognitive Architectures, 2008)

Input Feedback Networks: Classification and Inference Based on Network Structure. - Tsvi Achler; Eyal Amir (AGI, 2008)

Shedding weights: More with less. - Tsvi Achler; Cyrus Omar; Eyal Amir (IJCNN, 2008)

Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks. - Tsvi Achler; Eyal Amir (NeSy, 2008)

Sampling First Order Logical Particles. - Hannaneh Hajishirzi; Eyal Amir (UAI, 2008)

Learning Partially Observable Deterministic Action Models. - Eyal Amir; Allen Chang (J. Artif. Intell. Res., 2008)

A Survey of First-Order Probabilistic Models. - Rodrigo de Salvo Braz; Eyal Amir; Dan Roth 001 (Innovations in Bayesian Networks, 2008)

Greedy Algorithms for Sequential Sensing Decisions. - Hannaneh Hajishirzi; Afsaneh Shirazi; Jaesik Choi; Eyal Amir (IJCAI, 2009)

Counting objects with biologically inspired regulatory-feedback networks. - Tsvi Achler; Dervis C. Vural; Eyal Amir (IJCNN, 2009)

Lifted Inference for Relational Continuous Models. - Jaesik Choi; David J. Hill 002; Eyal Amir (StarAI@AAAI, 2010)

A Turing Game for Commonsense Knowledge Extraction. - Juan Fernando Mancilla-Caceres; Eyal Amir (AAAI Fall Symposium: Commonsense Knowledge, 2010)

Combining Planning and Motion Planning. - Jaesik Choi; Eyal Amir (Cognitive Robotics, 2010)

Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. - Hannaneh Hajishirzi; Eyal Amir (KR, 2010)

Approximation Algorithms for Treewidth. - Eyal Amir (Algorithmica, 2010)

Understanding Robocup-Soccer Narratives. - Hannaneh Hajishirzi; Eyal Amir (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Lifted Relational Kalman Filtering. - Jaesik Choi; Abner Guzmán-Rivera; Eyal Amir (IJCAI, 2011)

Evaluating Commonsense Knowledge with a Computer Game. - Juan Fernando Mancilla-Caceres; Eyal Amir (INTERACT (1), 2011)

Reasoning about RoboCup Soccer Narratives. - Hannaneh Hajishirzi; Julia Hockenmaier; Erik T. Mueller; Eyal Amir (UAI, 2011)

First-order logical filtering. - Afsaneh Shirazi; Eyal Amir (Artif. Intell., 2011)

Identifying Bullies with a Computer Game. - Juan Fernando Mancilla-Caceres; Wen Pu; Eyal Amir; Dorothy Espelage (AAAI, 2012)

Information Set Generation in Partially Observable Games. - Mark Richards; Eyal Amir (AAAI, 2012)

A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom. - Juan Fernando Mancilla-Caceres; Wen Pu; Eyal Amir; Dorothy Espelage (SBP, 2012)

Nonparametric Relational Hybrid Models. - Jaesik Choi; Eyal Amir (StarAI@UAI, 2012)

Lifted Relational Variational Inference. - Jaesik Choi; Eyal Amir (UAI, 2012)

Lifted Inference on Transitive Relations. - Wen Pu; Jaesik Choi; Eyal Amir (StarAI@AAAI, 2013)

Adaptive game for reducing aggressive behavior. - Juan Fernando Mancilla-Caceres; Eyal Amir; Dorothy Espelage (IUI Companion, 2013)

Peer Nominations and Its Relation to Interactions in a Computer Game. - Juan Fernando Mancilla-Caceres; Eyal Amir; Dorothy Espelage (SBP, 2013)

Parameter Estimation for Relational Kalman Filtering. - Jaesik Choi; Eyal Amir; Tianfang Xu; Albert J. Valocchi (StarAI@AAAI, 2014)

Tracking Beliefs and Intentions in the Werewolf Game. - Codruta Liliana Gîrlea; Eyal Amir; Roxana Girju (KR, 2014)

Emotions in Social Computer Games: Relations with Bullying, Aggression, and School Belonging. - Juan Fernando Mancilla-Caceres; Dorothy Espelage; Eyal Amir (Int. J. Gaming Comput. Mediat. Simulations, 2014)

Learning Relational Kalman Filtering. - Jaesik Choi; Eyal Amir; Tianfang Xu; Albert J. Valocchi (AAAI, 2015)

Probabilistic Region Connection Calculus. - Codruta Liliana Gîrlea; Eyal Amir (AAAI Spring Symposia, 2015)

A Deterministic Partition Function Approximation for Exponential Random Graph Models. - Wen Pu; Jaesik Choi; Yunseong Hwang; Eyal Amir (IJCAI, 2015)

Psycholinguistic Features for Deceptive Role Detection in Werewolf. - Codruta Gîrlea; Roxana Girju; Eyal Amir (HLT-NAACL, 2016)