Eyal Amir, Ph.D. Student

Computer Science Department
Gates Building, 2A Wing, Rm#218
Stanford University
Stanford, CA 94305-9020
(650)725-1433
eyal@cs.stanford.edu

I moved to the University of Illinois. Here is my new web page. You will be redirected to this page automatically in 5 seconds.

General information

I am a member in the formal reasoning group

My advisor is John McCarthy

I am on the program comittee of NMR-2002, the 9th workshop on Non-Monotonic Reasoning.

ABOUT ME

Family and friends!

Pre-Ph.D Studenthood

I studied for my BSc and MSc in Math & CS at Bar-Ilan University in Israel in the years 1987-1992(BSc) and 1992-1994(MSc).

My Master Dissertation (postscript 431K) deals mostly with Logic and Set Theory of the Reals (one of the most fascinating issues in mathematics (my humble opinion of course)). The more advanced, succeeding article (postscript 167K) includes the main result of the dissertation, and uses it to establish some new results in the area. It is published in the AMS publication Contributors, BEST conference proceedings, edited by T. Bartoszynski and M. Scheepers.

Classes and curriculum

Old classes, only some of which I've formally taken.

Currently running classes

Current Research

My general interest is in Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. I am mostly interested in building applied systems that make use of explicit knowledge in devising their actions, absorb knowledge from their environment (either by learning, diagnosing or receiving knowledge by interaction) and are autonomous. I have worked recently on Commonsense-Knowledge Representations and Reasoning (incl. Theories of Action), Automated Logical Reasoning and AI Architectures. I am also interested in the applications of Logical Reasoning to Planning and Learning, Elaboration Tolerance of logical theories, Belief Revision, Abstraction, Reformulation, the integration of multiple representational and reasoning paradigms, and Human-Level AI.

Before writing my dissertation on decomposition and logical AI my thesis research was on Elaboration Tolerance, which tries to find better ways to write knowledge so that it is easily expandable. I'm still working on that, although fairly slowly.

List of papers I wrote
Curriculum vitae in html and more formally in postscript (updated February 1, 2001)
Short Bio
Logic-Based Subsumption Architecture project web page (revised November 14, 2001).
Partitioning and Reasoning project web page (revised November 9, 2001).