Proseminar Artificial Intelligence SS 2013

Submitted by stf on 7. January 2013 - 18:38

The SS 2013 proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".


In this proseminar we discuss selected topics from the textbook

Stuart Russel, Peter Norvig: Artificial Intelligence - A Modern Approach, 3rd Edition, Prentice Hall, 2010.


The requirements for successfully completing the ProSeminar are to

  • independently work into a given (scientific) topic
  • prepare a written proseminar thesis of about 15 pages
  • give an oral presentation of 25 minutes on the given topic
  • actively participate in the discussions on the proseminar's topics
Registration is only possible via the central registration and allocation website mid/end January.

Preliminary Discussion

We will have an introductory meeting end of March (exact date to be anounced).
In this meeting the topics will be appointed to the students. General remarks on how to approach the proseminar topic and on how to write the report are given. Participation is mandatory.
You will be able to download the slides used in this meeting (after the above date).

Additional information

Seminar Procedure

Two seminar talks will be held at each meeting. Participation in all meetings is bindingly for achieving the credit. The literature should then be discussed with the instructor. The instructors of the different topics are to be announced.

No later than 3 weeks before the talk the seminarist should hand in a preliminary version of the seminar paper to the respective seminar instructor. A final version of the transparencies has to be handed in 1 week before the talk.
You are of course more than welcome to discuss and coordinate with us way before those final deadlines.

Library Tour

Renate Eschenbach from our library offers guided tours on how to find literature in the library and how to prepare a seminar.
Interested students should enlist for a tour in the preliminary discussion.
The Library Tour is mandatory for Bachelor students!


Topics will be alloted in the first meeting and each topic is supervised by one of the following KBSG staff members:

  • Jens Classen
  • Gerhard Lakemeyer
  • Martin Liebenberg
  • Tim Niemueller
  • Stefan Schiffer

The topic assignment table can be found in the L²P.

LaTeX Templates

The LaTeX templates and some general information on preparing a seminar paper and a seminar talk can be found here. Note that some information on that page is not relevant for proseminars (but only for seminars).

Seminar Dates

The presentations will take place in July 5, 12, and 19 in the morning.
The tentative individual dates of the presentations are as follows:

# Topic Date
2 Constraint Satisfaction Problems 05.07.2013, 10:30 MESZ
3 Inference in First Order Logic 05.07.2013, 11:15 MESZ
1 Beyond Classical Search 12.07.2013, 10:30 MESZ
4 Classical Planning 12.07.2013, 11:15 MESZ
6 Probabilistic Reasoning over Time 19.07.2013, 10:00 MESZ
7 Making Complex Decisions 19.07.2013, 10:45 MESZ
8 Knowledge in Learning 19.07.2013, 11:15 MESZ
All presentations will be given in our seminar room (Room 6202).