Back to selection
77779-01 - Seminar: Knowledge, Reasoning and Planning (6 CP)
| Semester | spring semester 2026 |
| Course frequency | Irregular |
| Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Travis Rivera Petit (travis.riverapetit@unibas.ch) Tanja Schindler (tanja.schindler@unibas.ch) |
| Content | Approaches that use formal logic are a central part of artificial intelligence, including research areas such as knowledge representation and reasoning, propositional satisfiability and its extensions, and automated planning. In this seminar, we study classical and current research papers from these areas. Each participant gives a presentation and writes a report that discusses one such work or related set of works. The participants also provide peer-review feedback on each other's reports and delve deeper into their topic in a programming project. |
| Learning objectives | * Reading and understanding scientific literature. * Independent solution of programming projects. * Preparing and presenting scientific talks. * Conducting scientific discussions with peers. * Writing and discussing scientific reports. |
| Bibliography | Will be provided during the seminar. |
| Admission requirements | The number of participants is limited to 20. In case the capacity is exceeded, students that have already successfully completed the course "Planning and Optimization" are given first priority and students that are enrolled in the MSc Computer Science programme with major in Machine Intelligence are given second priority, provided that they enrol until February 20, 2026. Otherwise priority is decided on a first-come first-served basis. |
| Course application | registration via https://services.unibas.ch |
| Language of instruction | English |
| Use of digital media | No specific media used |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Monday | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
Dates
| Date | Time | Room |
|---|---|---|
| Monday 02.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 09.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 16.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 23.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 30.03.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 06.04.2026 | 12.15-14.00 | Ostern |
| Monday 13.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 20.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 27.04.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 04.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 11.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 18.05.2026 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 25.05.2026 | 12.15-14.00 | Pfingstmontag |
| Modules |
Doctorate Computer Science: Recommendations (PhD subject: Computer Science) Module: Applications of Distributed Systems (Master's Studies: Computer Science) Module: Applications of Machine Intelligence (Master's Studies: Computer Science) Module: Computer Science Project (Master's degree subject: Computer Science) Module: Methods of Machine Intelligence (Master's Studies: Computer Science) |
| Assessment format | continuous assessment |
| Assessment details | Regular attendance of the seminar sessions is required to obtain credit points for the course. Seminar participants must - write a written report on their seminar topic (25%) - give a presentation on their topic (25%) - give written feedback (peer review) on another participant's report (15%) - submit the implementation of their programming project (25%) - give a short presentation on their programming project (10%) All five aspects are individually graded on a scale of 1.0-6.0. The overall seminar grade is the weighted average of these individual grades, using the weighting shown in parentheses. |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| Repeat examination | no repeat examination |
| Scale | 1-6 0,5 |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |