Eyal Amir - Papers and Publications


Theses

Eyal Amir, Dividing and Conquering Logic, Ph.D. Thesis, Stanford University, Computer Science Department, 2002 (Postscript, PDF). Awarded the Arthur L. Samuel Award for best thesis in the Computer Science Department, Stanford University, 2001-2.
Eyal Amir, Souslin Absoluteness, Uniformization and Regularity Properties of Projective Sets, Ms.C. Thesis, Bar Ilan University, Mathematics and Computer Science Department, 1994 (Postscript, PDF).

Journal Papers and Book Chapters

Eyal Amir, We Want More from Computers -- But not Too Much, Forbes.com, The AI Report, June 2009.  [new]
Afsaneh Shirazi and Eyal Amir, First-Order Logical Filtering, Artificial Intelligence, in press, 2009. (PDF, PS)  [new]
Neal Roese and Eyal Amir, Speculations on Human-Android Interaction in the Near and Distant Future, Perspectives on Psychological Science, in press, 2008.  [new]
Eyal Amir and Allen Chang, Learning Partially Observable Deterministic Action Models, Journal of Artificial Intelligence Research (JAIR), Vol 33, pp.349-402, 2008.
Eyal Amir, Approximation Algorithms for Treewidth, Algorithmica, Vol 56(4), 2010, pp. 448- (PDF).
Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth A Survey of First-Order Probabilistic Models, Innovations in Bayesian Networks, pp. 289--317, 2008.
Eyal Amir, Automated Reasoning and Decision Making, invited chapter to Cambridge Handbook of Artificial Intelligence, K. Frankish and W. Ramsey eds., forthcoming 2008.  [new]
Eyal Amir, Interpolation Theorems for Nonmonotonic Reasoning Systems, (submitted for publication), 2008.
Eyal Amir and Sheila McIlraith, Strategies for Focusing Structure-Based Theorem Proving, (submitted for publication), 2008. (PDF, PS)
Rodrigo de-Salvo Braz, Eyal Amir, and Dan Roth, Lifted First-Order Probabilistic Inference, in Statistical Relational Learning, L. Getoor and B. Taskar eds., 2007. (PDF, PS)
Eyal Amir, Steps on the Way to Human-Level AI, IEEE Intelligent Systems, P.6, May/June Issue, 2006.
Eyal Amir and Sheila McIlraith, Partition-Based Logical Reasoning for First-Order and Propositional Theories, Artificial Intelligence, 162 (1-2), pp. 49-88, 2005. (PDF, PS)
Eyal Amir and Pedrito Maynard-Reid II, Logic-Based Subsumption Architecture, Artificial Intelligence, 153, pp. 167-237, 2004. (PDF, PS)
Sheila McIlraith and Eyal Amir, Theorem Proving with Structured Theories (Preliminary Report), LICS workshop on Theory and Applications of Satisfiability Testing (SAT 2001), 2001. Proceedings of SAT 2001 appear in Electronic Notes in Discrete Mathematics (Elsevier Science). Also appeared in Fifth Symposium on the logical formalization of commonsense reasoning, 2001.
Eyal 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. (PDF, PS)
Eyal Amir, Object-Oriented First-Order Logic, Electronic Transactions on Artificial Intelligence, vol. 3, Section C, pp. 63--84, 1999. (PDF, PS)
Eyal Amir, Souslin Absoluteness, Uniformization and Regularity Properties of Projective Sets, book chapter in Contributors, BEST conference proceedings, T. Bartoszynski and M. Scheepers eds., 1996. (PDF, PS)

Papers in Refereed Conference Proceedings

