Eyal Amir, Assistant Professor Computer Science Department University of Illinois, Urbana-Champaign Siebel Center, Rm 3314 201 N. Goodwin road Urbana, IL 61801 Office phone: (217) 333-8756 Office fax: (217) 265-6591 Secretary: Kim Osmond, Siebel 3316 eyal@cs.uiuc.edu My administrative web page

Research

I work on artificial intelligence with emphasis on building applied systems that make use of knowledge when devising their actions. In this pursuit I use principled, mathematical tools from logic, probability theory, and decision theory together with insights from cognitive science. Technically, my effort focuses on automatic reasoning, representing and using commonsense knowledge and rerelational uncertain knowledge, autonomous agent control and architectures, planning and rational decision making, and learning explicit knowledge in dynamic settings. I am also interested in graph algorithms, building large commonsense knowledge bases, and reactive systems. I am interested in applications of those in robotics, machine learning, vision, virtual worlds, and computer games, and building human-level AI programs.

Publications and Manuscripts

List of papers I wrote Curriculum vitae in html, postscript, and PDF (updated Sep. 1, 2003) Short biography

Major Projects

Logic-Based Subsumption Architecture project web page (updated Nov. 14, 2001)

Partitioning and Reasoning project web page (updated Jan. 1, 2003)

Logical Filtering and State Estimation project web page (updated Apr. 8, 2004)

Teaching

For Students

Recommended readings

Suggested projects

Conference deadlines

My current Classes (Spring 2004)

Reasoning in Artificial Intelligence (CS497ea)

My future Classes (Autumn 2004)

Knowledge Representation and Reasoning (CS498ea)

Advanced Reasoning in Artificial Intelligence (CS591ea)

Other Classes, Seminars, and Groups (Spring 2004)

Artificial intelligence and machine learning (AIML) Seminar

Classes of interest to the ANN/Computational Brain Theory group

Previous Seminars and Reading Groups

UC Berkeley CIS (AI) seminar (2001-3)

UC Berkeley reading group on AI-agent architectures (2002)

Noteworthy Resources

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

Rapid Knowledge Formation (RKF): In the Formal Reasoning Group , the SRI's team page and the RKF PI meeting.

Related Research Groups and Communities

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

About Me

Family and friends!