[TU Dresden]


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

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

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
Rafael and Anni Foundations of Probability and Bayesian networks - -
Anni and Rafael Q & A session. Canceled! - -
Clemens Dubslaff Probabilistic Logic Waheed Anni
Waheed A. Ghumman An analysis of first order logics of probability Clemens Anni
Mahfuza Farooque Probabilistic Logics programming and Bayesian Networks Umar Rafael
Tri K. Wijaya Bayesian Logics Programs Nguyen Rafael
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

The seminar is coordinated by Anni-Y. Turhan.

Last modified: Fri Jan 15 13:17:28 CET 2010