Eyal Amir

	2011
56		Hannaneh Hajishirzi, Eyal Amir: Understanding Robocup-Soccer Narratives. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
55		Jaesik Choi, Abner Guzman-Rivera, Eyal Amir: Lifted Relational Kalman Filtering. IJCAI 2011: 2092-2099
54		Juan F. Mancilla-Caceres, Eyal Amir: Evaluating Commonsense Knowledge with a Computer Game. INTERACT (1) 2011: 348-355
53		Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir: Reasoning about RoboCup Soccer Narratives. UAI 2011: 291-300
52		Afsaneh Shirazi, Eyal Amir: First-order logical filtering. Artif. Intell. 175(1): 193-219 (2011)
	2010
51		Hannaneh Hajishirzi, Eyal Amir: Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. KR 2010
50		Jaesik Choi, Eyal Amir, David Hill: Lifted Inference for Relational Continuous Models. UAI 2010: 126-134
49		Eyal Amir: Approximation Algorithms for Treewidth. Algorithmica 56(4): 448-479 (2010)
	2009
48		Jaesik Choi, Eyal Amir: Combining planning and motion planning. ICRA 2009: 238-244
47		Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir: Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915
46		Tsvi Achler, Dervis C. Vural, Eyal Amir: Counting objects with biologically inspired regulatory-feedback networks. IJCNN 2009: 36-40
	2008
45		Afsaneh Shirazi, Eyal Amir: Factored Models for Probabilistic Modal Logic. AAAI 2008: 541-547
44		Tsvi Achler, Eyal Amir: Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26
43		Tsvi Achler, Cyrus Omar, Eyal Amir: Shedding weights: More with less. IJCNN 2008: 3020-3027
42		Hannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. UAI 2008: 248-255
41		Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317
40		Eyal Amir, Allen Chang: Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. (JAIR) 33: 349-402 (2008)
	2007
39		Afsaneh Shirazi, Eyal Amir: Probabilistic Modal Logic. AAAI 2007: 489-495
38		Hannaneh Hajishirzi, Eyal Amir: Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006
37		Mark Richards, Eyal Amir: Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487
36		Deepak Ramachandran, Eyal Amir: Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591
35		Dafna Shahaf, Eyal Amir: Logical Circuit Filtering. IJCAI 2007: 2611-2618
34		Jaesik Choi, Eyal Amir: Factor-guided motion planning for a robot arm. IROS 2007: 27-32
33		Igor Gammer, Eyal Amir: Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183
32		Allen Chang, Eyal Amir: Reachability Under Uncertainty. UAI 2007: 41-48
	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	[43] [44] [46]
2	Rodrigo de Salvo Braz	[25] [29] [41]
3	Allen Chang	[27] [31] [32] [40]
4	Jaesik Choi	[34] [47] [48] [50] [55]
5	Barbara Engelhardt	[17]
6	Igor Gammer	[33]
7	Abner Guzman-Rivera	[55]
8	Hannaneh Hajishirzi	[38] [42] [47] [51] [53] [56]
9	David Hill	[50]
10	Julia Hockenmaier	[53]
11	Robert Krauthgamer	[16]
12	Bill MacCartney	[18]
13	Juan F. Mancilla-Caceres	[54]
14	Pedrito Maynard-Reid II	[3]
15	Pedrito Maynard-Zhang	[20]
16	Sheila A. McIlraith	[5] [6] [11] [18] [21]
17	Sheila Mcllraith	[8] [9]
18	Erik T. Mueller	[53]
19	Megan Nance	[28]
20	Cyrus Omar	[43]
21	Deepak Ramachandran	[23] [26] [36]
22	Satish Rao	[16]
23	Mark Richards	[37]
24	Dan Roth	[25] [29] [41]
25	Stuart J. Russell	[19]
26	Dafna Shahaf	[30] [31] [35]
27	Afsaneh Shirazi	[22] [39] [45] [47] [52]
28	Tomás E. Uribe	[18]
29	Adam Vogel	[28]
30	Dervis C. Vural	[46]

Colors in the list of coauthors

Last update Tue Feb 14 23:09:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page