Science of Computational Logic
From International Center for Computational Logic
Science of Computational Logic
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2015
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Oral exam
This is the follow-up course to Logic. The course will run with 4 hours of lectures and 4 hours of tutorials per week.
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.
Completion in Equational Logic is not covered this year in the lectures.
References
- Description Logics:
- F. Baader. What's new in description logics. Informatik Spektrum, 34(5):434-442, 2011.
- F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
- Paramodulation/Rewriting:
- David A. Plaisted. Equational reasoning and term rewriting system. In D. M. Gabbay, C. J. Hogger and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, chapter 5. Oxford University Press, Oxford, 1993.
- Unification Theory:
- F. Baader and W. Snyder. Unification Theory. In J. A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers B.V., 1999.
- Fluent Calculus:
- S. Hölldobler and J. Schneeberger. A new deductive approach to planning.New Generation Computing, 8:225-244, 1990.
- Abduction:
- R. A. Kowalski. Logic programming in arficial intelligence. In Proceedungs of the International Joint Conference on Artificial Intelligence, 1991.
- A.C. Kakas, R.A. Kowalski and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719-770, 1993.
- Induction:
- C. Walther. Mathematical Induction. In D. M. Gabbay, C. J. Hogger and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, pages 127-228. Oxford Science Publications, 1994.
- Default Logic:
- G. Antoniou. A tutorial on default logics. ACM Computing Surveys, 31(4):337-359, 1999.
- Machine Learning:
- Tom M. Mitchell. Machine Learning, McGraw-Hill and MIT Press,1997.
Additional suggestions by Tobias
- N. Dershowitz. Termination of Rewriting. In Journal of Symbolic Computation (1987) 3, 69-116
Subscribe to events of this course (icalendar)
| Lecture | Lecture - Introduction into Science of Computational Logic | DS6, November 30, 2015 in APB E005 | File 1, File 2 |
| Lecture | Lecture, till slide 5 | DS2, December 2, 2015 in APB E005 | File |
| Lecture | Lecture | DS6, December 7, 2015 in APB E005 | |
| Lecture | Test Exam | DS2, December 9, 2015 in APB E005 | |
| Lecture | Lecture | DS6, December 14, 2015 in APB E005 | |
| Exercise | Test Exam II Inspection | DS5, December 15, 2015 in APB-1004 | |
| Lecture | Lecture - till 'Critical Pairs' | DS2, December 16, 2015 in APB E005 | |
| Lecture | Lecture | DS6, December 21, 2015 in APB E005 | |
| Lecture | Lecture | DS6, January 4, 2016 in APB E005 | File |
| Lecture | Lecture | DS2, January 6, 2016 in APB E005 | |
| Exercise | Tutorial - DL | DS4, January 7, 2016 in APB E005 | File |
| Exercise | Tutorial - Paramodulation and Term Rewriting Systems | DS5, January 8, 2016 in APB E005 | File |
| Lecture | Lecture - Actions and Causality | DS6, January 11, 2016 in APB E005 | File |
| Lecture | Lecture - Abduction | DS2, January 13, 2016 in APB E005 | File |
| Exercise | Tutorial - Critical Pairs, Canonical TRS, E-Unification | DS4, January 14, 2016 in APB E005 | File |
| Exercise | Tutorial - E-Unification | DS5, January 15, 2016 in APB E005 | |
| Lecture | Lecture - Induction | DS6, January 18, 2016 in APB E005 | |
| Lecture | Lecture - Non-Monotonic Reasoning | DS2, January 20, 2016 in APB E005 | File |
| Exercise | Tutorial - Actions and Causality | DS4, January 21, 2016 in APB E005 | File |
| Exercise | Tutorial - Data Structures, Abduction, Induction | DS5, January 22, 2016 in APB E005 | File 1, File 2 |
| Lecture | Lecture - Non-Monotonic Reasoning | DS6, January 25, 2016 in APB E005 | |
| Lecture | Lecture - Non-Monotonic Reasoning | DS2, January 27, 2016 in APB E005 | |
| Exercise | Tutorial - Induction and Closed World Assumption | DS4, January 28, 2016 in APB E005 | File |
| Exercise | Tutorial - Completion and Circumscription | DS5, January 29, 2016 in APB E005 | File |
| Lecture | Lecture - Human Reasoning | DS6, February 1, 2016 in APB E005 | File |
| Lecture | Lecture - Question and Answering | DS2, February 3, 2016 in APB E005 | |
| Exercise | Tutorial - Completion and Circumscription | DS4, February 4, 2016 in APB E005 | |
| Exercise | Tutorial - Default Logic and Answer Set Programming | DS5, February 5, 2016 in APB E005 | File 1, File 2 |
Calendar
