Research Master of Computer Science

Specialization tracks: "Multi-Agent Systems" and "Knowledge and Reasoning"

Course Computational Logic (2007-2008)

Instructor: Antonis Kakas, University of Cyprus

Introductory Reading

• Abduction in Machine Learning

• Abductive Logic Programming

Reading Material

The Role of Abduction in Logic Programming by A. C. Kakas, R. A. Kowalski and F. Toni

Inference of Gene Interactions from Microarray Data by Abduction by I. Papatheodorou, A. Kakas, and Marek Sergot

ProLogICA: a practical system for Abductive Logic Programming by O. Ray and A. Kakas

• Course Slides:
  • Lecture 1
  • Lecture 2
  • Lecture 3
  • Lecture 4
  • Lecture 5