- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to
- Sampling First Order Logical Particles Hannaneh Hajishirzi and Eyal Amir
- Nonmonotonic Reasoning as SAT Search Department of Computer Science
- Appears in Proceedings of 17th Nat'l Conference on Artificial Intelligence (AAAI '00). 1 (De)Composition of Situation Calculus Theories
- Souslin Absoluteness, Uniformization and Regularity properties of projective sets
- Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir
- PointSensitive Circumscription Department of Computer Science,
- Appears in 9th Int'l Workshop on NonMonotonic Reasoning (NMR '2002). Interpolation Theorems for Nonmonotonic Reasoning Systems
- Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Factored Planning
- Appears in AAAI'02 workshop on Cognitive Robotics (CogRob'02). Adventure Games: A Challenge for Cognitive Robotics
- notes by: Eyal Amir April 3, 1997
- Appears in Proceedings of 17th Conference on Uncertainty in Artificial Intelligence (UAI '01). Efficient Approximation for Triangulation of Minimum Treewidth
- Introduction to Statistical Relational Learning Adaptive Computation and Machine Learning
- Learning Partially Observable Deterministic Action Models Computer Science Department
- Input Feedback Networks: Classification and Inference Based on Network Structure
- DIVIDING AND CONQUERING LOGIC A DISSERTATION
- Logical Circuit Filtering Dafna Shahaf and Eyal Amir
- Appears in Proceedings of 17th Int'l Joint Conference on Artificial Intelligence (IJCAI '01). Theorem Proving with Structured Theories
- Solving Satisfiability using Decomposition and the Most Constrained Subproblem Eyal Amir and Sheila McIlraith #
- Appears in AAAI'02 workshop on Cognitive Robotics (CogRob'02). 1 Planning with Nondeterministic Actions and Sensing
- Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Factored Planning
- Reachability Under Uncertainty Allen Chang and Eyal Amir
- First-Order Logical Filtering Afsaneh Shirazi and Eyal Amir
- Strategies for Focusing Structure-Based Theorem Proving
- Small notes on missionaries---try 4 \Lambda John McCarthy Eyal Amir
- Souslin Absoluteness, Uniformization and Regularity properties of projective sets
- Lifted FirstOrder Probabilistic Inference Rodrigo de Salvo Braz and Eyal Amir and Dan Roth
- Appears in Proceedings of 8th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR '2002). Projection in Decomposed Situation Calculus
- Knowledge Representation notes by: Eyal Amir
- Goal Achievement in Partially Known, Partially Observable Domains Allen Chang and Eyal Amir
- notes by: Eyal Amir April 26, 1997
- Constant Factor Approximation of VertexCuts in Planar Graphs
- Linkoping Electronic Articles in Computer and Information Science
- Pointwise Circumscription Revisited Department of Computer Science,
- Machinery for Elaborating Action --Preliminary Report
- Journal of Artificial Intelligence Research 33 (2008) 349-402 Submitted 05/08; published 11/08 Learning Partially Observable Deterministic Action Models
- Computer Vision notes by: Eyal Amir
- Greedy Algorithms for Sequential Sensing Decisions Hannaneh Hajishirzi Afsaneh Shirazi Jaesik Choi Eyal Amir
- Factored Models for Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir
- Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Logical Filtering
- Computational Learning notes by: Eyal Amir
- DIVIDING AND CONQUERING LOGIC A DISSERTATION
- Natural Language notes by: Eyal Amir
- Logicbased Subsumption Architecture Eyal Amir and Pedrito MaynardReid II
- Appears in 8th European Conference on Logic in Artificial Intelligence (JELIA '2002). Interpolation Theorems for Nonmonotonic Reasoning
- Compact Propositional Encoding of FirstOrder Theories Deepak Ramachandran and Eyal Amir
- Introduction to Statistical Relational Learning Adaptive Computation and Machine Learning
- Bayesian Inverse Reinforcement Learning Deepak Ramachandran
- Logical Filtering Report No. UIUCDCS-R-2005-2500
- notes by: Eyal Amir March 10, 1997
- Appears in 5th Symposium on Logical Formalization of Commonsense Reasoning (Commonsense '2001). LiSA: A Robot Driven by Logical Subsumption
- Expert Systems notes by: Eyal Amir
- LogicBased Subsumption Architecture Eyal Amir a,1 Pedrito MaynardZhang b,2
- Compact Propositional Encoding of First-Order Theories Deepak Ramachandran and Eyal Amir
- Learning Partially Observable Deterministic Action Models Computer Science Department
- Machinery for Elaborating Action 0:2fi1 Department of Computer Science,
- Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir
- REAL TIME ASSESSMENT OF DRINKING WATER SYSTEMS USING A DYNAMIC BAYESIAN NETWORK
- Building Knowledge about Buildings Matthew T. Young and Eyal Amir
- This paper was selected by a process of anonymous peer reviewing for presentation at
- Real-time Bayesian Anomaly Detection for Environmental Sensor Data David J. Hill
- Appears in AAAI'02 workshop on Cognitive Robotics (CogRob'02). Adventure Games: A Challenge for Cognitive Robotics
- Logic-Based Subsumption Architecture Eyal Amir a,1
- Linkoping Electronic Articles in Computer and Information Science
- Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Practical Partition-Based Theorem Proving for Large Knowledge Bases
- Commonsense and Embodied Agents A Panel Discussion
- Opponent Modeling in Scrabble Mark Richards and Eyal Amir
- First-Order Logical Filtering Afsaneh Shirazi , Eyal Amir
- A Survey of First-Order Probabilistic Models Rodrigo de Salvo Braz , Eyal Amir, and Dan Roth
- Strategies for Focusing Structure-Based Theorem Proving
- Partition-Based Logical Reasoning for First-Order and Propositional Theories
- Reasoning about Deterministic Action Sequences with Probabilistic Priors Hannaneh Hajishirzi and Eyal Amir
- Combining Planning and Motion Planning Jaesik Choi and Eyal Amir
- Factored Models for Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir
- Factor-Guided Motion Planning for a Robot Arm Jaesik Choi and Eyal Amir
- Stochastic Filtering in a Probabilistic Action Model Hannaneh Hajishirzi and Eyal Amir
- Lifted First-Order Probabilistic Inference Rodrigo de Salvo Braz and Eyal Amir and Dan Roth
- Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Logical Filtering
- Commonsense Knowledge Retrieval Preliminary Report
- Solving Satisfiability using Decomposition and the Most Constrained Subproblem Eyal Amir and Sheila McIlraith
- CAREER: Scaling Up First-Order Logical Reasoning with Graphical Structure Eyal Amir, University of Illinois at Urbana-Champaign, eyal@cs.uiuc.edu
- Appears in Proceedings of 16th Int'l Joint Conference on Artificial Intelligence (IJCAI '99). Logic-Based Subsumption Architecture
- Report on DARPA Workshop on Self-Aware Computer Systems
- Improving the Efficiency of Reasoning Through StructureBased Reformulation #
- Learning Partially Observable Action Schemas Dafna Shahaf and Eyal Amir
- Knowledge Representation notes by: Eyal Amir
- Expert Systems notes by: Eyal Amir
- Computational Learning notes by: Eyal Amir
- Search notes by: Eyal Amir
- Interpolation Theorems for Nonmonotonic Reasoning Systems
- Appears in Proceedings of 7th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR '2000). PartitionBased Logical Reasoning
- Formalizing Action using Set Theory and modified Pointwise Circumscription
- Appears in Proceedings of 16th Int'l Joint Conference on Artificial Intelligence (IJCAI '99). LogicBased Subsumption Architecture
- m4 trying the MCP NMR retail ver.3 John McCarthy Eyal Amir
- Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms
- Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir
- Natural Language notes by: Eyal Amir
- Planning notes by: Eyal Amir
- Reactive Systems notes by: Eyal Amir
- Stochastic Filtering in a Probabilistic Action Model Hannaneh Hajishirzi and Eyal Amir
- Appears in Proceedings of 21st National Conference on Artificial Intelligence (AAAI '06). 1 Reasoning about Partially Observed Actions
- Neuroscience and AI Share the Same Elegant Mathematical Trap Tsvi Achler, Eyal Amir
- Factored Planning for Controlling a Robotic Arm: Theory Jaesik Choi and Eyal Amir
- Shedding Weights: More With Less Tsvi Achler, Cyrus Omar, and Eyal Amir
- Reasoning and Decision Making a survey of research trends, issues, and debates
- Object-Oriented First-Order Logic Department of Computer Science,
- LogicBased Subsumption Architecture: Empirical Evaluation (Status Report)
- Logical Formalisms in AI (depth) notes by: Eyal Amir
- Robotics notes by: Eyal Amir
- Computer Vision notes by: Eyal Amir
- Reactive Systems notes by: Eyal Amir
