Zurück zur Auswahl
77779-01 - Seminar: Knowledge, Reasoning and Planning (6 KP)
| Semester | Frühjahrsemester 2026 |
| Angebotsmuster | unregelmässig |
| Dozierende |
Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn)
Travis Rivera Petit (travis.riverapetit@unibas.ch) Tanja Schindler (tanja.schindler@unibas.ch) |
| Inhalt | 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. |
| Lernziele | * 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. |
| Literatur | Will be provided during the seminar. |
| Teilnahmevoraussetzungen | 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. |
| Anmeldung zur Lehrveranstaltung | registration via https://services.unibas.ch |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| Intervall | Wochentag | Zeit | Raum |
|---|---|---|---|
| wöchentlich | Montag | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
Einzeltermine
| Datum | Zeit | Raum |
|---|---|---|
| Montag 02.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 09.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 16.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 23.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 30.03.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 06.04.2026 | 12.15-14.00 Uhr | Ostern |
| Montag 13.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 20.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 27.04.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 04.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 11.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 18.05.2026 | 12.15-14.00 Uhr | Spiegelgasse 1, Seminarraum 00.003 |
| Montag 25.05.2026 | 12.15-14.00 Uhr | Pfingstmontag |
| Module |
Doktorat Informatik: Empfehlungen (Promotionsfach: Informatik) Modul: Applications of Distributed Systems (Masterstudium: Computer Science) Modul: Applications of Machine Intelligence (Masterstudium: Computer Science) Modul: Computer Science Project (Master Studienfach: Computer Science) Modul: Methods of Machine Intelligence (Masterstudium: Computer Science) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | 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. |
| An-/Abmeldung zur Prüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |