Journal Papers
[1] J. F. Mancilla-Caceres, D. Espelage, and E. Amir, A computer game-based method for studying bullying and cyberbullying, Journal of school violence, Volume 14(1), 66-86, 2015.
[2] J. F. Mancilla-Caceres, D. Espelage, and E. Amir, Emotions in Social Computer Games: Relations with Bullying, Aggression, and School Belonging, International Journal of Gaming and Computer Mediated Simulations (IJGCMS), 6(3), 50-67, 2014.
[3] T. Xu, A. J. Valocchi, J. Choi, E. Amir, Use of machine learning methods to reduce predictive error of groundwater models, Groundwater, 52(3), 448-460, 2014.
[4] E. Amir, Efficient Approximation for Triangulation of Minimum Treewidth, CoRR, Volume abs/1301.2253, 2013.
[5] H. Hajishirzi, J. Hockenmaier, E. T. Mueller, and E. Amir, Reasoning about RoboCup Soccer Narratives, CoRR, Volume abs/1202.3728, 2012.
[6] J. Choi, E. Amir, and D. J. Hill, Lifted Inference for Relational Continuous Models, CoRR, Volume abs/1203.3473, 2012.
[7] H. Hajishirzi and E. Amir, Sampling First Order Logical Particles, CoRR, Volume abs/1206.3264, 2012.
[8] A. Chang and E. Amir, Reachability Under Uncertainty, CoRR, Volume abs/1206.5253, 2012.
[9] J. Choi and E. Amir, Lifted Relational Variational Inference, CoRR, Volume abs/1210.5867, 2012.
[10] A.H. Shirazi and E. Amir, First-Order Logical Filtering, Artificial Intelligence Journal, Vol 175(1), pp. 193–219, 2011.
[11] E. Amir, Approximation Algorithms for Treewidth, Algorithmica, Vol 56(4), pp. 448-, 2010.
[12] E. Amir, We Want More from Computers – But not Too Much, Forbes, The AI Report, forbes.com/ai, June 2009.
[13] N.J. Roese and E. Amir, Speculations on Human-Android Interaction in the Near and Distant Future, in press, Perspectives on Psychological Science, 2009.
[14] E. Amir and A. Chang, Learning Partially Observable Deterministic Action Models, Journal of Artificial Intelligence Research, Vol 33, pp.349-402, 2008.
[15] B. Engelhardt and E. Amir, Factored Planning, conditionally accepted to Artificial Intelligence, 2008.
[16] E. Amir and S. McIlraith, Strategies for Focusing Structure-Based Theorem Proving, accepted for publication, Artificial Intelligence, 2008.
[17] E. Amir, Steps on the Way to Human-Level AI, IEEE Intelligent Systems, p.6, issue May/June, 2006.
[18] E. Amir and S. McIlraith, Partition-Based Logical Reasoning for First-Order and Propositional Theories, Artificial Intelligence, vol. 162 (1–2), pp. 49-88, a special issue on Abstraction, Reformulation and Approximation, 2005.
[19] E. Amir and P. Maynard-Reid II, Logic-Based Subsumption Architecture, Artificial Intelligence, vol. 153 (1-2), pp. 167-237, special issue on commonsense reasoning, 2004.
[20] S. McIlraith and E. Amir, Theorem Proving with Structured Theories (2001), Electronic Notes in 3Discrete Mathematics vol. 9, pp. 18-18, 2001.
[21] E. Amir, Object-Oriented First-Order Logic, Electronic Transactions on Artificial Intelligence, vol. 3, Section C, 1999.
Book Chapters
[22] E. Amir, Reasoning and Decision Making, invited chapter to Cambridge Handbook of Artificial Intelligence, Keith Frankish and William Ramsey eds., 2014.
[23] J. F. Mancilla-Caceres, D. Espelage, and E. Amir, Peer nominations and its relation to interactions in a computer game. In Social computing, behavioral-cultural modeling and prediction (pp. 38-47). Springer Berlin Heidelberg, 2013.
[24] J. F. Mancilla-Caceres, W. Pu, E. Amir, and D. Espelage, A computer-in-the-loop approach for detecting bullies in the classroom.. In Social computing, behavioral-cultural modeling and prediction (pp. 139-146). Springer Berlin Heidelberg, 2012.
[25] R. Braz, E. Amir, and D. Roth, A Survey of First-Order Probabilistic Models, in Innovations in Bayesian Networks, D.E. Holmes and L.C. Jain eds., SCI 156, pp. 289-317, 2008.
[26] R. Braz, E. Amir, and D. Roth, Lifted First-Order Probabilistic Inference, in Statistical Relational Learning, L. Getoor and B. Taskar eds., 2007.
[27] E. Amir, Interpolation Theorems for Nonmonotonic Reasoning Systems, Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS) vol. 2424, pp.233–244, Springer Berlin / Hedelberg, 2002.
[28] E. Amir, Towards a Formalization of Elaboration Tolerance: Adding and Deleting Axioms, book chapter in Frontiers of Belief Revision, M. Williams and H. Rott eds., Kluwer, 2000.
[29] E. Amir and H. Judah, Souslin Absoluteness, Uniformization and Regularity Properties of Projective Sets, book chapter in Set Theory, T. Bartoszynski and M. Scheepers eds., AMS, 1996.
Proceedings of Peer-Refereed Conferences
[30] C. L. Girlea, R. Girju, and E. Amir, Psycholinguistic Features for Deceptive Role Detection in Werewolf, in Proceedings of the 15th Annual Conference of the North American Association for Computational Linguistics, forthcoming, 2016.
[31] W. Pu, J. Choi, Y. Hwang, and E. Amir, A Deterministic Partition Function Approximation for Exponential Random Graph Models, in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 192-200), 2015.
[32] J. Choi, E. Amir, Tianfang Xu, and Albert J. Valocchi, Learning Relational Kalman Filtering, in Proceedings of the 29th Conference of the American Association for Artificial Intelligence (AAAI 2015), 2015.
[33] C. L. Girlea, i and E. Amir, and R. Girju, Tracking Beliefs and Intentions in the Werewolf Game, in Proceedings of the International Conference on Knowledge Representation and Reasoning (KR 2014), 2014.
[34] J. F. Mancilla, E. Amir, and D. Espelage, Adaptive Game for Reducing Aggressive Behavior, in Proceedings of the Conference on Intelligent User Interfaces (IUI 2013), 2013.4
[35] J. F. Mancilla, E. Amir, and D. Espelage, Peer Nomination and Its Relation to Interactions in a Computer Game, in Proceedings of the Conference on Social Computing, Behavior Modeling, and Prediction (SBP 2013), 2013.
[36] J. Choi and E. Amir, Lifted Relational Variational Inference, in Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI 2012), 2012.
[37] C. L. Girlea and E. Amir, Probabilistic Region Connection Calculus, in Proceedings of the ECAI 9th Workshop on Spatio Temporal Dynamics (STeDy 2012), 2012.
[38] J. F. Mancilla-Caceres, Wen Pu, E. Amir, and D. Espelage, Identifying Bullies with a Computer Game, in Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), 2012.
[39] M. Richards and E. Amir, Information-Set Generation in Partially Observable Games, in Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), 2012.
[40] J. F. Mancilla-Caceres, E. Amir, Wen Pu, and D. Espelage, A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom, in Proceedings of 26th Conference of the A Social Computing, Behavioral Modeling, and Prediction (SBP 2012), 2012.
[41] T. Xu, A. J. Valocchi, J. Choi, and E. Amir, Improving Groundwater Flow Model Prediction Using Complementary Data-Driven Models, in Proceedings of 19th International Conference on Water Resources (CMWR 2012), 2012.
[42] H. Hajishirzi, J. Hockenmaier, E. T. Mueller, and E. Amir, Reasoning in Robocup Soccer Narratives, in Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011), pp. 291–300, 2011.
[43] J. Choi, A. Guzman-Rivera, and E. Amir, Lifted Relational Kalman Filtering, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 2092-2099, 2011.
[44] J. F. Mancilla-Caceres and E. Amir, Evaluating Commonsense Knowledge with a Computer Game, in Proceedings of the 13th IFIP Conference on Human-Computer Interaction (INTERACT 2011), pp. 348–355, 2011.
[45] H. Hajishirzi and E. Amir, Understanding Robocup-Soccer Narratives, in Proceedings of the 10th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2011), held as part of the AAAI Spring Symposium, 2011.
[46] J. Choi, D. J. Hill, and E. Amir, Lifted Inference for Relational Continuous Models, in Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010), 2010.
[47] H. Hajishirzi and E. Amir, Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering, in Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010.
[48] J. Choi, D. J. Hill, and E. Amir, Lifted Inference for Relational Continuous Models, in Proceedings of the AAAI Workshop on Statistical Relational Artificial Intelligence, 2010.
[49] J. Choi and E. Amir, Combining Planning and Motion Planning: An Extended Abstract, in Proceedings of the ICAPS-2010 Workshop on Combining Action and Motion Planning, 2010.
[50] H. Hajishirzi, A. Shirzi, J. Choi, and E. Amir, Greedy Algorithms for Sequential Sensing Decisions, in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009.
[51] J. Choi and E. Amir, Combining Planning and Motion Planning, in Proceedings of 2009 IEEE Inter5national Conference on Robotics and Automation (ICRA 2009), 2009.
[52] T. Achler and E. Amir, Neuroscience and AI Share the Same Elegant Mathematical Trap, in Proceedings of the Second Conference on Artificial General Intelligence (AGI 2009), 2009.
[53] M. Richards and E. Amir, Information Set Sampling in Imperfect Information Positional Games, in IJCAI Workshop on General Game Playing, 2009.
[54] J. Choi and E. Amir, Combining Planning and Motion Planning with an Action Formalism, in Proceedings of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009.
[55] H. Hajishirzi and E. Amir, Sampling First-Order Logical Particles, in Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008), 2008.
[56] A. Shirazi and E. Amir, Factored Models for Probabilistic Modal Logic, in Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI 2008), 2008.
[57] T. Achler, C. Omar, and E. Amir, Shedding Weights: More with Less, in Proceedings of International Joint Conference on Neural Networks (IJCNN2008), part of 2008 IEEE World Congress on Computational Intelligence (WCCI2008), 2008.
[58] T. Achler and E. Amir, Recurrent Feedback Neuronal Networks: Classification and Inference Based on Network Structure, in Proceedings of the 2008 Artificial General Intelligence (AGI 2008), 2008.
[59] J. Choi and E. Amir, Factor-Guided Motion Planning for a Robot Arm, in Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems (IROS 2007), 2007.
[60] H. Hajishirzi and E. Amir, Stochastic Filtering in Probabilistic Action Models, in Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007), 2007.
[61] A. Shirazi and E. Amir, Probabilistic Modal Logic, in Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007), 2007.
[62] A. Chang and E. Amir, Reachability Under Uncertainty, in Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI 2007), 2007.
[63] I. Gammer and E. Amir, Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic, in Proceedings of the 7th Symposium on Abstraction, Reformulation and Approximation (SARA 2007), Springer, 2007.
[64] D. J. Hill, B. Minsker, and E. Amir, Real-Time Bayesian Anomaly Detection for Environmental Sensor Data, in Proceedings of the 32nd Congress of IAHR, International Association of Hydraulic Engineering and Research, Venice, Italy, 2007.
[65] W. Dawsey, B. Minsker, and E. Amir, Real Time Assessment of Drinking Water Systems Using a Bayesian Network, in Proceedings of the World Environmental and Water Resources Congress, 2007.
[66] D. Shahaf and E. Amir, Towards a Theory of AI Completeness, in 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2007), 2007.
[67] D. Ramachandran and E. Amir, Bayesian Inverse Reinforcement Learning, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007.
[68] M. Richards and E. Amir, Opponent Modeling in Scrabble, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007.
[69] D. Shahaf and E. Amir, Logical Circuit Filtering, in Proceedings of the 20th International Joint Con6ference on Artificial Intelligence (IJCAI 2007), 2007.
[70] J. Choi and E. Amir, Factored Planning for Controlling a Robotic Arm: Theory, in 5th International Cognitive Robotics Workshop (CogRob 2006), 2006.
[71] J. Choi and E. Amir, Factored Planning for Controlling a Robotic Arm in AAAI 2006 Fall Symposium on Integrating Reasoning in Everyday Applications, 2006.
[72] M. T. Young and E. Amir, Building knowledge about buildings, in AAAI Fall Symposium workshop on Semantic Web for Collaborative Knowledge Acquisition, 2006.
[73] M. Nance, A. Vogel, and E. Amir, Reasoning about Partially Observed Actions, in Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), 2006.
[74] D. Shahaf and E. Amir, Learning Partially Observable Action Schemas, in Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), 2006.
[75] D. Shahaf, A. Chang, and E. Amir, Learning Partially Observable Action Models: Efficient Algorithms, in Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), 2006.
[76] R. Braz, E. Amir, and D. Roth, MPE and Logical Variable Conditioning in Lifted Probabilistic Variable Elimination, Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), 2006.
[77] A. Chang and E. Amir, Goal Achievement in Partially Known, Partially Observable Domains, in Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2006), 2006.
[78] D. Ramachandran and E. Amir, Compact Propositional Encoding of First-Order Theories, in Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), 2005. Earlier versions of this work appeared in IJCAR’04 Workshop on Strategies in Automated Deduction (STRATEGIES
2004), 2004, and in ECAI’04 Workshop on Local computations with Logic and Uncertainty, 2004.
[79] E. Amir, Learning Partially Observable Deterministic Action Models, in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), 2005. An earlier version of this work appeared in ECAI’04 Workshop on Cognitive Robotics (CogRob 2004), 2004.
[80] A. Shirazi and E. Amir, First-Order Logical Filtering in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), 2005. An earlier version appeared in 7th International Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 2005),
2005.
[81] R. Braz, E. Amir, and D. Roth, Lifted First-Order Probabilistic Inference in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), 2005.
[82] P. Oertel and E. Amir, A Framework for Commonsense Knowledge Retrieval, in 7th International Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 2005), 2005. An earlier version appeared in AAAI Spring Symposium workshop on Knowledge Capture from Volunteer Contributors (KCVC 2005), 2005.
[83] B. Hlubocky and E. Amir, Knowledge Gathering Agents in Adventure Games, in AAAI’04 Workshop on Challenges in Game AI, 2004.
[84] E. Amir, and S. Russell, Logical Filtering, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003. An earlier version appeared in 6th International Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 2003), 2003.7
[85] E. Amir and B. Engelhardt, Factored Planning, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003.
[86] B. MacCartney, S. McIlraith, E. Amir and T. Uribe, Efficient Theorem Proving Through Partitioning, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003.
[87] E. Amir, R. Krauthgamer, S. Rao, Constant Factor Approximation of Vertex-Cuts in Planar Graphs, in Proceedings of the ACM Symposium on Theory of Computing (STOC 2003), 2003.
[88] E. Amir, Interpolation Theorems for Nonmonotonic Reasoning Systems, 9th International Workshop on Nonmonotonic Reasoning (NMR 2002).
[89] E. Amir, Projection in Decomposed Situation Calculus, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), 2002.
[90] E. Amir and P. Doyle, Adventure Games: a Challenge for Cognitive Robotics, AAAI’02 Workshop on Cognitive Robotics (CogRob 2002), 2002.
[91] E. Amir, Planning With Nondeterministic Actions and Sensing, AAAI’02 Workshop on Cognitive Robotics (CogRob 2002), 2002.
[92] S. McIlraith and E. Amir, Theorem Proving With Structured Theories, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001.
[93] E. Amir, Efficient Approximation for Triangulation of Minimum Treewidth, Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI 2001), 2001.
[94] E. Amir and S. McIlraith, Solving Satisfiability using Decomposition and the Most Constrained Subproblem, Proceedings of Theory and Applications of Satisfiability Testing (SAT 2001), 2001.
[95] E. Amir and P. Maynard-Reid II, LiSA: A Robot Driven by Logical Subsumption, 5th Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 2001), 2001. An earlier version appeared in AAAI Fall Symposium on Parallel Architectures for Cognition, 2000.
[96] S. Shapiro, E. Amir, H. Grosskreutz, D. Randell, and M. Soutchanski, Commonsense and Embodied Agents, 5th Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 2001), 2001.
[97] E. Amir, (De)Composition of Situation Calculus Theories, Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000), 2000.
[98] E. Amir and S. McIlraith, Improving the Efficiency of Reasoning Through Structure-Based Reformulation, Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation (SARA 2000), 2000.
[99] E. Amir and S. McIlraith, Partition-Based Logical Reasoning, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), 2000.
[100] E. Amir and P. Maynard-Reid II, Logic-Based Subsumption Architecture, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), 1999. An earlier version appeared in AAAI Fall Symposium on Cognitive Robotics (CogRob 1998), 1998.
[101] E. Amir, Object-Oriented First-Order Logic, IJCAI Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 1999), 1999.
[102] E. Amir, Pointwise Circumscription Revisited, Proceedings of the 6th International Conference on 8Principles of Knowledge Representation and Reasoning (KR 1998), 1998.
[103] E. Amir, Towards a Formalization of Elaboration Tolerance: Adding and Deleting Axioms, Symposium on Abstraction, Reformulation and Approximation (SARA 1998), 1998. Also appeared in 7th International Workshop on Nonmonotonic Reasoning (NMR 1998) (Belief Revision track), 1998.
[104] E. Amir, Point-Sensitive Circumscription, 4th Symposium on the Logical Formalizations of Commonsense Reasoning (Commonsense 1998), 1998.
[105] E. Amir, Machinery for Elaborating Action – Preliminary Report, IJCAI’97 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 1997), 1997.
[106] E. Amir, Formalizing Action Using Pointwise Circumscription and Set Theory, IJCAI’97 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 1997), 1997.
In Progress
[107] C. Girlea, R. Girju, and E. Amir Beliefs over Beliefs in the Werewolf Game, submitted for publication.
[108] S. Gupta, N. Gupta, and E. Amir, Optimal Real-Time Bidding Under Uncertainty, submitted for publication.