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 Download Download
Lecture Lecture, till slide 5 DS2, December 2, 2015 in APB E005 Download
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 Download
Lecture Lecture DS2, January 6, 2016 in APB E005
Exercise Tutorial - DL DS4, January 7, 2016 in APB E005 Download
Exercise Tutorial - Paramodulation and Term Rewriting Systems DS5, January 8, 2016 in APB E005 Download
Lecture Lecture - Actions and Causality DS6, January 11, 2016 in APB E005 Download
Lecture Lecture - Abduction DS2, January 13, 2016 in APB E005 Download
Exercise Tutorial - Critical Pairs, Canonical TRS, E-Unification DS4, January 14, 2016 in APB E005 Download
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 Download
Exercise Tutorial - Actions and Causality DS4, January 21, 2016 in APB E005 Download
Exercise Tutorial - Data Structures, Abduction, Induction DS5, January 22, 2016 in APB E005 Download Download
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 Download
Exercise Tutorial - Completion and Circumscription DS5, January 29, 2016 in APB E005 Download
Lecture Lecture - Human Reasoning DS6, February 1, 2016 in APB E005 Download
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 Download Download


Calendar