Seminar

Technische Universität Dresden Institut für Theoretische Informatik Lehrstuhl für Automatentheorie

Hauptseminar theoretische Informatik: "Probability in Logics"

Position in Curriculum

Informatik (both diploma and bachelors degree), starting from 5. semester, Wahlpflichtveranstaltung (-/-/2)
Computational Logic: Modules TCSL and IT, 3 credit points

Prerequisites

Basic knowledge in logic.
For computer scientist students: Pflichtvorlesung Grundlagen der Theoretischen Informatik.

Language

The language of the seminar is English — unless attended by native German speakers, only.

Preliminary schedule

The initial meeting had been Thursday October 15th at 14:50 o'clock (5. DS) in room INF 3027.

When	Speaker	Topic	Partner paper of:	Tutor
22.10.2009	Rafael and Anni	Foundations of Probability and Bayesian networks	-	-
29.10.2009	Anni and Rafael	Q & A session. Canceled!	-	-
21.01.2010, 14:50	Clemens Dubslaff	Probabilistic Logic	Waheed	Anni
	Waheed A. Ghumman	An analysis of first order logics of probability	Clemens	Anni
28.01.2010, 11:20	Mahfuza Farooque	Probabilistic Logics programming and Bayesian Networks	Umar	Rafael
	Tri K. Wijaya	Bayesian Logics Programs	Nguyen	Rafael
04.02.2010, 14:50	Umar Liqat	First order probabilistic Inference	Tri	Felix
	Than Binh Nguyen	Expressive Probabilistic Description Logics	Mahfuza	Barbara

Topic of the Hauptseminar

Logical formalisms allow structured representation of application domains. In classical logic facts are crisp, e.g., it holds or not. In some applications it is necessary to handle probabilities of certain facts or uncertainty of events. In this seminar we study approaches that allow to express probability in logic formalisms and the reasoning methods devised for them.

Goal of the Hauptseminar

Apart from learning about the main topic, students should learn how to get acquainted with a relevant body of literature, how to produce a well-structured paper, and how to give an understandable scientific talk.

Duties of Participants

In the initial meeting, students choose a topic to work on and are assigned a tutor. During the seminar, the student has to understand the relevant literature and writes a paper about the chosen topic (~12 pages). In doing this, he/she receives individual support by the tutor. The produced paper is required to conform to the standards of scientific writing. Finally, each student presents his/her work in a talk to the other participants.

It is also the duty of the participants to reserve enough time for performing the seminar. It is the obligation of the participant to start working in time, and to make appointments with their tutors for regular meetings during the semester. In particular, students must present to their tutors

• a full version of their paper at least 5 weeks before their talk and
• a first version of all the slides for their talk at least 2 weeks before the talk.

Contact

The seminar is coordinated by Anni-Y. Turhan.