Eyal Amir Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage: Adaptive game for reducing aggressive behavior. IUI Companion 2013: 21-24
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage: Peer Nominations and Its Relation to Interactions in a Computer Game. SBP 2013: 38-47
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. CoRR abs/1301.2253 (2013)
2012
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage: Identifying Bullies with a Computer Game. AAAI 2012
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Richards, Eyal Amir: Information Set Generation in Partially Observable Games. AAAI 2012
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir: Lifted Relational Variational Inference. UAI 2012: 196-206
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir: Reasoning about RoboCup Soccer Narratives. CoRR abs/1202.3728 (2012)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir, David J. Hill: Lifted Inference for Relational Continuous Models. CoRR abs/1203.3473 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. CoRR abs/1206.3264 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allen Chang, Eyal Amir: Reachability Under Uncertainty. CoRR abs/1206.5253 (2012)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir: Lifted Relational Variational Inference. CoRR abs/1210.4867 (2012)
2011
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Afsaneh Shirazi, Eyal Amir: First-order logical filtering. Artif. Intell. 175(1): 193-219 (2011)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir: Lifted Relational Kalman Filtering. IJCAI 2011: 2092-2099
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Fernando Mancilla-Caceres, Eyal Amir: Evaluating Commonsense Knowledge with a Computer Game. INTERACT (1) 2011: 348-355
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir: Reasoning about RoboCup Soccer Narratives. UAI 2011: 291-300
2010
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Approximation Algorithms for Treewidth. Algorithmica 56(4): 448-479 (2010)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, David J. Hill, Eyal Amir: Lifted Inference for Relational Continuous Models. Statistical Relational Artificial Intelligence 2010
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Eyal Amir: Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. KR 2010
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir, David J. Hill: Lifted Inference for Relational Continuous Models. UAI 2010: 126-134
2009
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir: Combining planning and motion planning. ICRA 2009: 238-244
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir: Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tsvi Achler, Dervis C. Vural, Eyal Amir: Counting objects with biologically inspired regulatory-feedback networks. IJCNN 2009: 36-40
2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Allen Chang: Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. (JAIR) 33: 349-402 (2008)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Afsaneh Shirazi, Eyal Amir: Factored Models for Probabilistic Modal Logic. AAAI 2008: 541-547
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tsvi Achler, Eyal Amir: Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tsvi Achler, Cyrus Omar, Eyal Amir: Shedding weights: More with less. IJCNN 2008: 3020-3027
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Eyal Amir: Sampling First Order Logical Particles. UAI 2008: 248-255
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317
2007
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Afsaneh Shirazi, Eyal Amir: Probabilistic Modal Logic. AAAI 2007: 489-495
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hannaneh Hajishirzi, Eyal Amir: Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dafna Shahaf, Eyal Amir: Towards a Theory of AI Completeness. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 150-155
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Richards, Eyal Amir: Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deepak Ramachandran, Eyal Amir: Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dafna Shahaf, Eyal Amir: Logical Circuit Filtering. IJCAI 2007: 2611-2618
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaesik Choi, Eyal Amir: Factor-guided motion planning for a robot arm. IROS 2007: 27-32
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor Gammer, Eyal Amir: Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allen Chang, Eyal Amir: Reachability Under Uncertainty. UAI 2007: 41-48
2006
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Megan Nance, Adam Vogel, Eyal Amir: Reasoning about Partially Observed Actions. AAAI 2006: 888-893
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dafna Shahaf, Eyal Amir: Learning Partially Observable Action Schemas. AAAI 2006: 913-919
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dafna Shahaf, Allen Chang, Eyal Amir: Learning Partially Observable Action Models: Efficient Algorithms. AAAI 2006: 920-926
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. AAAI 2006: 1123-1130
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Allen Chang, Eyal Amir: Goal Achievement in Partially Known, Partially Observable Domains. ICAPS 2006: 203-211
2005
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. AAAI 2005: 340-345
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Afsaneh Shirazi, Eyal Amir: First-Order Logical Filtering. IJCAI 2005: 589-595
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rodrigo de Salvo Braz, Eyal Amir, Dan Roth: Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Learning Partially Observable Deterministic Action Models. IJCAI 2005: 1433-1439
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deepak Ramachandran, Eyal Amir: Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Pedrito Maynard-Zhang: Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004)
2003
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Stuart J. Russell: Logical Filtering. IJCAI 2003: 75-82
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Barbara Engelhardt: Factored Planning. IJCAI 2003: 929-935
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Robert Krauthgamer, Satish Rao: Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99
2002
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems. JELIA 2002: 233-244
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Projection in Decomposed Situation Calculus. KR 2002: 315-326
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Interpolation theorems for nonmonotonic reasoning systems. NMR 2002: 41-50
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Interpolation Theorems for Nonmonotonic Reasoning Systems. CoRR cs.AI/0207064 (2002)
2001
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sheila A. McIlraith, Eyal Amir: Theorem Proving with Structured Theories. IJCAI 2001: 624-634
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Efficient Approximation for Triangulation of Minimum Treewidth. UAI 2001: 7-15
2000
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: (De)Composition of Situation Calculus Theories. AAAI/IAAI 2000: 456-463
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Sheila A. McIlraith: Partition-Based Logical Reasoning. KR 2000: 389-400
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Sheila A. McIlraith: Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259
1999
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell. 3(C): 63-84 (1999)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Elaboration Tolerance of Logical Theories. AAAI/IAAI 1999: 940
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir, Pedrito Maynard-Reid II: Logic-Based Subsumption Architecture. IJCAI 1999: 147-152
1998
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eyal Amir: Pointwise Circumscription Revisited. KR 1998: 202-211

Coauthor Index

1Tsvi Achler
[c40] [c38] [c37]
2Rodrigo de Salvo Braz
[p1] [c23] [c18]
3Allen Chang
[i3] [j6] [c27] [c24] [c22]
4Jaesik Choi
[c50] [i5] [i2] [c48] [c45] [c43] [c42] [c41] [c29]
5Barbara Engelhardt
[c13]
6Dorothy Espelage
[c55] [c54] [c53] [c51]
7Igor Gammer
[c28]
8Abner Guzmán-Rivera
[c48]
9Hannaneh Hajishirzi
[i6] [i4] [c49] [c46] [c44] [c41] [c36] [c34]
10David J. Hill (David John Hill)
[i5] [c45] [c43]
11Julia Hockenmaier
[i6] [c46]
12Robert Krauthgamer
[c12]
13Bill MacCartney
[c14]
14Juan Fernando Mancilla-Caceres
[c55] [c54] [c53] [c51] [c47]
15Pedrito Maynard-Reid II
[c2]
16Pedrito Maynard-Zhang
[j4]
17Sheila A. McIlraith
[j5] [c14] [c8] [c5] [c4]
18Sheila Mcllraith
[j3] [j2]
19Erik T. Mueller
[i6] [c46]
20Megan Nance
[c26]
21Phil Oertel
[c20]
22Cyrus Omar
[c37]
23Wen Pu
[c53] [c51]
24Deepak Ramachandran
[c31] [c21] [c16]
25Satish Rao
[c12]
26Mark Richards
[c52] [c32]
27Dan Roth
[p1] [c23] [c18]
28Stuart J. Russell
[c15]
29Dafna Shahaf
[c33] [c30] [c25] [c24]
30Afsaneh Shirazi
[j8] [c41] [c39] [c35] [c19]
31Tomás E. Uribe
[c14]
32Adam Vogel
[c26]
33Dervis C. Vural
[c40]

Colors in the list of coauthors

Last update Sun May 26 10:33:47 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page