Eyal Amir - Papers and Publications

Theses

E. 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 and Allen Chang, Learning Partially Observable Deterministic Action Models, accepted to Journal of Artificial Intelligence Research (JAIR), forthcoming 2008.

Eyal Amir, Approximation Algorithms for Treewidth, accepted to Algorithmica, forthcoming 2008.

Eyal Amir, Automated Reasoning and Decision Making, invited chapter to Cambridge Handbook of Artificial Intelligence, K. Frankish and W. Ramsey eds., forthcoming 2008.

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 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

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).

B. MacCartney, Sheila McIlraith, Eyal Amir, and T. 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, R. Krauthgamer, and S. 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).

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 V. 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.

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.