SUMods → Courses → CS 504

CS 504 Knowledge Representation and Reasoning

Spring 2026-2027 · 3 SU credits · 10 ECTS · Graduate

Mathematical foundations of various knowledge representation and reasoning formalisms (e.g., classical logic,answer set programming, action languages, situation calculus, description logic, constraint programming), and their applications to computer science and other sciences (e.g., commonsense knowledge representation, belief/theory revision/update, Semantic Web, graph theory, planning, diagnosis, VLSI design, historical linguistics, computational biology, biomedical informatics).

Open in the timetable planner Course catalog

Lecture — CS 504

SectionWhenWhereInstructorCRN
0 Wed 10:40–12:30
Thu 10:40–11:30		 FENS L048 Esra Erdem 23818 syllabus

CS 504 — Sabancı Üniversitesi Spring 2026-2027 ders programı: section'lar, saatler, derslikler, CRN'ler ve syllabus bağlantıları.