Eyal Amir (אייל אמיר), Assistant Professor
|
News |
Research Abstract |
Publications
|
Research Group
|
Projects and Grants
|
Q&A 4 Students
|
Current Classes
|
Previous Classes |
Related |
My work with Mark Richards on Opponent Modeling in Scrabble received attention and articles in the media:
Old News List
of papers I wrote Curriculum
vitae in PDF and postscript. (updated
May 30, 2005) Short biography |
![]() |
Tsvi Achler, Postdoc, Ph.D., MD Jaesik Choi , Ph.D. student Abner Guzman-Rivera , Ph.D. student Hannaneh Hajishirzi , Ph.D. student Deepak Ramachandran, Ph.D. student Mark Richards, Ph.D. student Afsaneh Shirazi, Ph.D. student Wesley Dawsey Po-Ming Lee (NCTU - National Chao-Tung University, Taiwan) |
|
Alok Baikadi (BS 2006; Now a Ph.D. student at North Carolina State) Rodrigo Braz (Ph.D. 2007; Now at University of California, Berkeley) Allen Chang (MS 2006; Now at Palantir) Igor Gammer (MS 2007) David Hill (Ph.D. 2007; Now at NCSA) Brian Hlubocky (MS 2005; now at Wolverine Trading) Ken Keefe
Ben Liebald (Now at Google) Megan Nance (BS 2005; now at
Google) Phil Oertel (MS 2005; now at Amazon)
Michael Simon (MSC 2005) Dafna Shahaf (MS 2007; Now a Ph.D. student at Carnegie Mellon University) Adam Vogel (BS 2007; Now a Ph.D. student at Stanford University) Matt Young (MS 2005) |
Scaling
Up First-Order Logical Reasoning (updated Jan. 23, 2006);
NSF (CAREER) grant is acknowledged
Autonomous Car Project
for the DARPA Urban Challenge
Logical
Filtering and State Estimation project web page (updated Jan.
19, 2005); DARPA/IPTO (REAL) (BAA03-34) grant is acknowledged
Knowledge-Based Learning
(updated Jan. 13, 2006); DARPA/IPTO (BAA02-21) grant is
acknowledged
Logic-Based
Subsumption Architecture project web page (updated Nov. 14,
2001)
Partitioning
and Reasoning project web page (updated Jan. 1, 2003)
Recommended readings
Suggested projects
Conference deadlines
An algorithm for a good research paper
Reasoning in Artificial Intelligence (CS498 Section EA)
Artificial
intelligence and machine learning (AIML) Seminar
Classes
of interest to the ANN/Computational Brain Theory group (Spring 2004)
AI Qual and
Reading
Group at Stanford 1995-1997
Conferences and
such, and also some deadlines
General AI
resources
and journals
Nonmonotonic
Reasoning
and Theories of Action
The NOBOTS
group web page
UC Berkeley's
RUGS, Stuart
Russell's research group (see also Mark Paskin's
page)
UC Berkeley's FOPL
(First-Order Probabilistic Logic) group (here is Hanna's original FOPL
page).
Stanford's FRG (formal
reasoning group), headed by John McCarthy
....