| 2013 | ||
|---|---|---|
| c55 | Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage: Adaptive game for reducing aggressive behavior. IUI Companion 2013: 21-24 | |
| c54 | Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage: Peer Nominations and Its Relation to Interactions in a Computer Game. SBP 2013: 38-47 | |
| i7 | Eyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. CoRR abs/1301.2253 (2013) | |
| 2012 | ||
| c53 | Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage: Identifying Bullies with a Computer Game. AAAI 2012 | |
| c52 | ||
| c51 | Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage: A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom. SBP 2012: 139-146 | |
| c50 | ||
| i6 | Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir: Reasoning about RoboCup Soccer Narratives. CoRR abs/1202.3728 (2012) | |
| i5 | Jaesik Choi, Eyal Amir, David J. Hill: Lifted Inference for Relational Continuous Models. CoRR abs/1203.3473 (2012) | |
| i4 | ||
| i3 | ||
| i2 | ||
| 2011 | ||
| j8 | ||
| c49 | Hannaneh Hajishirzi, Eyal Amir: Understanding Robocup-Soccer Narratives. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 | |
| c48 | Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir: Lifted Relational Kalman Filtering. IJCAI 2011: 2092-2099 | |
| c47 | Juan Fernando Mancilla-Caceres, Eyal Amir: Evaluating Commonsense Knowledge with a Computer Game. INTERACT (1) 2011: 348-355 | |
| c46 | Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir: Reasoning about RoboCup Soccer Narratives. UAI 2011: 291-300 | |
| 2010 | ||
| j7 | ||
| c45 | Jaesik Choi, David J. Hill, Eyal Amir: Lifted Inference for Relational Continuous Models. Statistical Relational Artificial Intelligence 2010 | |
| c44 | Hannaneh Hajishirzi, Eyal Amir: Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. KR 2010 | |
| c43 | Jaesik Choi, Eyal Amir, David J. Hill: Lifted Inference for Relational Continuous Models. UAI 2010: 126-134 | |
| 2009 | ||
| c42 | ||
| c41 | Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir: Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915 | |
| c40 | Tsvi Achler, Dervis C. Vural, Eyal Amir: Counting objects with biologically inspired regulatory-feedback networks. IJCNN 2009: 36-40 | |
| 2008 | ||
| j6 | Eyal Amir, Allen Chang: Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. (JAIR) 33: 349-402 (2008) | |
| c39 | ||
| c38 | Tsvi Achler, Eyal Amir: Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26 | |
| c37 | ||
| c36 | ||
| p1 | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317 | |
| 2007 | ||
| c35 | ||
| c34 | Hannaneh Hajishirzi, Eyal Amir: Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006 | |
| c33 | Dafna Shahaf, Eyal Amir: Towards a Theory of AI Completeness. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 150-155 | |
| c32 | ||
| c31 | ||
| c30 | ||
| c29 | ||
| c28 | Igor Gammer, Eyal Amir: Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183 | |
| c27 | ||
| 2006 | ||
| c26 | ||
| c25 | ||
| c24 | Dafna Shahaf, Allen Chang, Eyal Amir: Learning Partially Observable Action Models: Efficient Algorithms. AAAI 2006: 920-926 | |
| c23 | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. AAAI 2006: 1123-1130 | |
| c22 | Allen Chang, Eyal Amir: Goal Achievement in Partially Known, Partially Observable Domains. ICAPS 2006: 203-211 | |
| 2005 | ||
| j5 | Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005) | |
| c21 | Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. AAAI 2005: 340-345 | |
| c20 | Phil Oertel, Eyal Amir: Commonsense Knowledge Retrieval. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors 2005: 64-69 | |
| c19 | ||
| c18 | Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325 | |
| c17 | ||
| c16 | Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580 | |
| 2004 | ||
| j4 | Eyal Amir, Pedrito Maynard-Zhang: Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004) | |
| 2003 | ||
| c15 | ||
| c14 | Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98 | |
| c13 | ||
| c12 | Eyal Amir, Robert Krauthgamer, Satish Rao: Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99 | |
| 2002 | ||
| c11 | ||
| c10 | ||
| c9 | ||
| i1 | ||
| 2001 | ||
| j3 | Sheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001) | |
| j2 | Eyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001) | |
| c8 | ||
| c7 | ||
| 2000 | ||
| c6 | ||
| c5 | ||
| c4 | Eyal Amir, Sheila A. McIlraith: Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259 | |
| 1999 | ||
| j1 | ||
| c3 | ||
| c2 | ||
| 1998 | ||
| c1 | ||
Colors in the list of coauthors
Last update Sun May 26 10:33:47 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page