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 2014

Dozent

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.

NEWS

  • The tutorial on 27.01.2015 is cancelled.
  • The tutorial on 26.01.2015 is cancelled.
  • The examination plan is here: ExaminationPlan-2.pdf
  • The tutorial on 03.02.2015 takes place in room 2026.

Additional literature

  • 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

  • N. Dershowitz. Termination of Rewriting. In Journal of Symbolic Computation (1987) 3, 69-116

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS4, 3. Dezember 2014 in APB E005 Download Download Download
Vorlesung Description Logic DS4, 4. Dezember 2014 in INF E005
Vorlesung Equational Logic DS4, 5. Dezember 2014 in INF E005 Download
Übung Description Logic, Sheet 1 DS5, 8. Dezember 2014 in INF E005 Download
Übung Description Logic, Sheet 1, Equational Logic Sheet DS3, 9. Dezember 2014 in INF E005 Download
Vorlesung Equational Logic DS4, 11. Dezember 2014 in INF E005
Übung Equational Logic Exercise Sheet DS4, 15. Dezember 2014 in INF E005
Übung Equational Logic DS3, 16. Dezember 2014 in INF E005
Vorlesung Actions and Causality DS4, 17. Dezember 2014 in INF E005 Download
Vorlesung Deduction, Abduction, Induction DS4, 18. Dezember 2014 in INF E005 Download
Übung Equational Logic DS5, 5. Januar 2015 in INF E005
Übung Actions and Causality DS3, 6. Januar 2015 in INF E005 Download
Vorlesung Deduction, Abduction, Induction DS4, 7. Januar 2015 in INF E005
Vorlesung Deduction, Abduction, Induction DS4, 8. Januar 2015 in INF E005
Übung Abduction, Datastructure DS5, 12. Januar 2015 in INF E005 Download
Übung Induction DS3, 13. Januar 2015 in INF E005 Download
Vorlesung Non-Monotonic Reasoning DS4, 14. Januar 2015 in INF E005 Download
Vorlesung Non-Monotonic Reasoning DS4, 15. Januar 2015 in INF E005
Übung Induction, Closed World Assumption DS4, 19. Januar 2015 in INF E005 Download
Übung Closed World Assumption DS3, 20. Januar 2015 in INF E005
Vorlesung Non-Monotonic Reasoning DS4, 21. Januar 2015 in INF E005
Vorlesung Non-Monotonic Reasoning DS4, 22. Januar 2015 in INF E005
Übung Completion, Circumscription DS5, 26. Januar 2015 in INF E005 Download
Übung Default Reasoning DS3, 27. Januar 2015 in INF E005 Download
Übung Answer Set Programming DS5, 2. Februar 2015 in INF E005 Download
Übung TBA DS3, 3. Februar 2015 in INF 2026
Übung Default Logic and Answer Set Programming DS4, 4. Februar 2015 in APB E005
Übung Open discussion DS3, 6. Februar 2015 in APB E005


Kalender