Eyal Amir
机构: Professor of Computer Science, University of Illinois at Urbana-Champaign
主页: illinois.edu
每年引用次数
引用次数
引用: 4,176
H-指数: 28
I10-指数 : 60
出版物: 130
Factored planning
Eyal Amir , Barbara Engelhardt
IJCAI 3 929 -935
130
2003
Towards a theory of ai completeness.
Dafna Shahaf , Eyal Amir
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 150 -155
75
2007
Theorem proving with structured theories
Sheila McIlraith , Eyal Amir
IJCAI 1 624 -634
64
2001
Opponent Modeling in Scrabble.
Mark Richards , Eyal Amir
IJCAI 1482 -1487
59
2007
Learning partially observable action schemas
Dafna Shahaf , Eyal Amir
AAAI 913 -919
57
2006
Probabilistic modal logic
Afsaneh Shirazi , Eyal Amir
AAAI 7 489 -495
41
2007
Reasoning about robocup soccer narratives
Hannaneh Hajishirzi , Julia Hockenmaier , Erik T Mueller , Eyal Amir
arXiv preprint arXiv:1202.3728
30
2012
Lifted relational variational inference
Jaesik Choi , Eyal Amir
arXiv preprint arXiv:1210.4867
29
2012
First-order logical filtering
Afsaneh Shirazi , Eyal Amir
IJCAI 5 589 -595
27
2005
Adventure games: A challenge for cognitive robotics
Eyal Amir , Patrick Doyle
Proc. Int. Cognitive Robotics Workshop 148 -155
20
2002
Sampling first order logical particles
Hannaneh Hajishirzi , Eyal Amir
arXiv preprint arXiv:1206.3264
19
2012
Compact propositional encodings of first-order theories
Deepak Ramachandran , Eyal Amir
AAAI 340 -345
17
2005
Knowledge-gathering agents in adventure games
Brian Hlubocky , Eyal Amir
AAAI-04 workshop on Challenges in Game AI 63 -66
15
2004
Goal Achievement in Partially Known, Partially Observable Domains.
Allen Chang , Eyal Amir
ICAPS 203 -211
14
2006
Logical Circuit Filtering.
Dafna Shahaf , Eyal Amir
IJCAI 2611 -2618
13
2007
Dividing and conquering logic
Eyal Amir
Stanford University
13
2002
LiSA: A robot driven by logical subsumption
Eyal Amir , Pedrito Maynard-Reid II
Proceedings of the Fifth Symposium on the Logical Formalization of Commonsense Reasoning
13
2001
Reachability under uncertainty
Allen Chang , Eyal Amir
arXiv preprint arXiv:1206.5253
11
2012
Factored Models for Probabilistic Modal Logic.
Afsaneh Shirazi , Eyal Amir
AAAI 541 -547
11
2008
Toward a formalization of elaboration tolerance: Adding and deleting axioms
Eyal Amir
Frontiers in Belief Revision 147 -162
11
2001
Jaesik Choi Rodrigo de Salvo Braz Dan Roth Sheila McIlraith Deepak Ramachandran Barbara Minsker Dorothy L. Espelage Hannaneh Hajishirzi Dafna Shahaf Al Valocchi Tianfang Xu Stuart Russell Barbara Engelhardt Codruta Girlea Abner Guzmán Rivera Erik T. Mueller Bill MacCartney Robert Krauthgamer Satish B Rao Julia Hockenmaier