Difference between revisions of "Course CompLog"
(file Exercises-10-ARG.pdf added) |
(Structure updated) |
||
| Line 35: | Line 35: | ||
* Fx: less than 23 points | * Fx: less than 23 points | ||
| − | == Lecture Slides | + | == Lecture Slides == |
| − | + | ||
| − | + | ||
# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes) | # [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes) | ||
# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]] | # [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]] | ||
| Line 48: | Line 46: | ||
# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]] | # [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]] | ||
| − | + | == Exercises == | |
# [[File:Exercises-1-FOL.pdf]] | # [[File:Exercises-1-FOL.pdf]] | ||
# [[File:Exercises-2-FOL.pdf]] | # [[File:Exercises-2-FOL.pdf]] | ||
Revision as of 15:51, 5 March 2013
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: Martin Baláž, Jozef Frtús
- Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
- New: Project assignments (student's wiki)
- New: Lab Evaluation: Google Doc
Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
Syllabus
- First Order Logic
- Description logics and ontologies
- Logic programming
- Dynamic logic
- Argumentation
- Multi-context systems (*)
Evaluation
- Midterm: 10 pints
- Exam: 30 points (min 10)
- Labs: 10 points (min 3)
- Project/Homework: 5 points (min 1)
- Total: 55 points
Grading:
- A: 47 and more points
- B: 41 and more points
- C: 35 and more points
- D: 29 and more points
- E: 23 and more points
- Fx: less than 23 points
Lecture Slides
- Súbor:CompLog2012-Lecture-1-FOL.pdf (Updated 9 Oct: some notational fixes)
- Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf
- Súbor:CompLog2012-Lecture-3-DL.pdf
- Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf
- Súbor:CompLog2012-Lecture-5-Logic Programming.pdf
- Súbor:CompLog2012-Lecture-6-Prolog.pdf
- Súbor:CompLog2012-Lecture-7-ASP.pdf
- Súbor:CompLog2012-Lecture-8-AAF.pdf (Updated 5 Dec: fixed definition of admissible set)
- Súbor:CompLog2012-Lecture-9-SAF.pdf