Science of Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Science of Computational Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2015

Dozent

  • Steffen Hölldobler

Tutor

Umfang (SWS)

  • 2/2/0

Module

Leistungskontrolle

  • Mündliche Prüfung



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

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