(exercise 6 added)
Line 39: Line 39:
 
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
 
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
 
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 +
# More DLs and Their Applications
 
<!--
 
<!--
 
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
 
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
+
-->
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
+
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
 +
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
 +
<!--
 
# [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]
 
# [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]
 
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]
 
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]

Revision as of 14:25, 18 November 2014

This is the homepage of 2-AIN-108 Computational Logic course in the Master program of Applied Informatics.

  • Lecturers: Martin Baláž, Martin Homola
  • Lab assistants: Júlia Pukancová, Martin Baláž
  • Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)
  • Lab Evaluation: Google Docs

New: Project assignments

Syllabus

  1. First Order Logic
  2. Description Logics and Ontologies
  3. Logic Programming - Prolog
  4. Answer Set Programming

Evaluation

  • Midterm: 10 points (min 0)
  • Exam: 30 points (min 15)
  • Labs: 15 points (min 5)
  • Project/Homework: 15 points (min 5)
  • Total: 70 points

Grading

  • A: 62 and more points
  • B: 54 and more points
  • C: 47 and more points
  • D: 40 and more points
  • E: 34 and more points
  • Fx: less than 34 points

Lecture Slides

  1. First Order Logic, Syntax and Semanics
  2. Reasoning with FOL
  3. Applications of FOL
  4. Description Logics
  5. Reasoning with DL
  6. More DLs and Their Applications
  7. Introduction to Logic Programming
  8. Logic Programming and Prolog

Exercises

  1. First Order Logic, Syntax and Formalization
  2. First Order Logic, Semantics and Reasoning
  3. First Order Logic, Resolution
  4. Decription Logic, Conceptualization
  5. DL, Tableau Algorithm