Skip to main content

CS 581 dersi açılacaktır

 

Aşağıda bilgileri bulunan CS 581 dersi 2006-2007 güz döneminde verilecektir. Ders ekleme bırakma tarihleri arasında (4-6 Ekim) kayıt olabilirsiniz.


CS 581 "Spc.Top. in Comp.Science II : Knowledge representation and Reasoning "

Time and place: Monday 13:40-14:30 (FENS L048), Wednesday 15:40-17:30 (FENS L063)
Instructor: Esra Erdem (esraerdem @ sabanciuniv.edu)

This course is about representing knowledge symbolically and reasoning about it automatically.
In particular, the mathematical foundations of various knowledge representation and reasoning formalisms (e.g., propositional and first-order logic, answer set programming, action languages, the situation calculus), and their applications to computer sciences and other sciences (e.g., graph theory, planning, VLSI design, historical linguistics, computational biology). We will study some of these topics by solving homework problems (both theoretical and application-oriented) and by discussing these solutions in class. We will also read and discuss related research papers.

For more information about the course, see the course web page

                      http://people.sabanciuniv.edu/~esraerdem/teaching/krr06.html

 

Home

FENS Dean's Office

Orta Mahalle, 34956 Tuzla, İstanbul, Türkiye

+90 216 483 96 00

© Sabancı University 2023