Eyal Amir -- Notable Resources

AI Division and AI Reading Group

AI Qual and Reading Group

Summaries for the AI Qual

AI Reading Group Home Page

The former Quail97 study group.

Broad Area Colloquium (CS523 AI-Graphics-Geometry-Vision-Robotics colloquium). I coordinated and co-coordinated the AI-Vision-Robotics colloquium from Spring 1998 to Spring 1999.

Logic at Stanford.

Conferences and Such

IJCAI-01, the coming 17th International Joint Conference on Artificial Intelligence.

The NRAC-2001 (Nonmonotonic reasoning about actions) workshop.

KR'2002, 8th intl' conference on principles of knowledge representation and reasoning.

Uncertainty in Artificial Intelligence (UAI) 2001

AIPS'2002, Sixth International Conference on AI Planning & Scheduling.

NMR-2002, 9th Intl' workshop on Nonmonotonic Reasoning.

IJCAR-2001, International Joint Conference on Automated Reasoning (joining CADE+FTP+TABLEAUX).

LICS-2001, IEEE Symposium on Logic in Computer Science.

Symposium on Abstraction, Reformulation and Approximation (SARA2000)

CommonSense'01, the 5th symposium on the logical formalizations of commonsense reasoning.

Second International Cognitive Robotics Workshop (CogRob'2000)

Third International Conference on Modeling and Using Context (Context'01)

Reasoning about action conferences

Various Computer Science conferences

33rd ACM Symposium on Theory of Computing (STOC'01)

General AI resources and journals

Bibliographies on Artificial Intelligence (higher branches include all of computer science)

Citeseer on computer science - research Index and citation cross references.

The Computing Research Repository (CoRR) with mirror sites in the ACM (Assoc. for Computing Machinery) and NCSTRL (Networked Computer Science Technical Reference Library)

AAAI The American Association for Artificial Intelligence.