UIUC CS 591, Section EA
Advanced Reasoning in AI
University of Illinois, Urbana-Champaign
Autumn 2004

Index: Announcements Course Information Machinery Communication Textbook


Seminar Information

Lecture: 1 hour credit, Tu 5PM-6PM, 3102 Siebel Center

Professor: Eyal Amir

Office: Siebel 3314
Phone: (217) 333-8756
email: eyal@cs.uiuc.edu
Office hours: Tue 2pm-3pm, Thu 1pm-2pm

Useful Information and Handouts

  • Syllabus & Important Dates
  • Handouts
  • Frequently Asked Questions

  • Seminar Description

    The seminar covers research papers that discuss reasoning algorithms in artificial intelligence. The focus this semester is on logical automated reasoning. We will discuss logical languages, dynamic systems, and decision making with these languages and systems. We will cover both exact and approximate techniques for reasoning, and will emphasize applications of these techniques in vision, robotics, virtual worlds, and others.


    Machinery: Tasks and Coursework

    The course will consist of lectures by the students. A sample of papers for presentation is indicated in the syllabus. In the first seminar we will discuss and select papers for presentation.

    Students will be required to present a paper to receive credit for the class.

    Comments to Eyal Amir