Science of Computational Logic
Aus International Center for Computational Logic
Science of Computational Logic
Lehrveranstaltung mit SWS 0/0/0 (Vorlesung/Übung/Praktikum) in WS 2015
Dozent
- Steffen Hölldobler
Tutor
Umfang (SWS)
- 0/0/0
Module
Leistungskontrolle
- Mündliche Prüfung
This is the follow-up course to Logic.
We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Lecture - Introduction into Science of Computational Logic | DS6, 30. November 2015 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Lecture, till slide 5 | DS2, 2. Dezember 2015 in APB E005 | Datei |
| Vorlesung | Lecture | DS6, 7. Dezember 2015 in APB E005 | |
| Vorlesung | Test Exam | DS2, 9. Dezember 2015 in APB E005 | |
| Vorlesung | Lecture | DS6, 14. Dezember 2015 in APB E005 | |
| Übung | Test Exam II Inspection | DS5, 15. Dezember 2015 in APB-1004 | |
| Vorlesung | Lecture - till 'Critical Pairs' | DS2, 16. Dezember 2015 in APB E005 | |
| Vorlesung | Lecture | DS6, 21. Dezember 2015 in APB E005 | |
| Vorlesung | Lecture | DS6, 4. Januar 2016 in APB E005 | Datei |
| Vorlesung | Lecture | DS2, 6. Januar 2016 in APB E005 | |
| Übung | Tutorial - DL | DS4, 7. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - Paramodulation and Term Rewriting Systems | DS5, 8. Januar 2016 in APB E005 | Datei |
| Vorlesung | Lecture - Actions and Causality | DS6, 11. Januar 2016 in APB E005 | Datei |
| Vorlesung | Lecture - Abduction | DS2, 13. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - Critical Pairs, Canonical TRS, E-Unification | DS4, 14. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - E-Unification | DS5, 15. Januar 2016 in APB E005 | |
| Vorlesung | Lecture - Induction | DS6, 18. Januar 2016 in APB E005 | |
| Vorlesung | Lecture - Non-Monotonic Reasoning | DS2, 20. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - Actions and Causality | DS4, 21. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - Data Structures, Abduction, Induction | DS5, 22. Januar 2016 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Lecture - Non-Monotonic Reasoning | DS6, 25. Januar 2016 in APB E005 | |
| Vorlesung | Lecture - Non-Monotonic Reasoning | DS2, 27. Januar 2016 in APB E005 | |
| Übung | Tutorial - Induction and Closed World Assumption | DS4, 28. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial - Completion and Circumscription | DS5, 29. Januar 2016 in APB E005 | Datei |
| Vorlesung | Lecture - Human Reasoning | DS6, 1. Februar 2016 in APB E005 | Datei |
| Vorlesung | Lecture - Question and Answering | DS2, 3. Februar 2016 in APB E005 | |
| Übung | Tutorial - Completion and Circumscription | DS4, 4. Februar 2016 in APB E005 | |
| Übung | Tutorial - Default Logic and Answer Set Programming | DS5, 5. Februar 2016 in APB E005 | Datei 1, Datei 2 |
Kalender
