(exercises 9) |
|||
Line 45: | Line 45: | ||
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]] | # [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]] | ||
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]] | # [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]] | ||
− | + | # [[media:CompLog2014-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]] | |
− | # [[media: | + | # [[media:CompLog2014-Lecture-10-ASP.pdf|Answer Set Programming]] |
− | # [[media: | + | |
# [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]] | # [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]] | ||
− | |||
=== Exercises === | === Exercises === |
Revision as of 19:30, 30 December 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
- First Order Logic
- Description Logics and Ontologies
- Logic Programming - Prolog
- 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
- First Order Logic, Syntax and Semanics
- Reasoning with FOL
- Applications of FOL
- Description Logics
- Reasoning with DL
- More DLs and Their Applications
- Introduction to Logic Programming
- Logic Programming and Prolog
- Applications of Prolog
- Answer Set Programming
- Extensions and Applications of ASP