Logic Programming
Instructors: Univ.-Prof. Dr. Sebastian ErdwegShortname: 08.079.23425
Course No.: 08.079.23425
Course Type: Vorlesung/Übung
Contents
Logic programs consist of logical implications that are executed to derive complex conclusions from initial knowledge. Logic programming has applications in many different areas such as network modeling, symbolic artificial intelligence, and source-code analysis. This course introduces foundational and advanced topics of logic programming, including: logical foundations, unification, denotational and operational semantics, evaluation strategies, negation as failure, Datalog, Prolog, and incremental resolution.Dates
| Date (Day of the week) | Time | Location |
|---|---|---|
| 10/23/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 10/30/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 11/06/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 11/13/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 11/20/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 11/27/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 12/04/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 12/11/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 12/18/2023 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 01/08/2024 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 01/15/2024 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 01/22/2024 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 01/29/2024 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
| 02/05/2024 (Monday) | 14:15 - 15:45 | 04 432 2413 - Neubau Physik/Mathematik |
