Eyal Amir

	2009
46		Jaesik Choi, Eyal Amir: Combining planning and motion planning. ICRA 2009: 238-244
45		Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir: Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915
	2008
44		Afsaneh Shirazi, Eyal Amir: Factored Models for Probabilistic Modal Logic. AAAI 2008: 541-547
43		Tsvi Achler, Eyal Amir: Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26
42		Tsvi Achler, Cyrus Omar, Eyal Amir: Shedding weights: More with less. IJCNN 2008: 3020-3027
41		Hannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. UAI 2008: 248-255
40		Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317
39		Eyal Amir, Allen Chang: Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. (JAIR) 33: 349-402 (2008)
	2007
38		Afsaneh Shirazi, Eyal Amir: Probabilistic Modal Logic. AAAI 2007: 489-495
37		Hannaneh Hajishirzi, Eyal Amir: Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006
36		Mark Richards, Eyal Amir: Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487
35		Deepak Ramachandran, Eyal Amir: Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591
34		Dafna Shahaf, Eyal Amir: Logical Circuit Filtering. IJCAI 2007: 2611-2618
33		Jaesik Choi, Eyal Amir: Factor-guided motion planning for a robot arm. IROS 2007: 27-32
32		Igor Gammer, Eyal Amir: Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183
	2006
31		Dafna Shahaf, Allen Chang, Eyal Amir: Learning Partially Observable Action Models: Efficient Algorithms. AAAI 2006
30		Dafna Shahaf, Eyal Amir: Learning Partially Observable Action Schemas. AAAI 2006
29		Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. AAAI 2006
28		Megan Nance, Adam Vogel, Eyal Amir: Reasoning about Partially Observed Actions. AAAI 2006
27		Allen Chang, Eyal Amir: Goal Achievement in Partially Known, Partially Observable Domains. ICAPS 2006: 203-211
	2005
26		Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. AAAI 2005: 340-345
25		Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325
24		Eyal Amir: Learning Partially Observable Deterministic Action Models. IJCAI 2005: 1433-1439
23		Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580
22		Afsaneh Shirazi, Eyal Amir: First-Order Logical Filtering. IJCAI 2005: 589-595
21		Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)
	2004
20		Eyal Amir, Pedrito Maynard-Zhang: Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004)
	2003
19		Eyal Amir, Stuart J. Russell: Logical Filtering. IJCAI 2003: 75-82
18		Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98
17		Eyal Amir, Barbara Engelhardt: Factored Planning. IJCAI 2003: 929-935
16		Eyal Amir, Robert Krauthgamer, Satish Rao: Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99
	2002
15		Eyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems. JELIA 2002: 233-244
14		Eyal Amir: Projection in Decomposed Situation Calculus. KR 2002: 315-326
13		Eyal Amir: Interpolation theorems for nonmonotonic reasoning systems. NMR 2002: 41-50
12		Eyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems CoRR cs.AI/0207064: (2002)
	2001
11		Sheila A. McIlraith, Eyal Amir: Theorem Proving with Structured Theories. IJCAI 2001: 624-634
10		Eyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. UAI 2001: 7-15
9		Sheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001)
8		Eyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001)
	2000
7		Eyal Amir: (De)Composition of Situation Calculus Theories. AAAI/IAAI 2000: 456-463
6		Eyal Amir, Sheila A. McIlraith: Partition-Based Logical Reasoning. KR 2000: 389-400
5		Eyal Amir, Sheila A. McIlraith: Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259
	1999
4		Eyal Amir: Elaboration Tolerance of Logical Theories. AAAI/IAAI 1999: 940
3		Eyal Amir, Pedrito Maynard-Reid II: Logic-Based Subsumption Architecture. IJCAI 1999: 147-152
2		Eyal Amir: Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell. 3(C): 63-84 (1999)
	1998
1		Eyal Amir: Pointwise Circumscription Revisited. KR 1998: 202-211

Coauthor Index

1	Tsvi Achler	[42] [43]
2	Rodrigo de Salvo Braz	[25] [29] [40]
3	Allen Chang	[27] [31] [39]
4	Jaesik Choi	[33] [45] [46]
5	Barbara Engelhardt	[17]
6	Igor Gammer	[32]
7	Hannaneh Hajishirzi	[37] [41] [45]
8	Robert Krauthgamer	[16]
9	Bill MacCartney	[18]
10	Pedrito Maynard-Reid II	[3]
11	Pedrito Maynard-Zhang	[20]
12	Sheila A. McIlraith	[5] [6] [11] [18] [21]
13	Sheila Mcllraith	[8] [9]
14	Megan Nance	[28]
15	Cyrus Omar	[42]
16	Deepak Ramachandran	[23] [26] [35]
17	Satish Rao	[16]
18	Mark Richards	[36]
19	Dan Roth	[25] [29] [40]
20	Stuart J. Russell	[19]
21	Dafna Shahaf	[30] [31] [34]
22	Afsaneh Shirazi	[22] [38] [44] [45]
23	Tomás E. Uribe	[18]
24	Adam Vogel	[28]

Colors in the list of coauthors