Codruta L. Girlea and Eyal Amir, Probabilistic Region Connection Calculus, in Proceedings of the ECAI 2012 Workshop on Spatio-Temporal Dynamics (STeDy 2012), 2012 (PS, PDF). This paper received the Best Paper Award for the workshop.  [new]
Juan F. Mancilla-Caceres, Wen Pu, Dorothy Espelage, and Eyal Amir, Identifying Bullies with a Computer Game, in Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), 2012 (PS, PDF).  [new]
Mark Richards and Eyal Amir, Information-Set Generation in Partially Observable Games, in Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), 2012 (PS, PDF).  [new]
Juan F. Mancilla-Caceres, Wen Pu, Dorothy Espelage, and Eyal Amir, A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom, in Proceedings of the 26th Conference on Social Computing, Behavior Modeling, and Prediction (SBP 2012), 2012 (PS, PDF).  [new]
Tianfang Xu, Albert J. Valocchi, Jaesik Choi, and Eyal Amir, Improving Groundwater Flow Model Prediction Using Complementary Data-Driven Models, in Proceedings of the 19th International Conference on Water Resources (CMWR 2012), 2012 (PS, PDF).  [new]
Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, and Eyal Amir, Reasoning in Robocup Soccer Narratives, in Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011), 2011 (PS, PDF).  [new]
Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, and Eyal Amir, Reasoning about Robocup Soccer Narratives, in Proceedings of the ICAPS-2011 Workshop on Planning and Learning, 2011 (PS, PDF).  [new]
Jaesik Choi, Abner Guzman-Rivera, and Eyal Amir, Lifted Relational Kalman Filtering, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011 (PS, PDF).  [new]
Juan Fernando Mancilla-Caceres and Eyal Amir, Evaluating Commonsense Knowledge with a Computer Game, in Proceedings of the 13th IFIP Conference on Human-Computer Interaction (INTERACT'11), 2011 (PS, PDF).  [new]
Hannaneh Hajishirzi and Eyal Amir, Understanding Robocup-Soccer Narratives, in Proceedings of the 10th International Symposium on Logical Formalization of Commonsense Reasoning (Commonsense 2011), 2011 (PS,PDF).  [new]
Jaesik Choi and Eyal Amir, Combining Planning and Motion Planning: An Extended Abstract, in Proceedings of the ICAPS-2010 Workshop on Combining Action and Motion Planning, 2010 (PS,PDF).  [new]
Hannaneh Hajishirzi and Eyal Amir, Reasoning about Deterministic Action Sequences with Probabilistic Priors, in Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), 2010 (PS,PDF).  [new]
Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, and Eyal Amir, Greedy Algorithms for Sequential Sensing Decisions, in Proceedings of the 2009 International Joint Conference on Artificial Intelligence (IJCAI'09), 2009 (PS,PDF).
Jaesik Choi and Eyal Amir, Combining Planning and Motion Planning, in Proceedings of the 2009 IEEE International Conference on Robotics and Automation (ICRA'09), 2009 (PS,PDF).
Tsvi Achler and Eyal Amir, Neuroscience and AI Share the Same Elegant Mathematical Trap, in Proceedings of the Second Conference on Artificial General Intelligence (AGI'09), 2009.
Hannaneh Hajishirzi and Eyal Amir, Sampling First Order Logical Particles, in Proceedings of the 2008 International Conference on Uncertainty in Artificial Intelligence (UAI'08), 2008 (PS,PDF).
Afsaneh Shirazi and Eyal Amir, Factored Models for Probabilistic Modal Logic, in Proceedings of the 2008 Conference of the Association for the Advancement of Artificial Intelligence (AAAI'08), 2008 (PS,PDF).
Tsvi Achler, Cyrus Omar, and Eyal Amir, Shedding Weights: More with Less, in Proceedings of the 2008 IEEE International Joint Conference on Neural Networks (IJCNN'08), 2008 (PS,PDF).
Tsvi Achler and Eyal Amir, Recurrent Feedback Neuronal Networks: Classificiation and Inference Based on Network Structure, in Proceedings of the 2008 Conference on Artificial General Intelligence (AGI'08), 2008 (PS,PDF).
Jaesik Choi and Eyal Amir, Factor-Guided Motion Planning for a Robot Arm, in Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems (IROS'07), 2007 (PS,PDF).
Hannaneh Hajishirzi and Eyal Amir, Stochastic Filtering in a Probabilistic Action Model, in 22nd National Conference on Artificial Intelligence (AAAI'07), 2007 (PS,PDF).
Afsaneh Shirazi and Eyal Amir, Probabilistic Modal Logic, in 22nd National Conference on Artificial Intelligence (AAAI'07), 2007 (PS,PDF).
Allen Chang and Eyal Amir, Reachability Under Uncertainty, in 23rd Conference on Uncertainty in Artificial Intelligence (UAI'07), 2007 (PS,PDF).
Igor Gammer and Eyal Amir, Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic, in 7th Symposium on Abstraction, Reformulation, and Approximation (SARA'07), 2007 (PS,PDF).
David J. Hill, Barbara Minsker, and Eyal Amir, Real-Time Bayesian Anomaly Detection for Environmental Sensor Data, in 32nd Congress of the International Association of Hydraulic Engineering and Research (IAHR 2007), Venice, Italy, 2007.
Wesley Dawsey, Barbara Minsker, and Eyal Amir, Real-Time Assessment of Drinking Water Systems Using a Bayesian Network, in World Environmental and Water Resources Congress, 2007.
Deepak Ramachandran and Eyal Amir, Bayesian Inverse Reinforcement Learning, in 20th International Joint Conference on Artificial Intelligence (IJCAI'07), 2007 (PS,PDF).
Dafna Shahaf and Eyal Amir, Logical Circuit Filtering, in 20th International Joint Conference on Artificial Intelligence (IJCAI'07), 2007 (PS,PDF).
Mark Richards and Eyal Amir, Opponent modeling in Scrabble, in 20th International Joint Conference on Artificial Intelligence (IJCAI'07), 2007 (PS,PDF).
Megan Nance, Adam Vogel, and Eyal Amir, Reasoning about Partially Observed Actions, in 21st National Conference on Artificial Intelligence (AAAI'06), 2006 (PS,PDF).
Dafna Shahaf and Eyal Amir, Learning Partially Observable Action Schemas, in 21st National Conference on Artificial Intelligence (AAAI'06), 2006 (PS,PDF).
Dafna Shahaf, Allen Chang, and Eyal Amir, Learning Partially Observable Action Models: Efficient Algorithms, , in 21st National Conference on Artificial Intelligence (AAAI'06), 2006. (PS,PDF).
R. Braz, Eyal Amir, and D. Roth, MPE and Partial Inversion in Lifted Probabilistic Variable Elimination, in 21st National Conference on Artificial Intelligence (AAAI'06), 2006 (PS,PDF).
Allen Chang and Eyal Amir, Goal Achievement in Partially Known, Partially Observable Domains, in International Conference on Automated Planning and Scheduling (ICAPS'06), 2006 (PS,PDF).
Deepak Ramachandran and Eyal Amir, Compact Propositional Encodings of First-Order Theories, in 20th National Conference on Artificial Intelligence (AAAI'05), 2005 (PS,PDF).
Eyal Amir, Learning Partially Observable Deterministic Action Models, in 19th Intl' Joint Conference on Artificial Intelligence (IJCAI'05), 2005 (PS,PDF).
R. Braz, Eyal Amir, and D. Roth Lifted First-Order Probabilistic Inference, in 19th Intl' Joint Conference on Artificial Intelligence (IJCAI'05), 2005 (PS,PDF).
Afsaneh Shirazi and Eyal Amir, First-Order Logical Filtering, in 19th Intl' Joint Conference on Artificial Intelligence (IJCAI'05), 2005 (PS,PDF).
Eyal Amir and S. Russell, Logical Filtering, in 18th Intl' Joint Conference on Artificial Intelligence (IJCAI'03), 2003 (PS,PDF). There is now a UIUC-CS technical report #2500 that includes some more details and proofs of theorems.
Eyal Amir and B. Engelhardt, Factored Planning, in 18th Intl' Joint Conference on Artificial Intelligence (IJCAI'03), 2003 (PS,PDF).
Bill MacCartney, Sheila McIlraith, Eyal Amir, and Tomas E. Uribe Practical Partition-Based Theorem Proving for Large Knowledge Bases, in 18th Intl' Joint Conference on Artificial Intelligence (IJCAI'03), 2003 (PS,PDF).
Eyal Amir, Robert Krauthgamer, and Satish Rao Constant Factor Approximation of Vertex-Cuts in Planar Graphs, in 35th Annual ACM Symposium on Theory of Computing (STOC'03), 2003.
Eyal Amir, Interpolation theorems for nonmonotonic reasoning systems, 8th European conference on logics in artificial intelligence (JELIA'02), 2002.
Eyal Amir, Projection in Decomposed Situation Calculus, 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'2002), 2002.
Sheila McIlraith and Eyal Amir, Theorem proving with structured theories, 17th Intl' Joint Conference on Artificial Intelligence (IJCAI'01), 2001.
Eyal Amir, Efficient Approximation for Triangulation of Minimum Treewidth, 17th Conference on Uncertainty in Artificial Intelligence (UAI '01), 2001.
Eyal Amir, (De)Composition of Situation Calculus Theories, Seventeenth National Conference on Artificial Intelligence (AAAI'2000), 2000.
Eyal Amir and Sheila McIlraith, Improving the Efficiency of Reasoning Through Structure-Based Reformulation, Proceedings of the 4th Intl' Symposium on Abstraction, Reformulation and Approximation (SARA'00), B.Y. Choueiry and T. Walsh Eds., Lecture Notes in Artificial Intelligence 1864. Springer.
Eyal Amir and Sheila McIlraith, Partition-Based Logical Reasoning, 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
Eyal Amir and Pedrito Maynard-Reid II, Logic-Based Subsumption Architecture, 16th Intl' Joint Conference on Artificial Intelligence (IJCAI'99), 1999. See also the project web page.
Eyal Amir, Pointwise Circumscription Revisited, in Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998.

Refereed Workshop Papers

Dafna Shahaf and Eyal Amir, Towards a Theory of AI Completeness, in 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'07), 2007 (PS,PDF).  [new]
Jaesik Choi and Eyal Amir, Factored planning for controlling a robotic arm: theory, 5th International Cognitive Robotics workshop (CogRob 2006), 2006.
Matt T. Young and Eyal Amir, Building knowledge about buildings, AAAI Fall symposium workshop on Semantic Web for Collaborative Knowledge Acquisition, 2006.
Phil Oertel and Eyal Amir, Commonsense knowledge retrieval, AAAI Spring symposium workshop on Knowledge Collection from Volunteer Contributors (KCVC'05), 2005.
Eyal Amir, Learning partially observable action models, 4th international workshop on cognitive robotics (CogRob'04), part of ECAI'04, 2004.
Brian Hlubocky and Eyal Amir, Knowledge-gathering agents in adventure games, AAAI-04 workshop on Challenges in Game AI, 2004.
Deepak Ramachandran and Eyal Amir, Compact propositionalizations of first-order theories, ECAI-04 workshop on Local Computation for Logics and Uncertainty, 2004.
Eyal Amir and Stuart Russell, Logical Filtering, Sixth Symposium on the logical formalization of commonsense reasoning, part of the AAAI Spring Symposium, 2003.
Eyal Amir and Patrick Doyle, Adventure games: a challenge for cognitive robotics, AAAI'02 workshop on Cognitive Robotics, 2002. [PS, PDF]
Eyal Amir, Planning with nondeterministic actions and sensing, AAAI'02 workshop on Cognitive Robotics, 2002.
Eyal Amir, Interpolation theorems for nonmonotonic reasoning systems, 9th international workshop on Nonmonotonic Reasoning (NMR'02), 2002.
Eyal Amir and Sheila McIlraith, Solving Satisfiability using Decomposition and the Most Constrained Subproblem, LICS workshop on Theory and Applications of Satisfiability Testing (SAT 2001), 2001. Proceedings of SAT 2001 appear in Electronic Notes in Discrete Mathematics (Elsevier Science). Also in IJCAI'01 workshop on Distributed Constraint Reasoning (PDF, PS)
Eyal Amir and Pedrito Maynard-Reid II, LiSA: A Robot Driven by Logical Subsumption, Fifth Symposium on the logical formalization of commonsense reasoning, 2001.
Stuart C. Shapiro, Eyal Amir, Henrik Grosskreutz, David Randell, and Mikhail Soutchanski, Commonsense and Embodied Agents: A Panel Discussion, Fifth Symposium on the logical formalization of commonsense reasoning, 2001.
Eyal Amir and Pedrito Maynard-Reid II, Logic-Based Subsumption Architecture: Empirical Evaluation, AAAI Fall Symposium on Parallel Architectures for Cognition, 2000.
Eyal Amir, Object-Oriented First-Order Logic, Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'99), 1999.
Eyal Amir and Pedrito Maynard-Reid, Logic-Based Subsumption Architecture, AAAI 1998 Fall Symposium on Cognitive Robotics, 1998.
Eyal Amir, Towards a Formalization of Elaboration Tolerance: Adding and Deleting Axioms, Symposium on Abstraction, Reformulation and Approximation (SARA98), 1998. Also appeared in Seventh International Workshop on Nonmonotonic Reasoning (Belief Revision track), 1998.
Eyal Amir, Point-Sensitive Circumscription, Fourth Symposium on the Logical Formalizations of Commonsense Reasoning, London, England 1998.
Eyal Amir, Machinery for Elaborating Action -- Preliminary Report, Workshop on Nonmonotonic Reasoning, Action, and Change, Nagoya, Japan 1997.
Eyal Amir, Formalizing Action Using Pointwise Circumscription and Set Theory, Workshop on Nonmonotonic Reasoning, Action, and Change, Nagoya, Japan 1997.

Refereed Abstracts and Posters

Eyal Amir, Elaboration Tolerance of Logical Theories, Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99), Doctoral Consortium, 1999.
Eyal Amir, Formalizing Action Using Set Theory and Modified Pointwise Circumscription (Poster), 15th Intl' Joint Conference on Artificial Intelligence (IJCAI'97), 1997.
Eyal Amir, Applications of Context to Elaboration Tolerance (Abstract), Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, 1997.

Technical Reports

Eyal Amir, M. L. Anderson, and Vinay K. Chaudhri Report on DARPA Workshop on Self-Aware Computer Systems, UIUC Computer Science Technical Report No. UIUCDCS-R-2007-2810 (Engr. No. UILU-ENG-2007-1709), 2007.
Eyal Amir and Stuart Russell, UIUC-CS technical report #2500, 2005
Eyal Amir, 20 Years of Nonmonotonic Reasoning, unpublished manuscript, 1998.

Papers In Preparation

Eyal Amir, Reformulation and Syntactic Distance of Logical Knowledge Bases, in preparation.

Preprints

Small notes on missionaries -- try 4 (postscript) (4/96). The Missionaries and Cannibals Problem is formulated in Situation Calculus. This version includes elaborations.
The Missionaries and Cannibals in Situation Calculus (postscript) (9/97). This version includes natural language elaborations, and a first attempt at classification of these elaborations.
Trying the MCP NMR retail A formalization of the missionaries and cannibals with proofs of correctness:
Version 3 (11/96). This version is quite simple, including very few nonmonotonic stages.
Version 4 (12/96) Includes more nonmonotonic steps than Version 3.
Elaborating Action (also known as "Reified Elaborations") (postscript). - under work.
Nonmonotonic Reasoning as SAT Search (postscript). - under work.

My home page  
eyal@cs.uiuc.edu