Course CompLog: Rozdiel medzi revíziami

Verzia zo dňa a času 11:41, 25. september 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áž
Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs)

Syllabus

First Order Logic
Description logics and ontologies
Logic programming

Evaluation

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

Grading:

A: 63 and more points
B: 56 and more points
C: 49 and more points
D: 42 and more points
E: 35 and more points
Fx: less than 28 points

Lecture Slides

First Order Logic, Syntax and Semanics

Exercises

First Order Logic, Syntax and Formalization

@@ Riadok 2: / Riadok 2: @@
 * Lecturers: Martin Baláž, Martin Homola
-* Lab assistants: Martin Baláž, Jozef Frtús
+* Lab assistants: Martin Baláž
-* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
+* Schedule: Tue 8:10 M-IV (lectures), Wed 14:50 F1-108 (labs)
-* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
+<!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)-->
-* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]
+<!--* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]-->
-Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
 == Syllabus ==
@@ Riadok 14: / Riadok 12: @@
 # Description logics and ontologies
 # Logic programming
-# Dynamic logic
-# Argumentation
-# Multi-context systems (*)
 == Evaluation ==
-* Midterm: 10 pints
+* Midterm: 15 pints (min 0)
 * Exam: 30 points (min 10)
 * Labs: 10 points (min 3)
-* Project/Homework: 5 points (min 1)
+* Project/Homework: 15 points (min 5)
-* '''Total:''' 55 points
+* '''Total:''' 70 points
 Grading:
-* A: 47 and more points
+* A: 63 and more points
-* B: 41 and more points
+* B: 56 and more points
-* C: 35 and more points
+* C: 49 and more points
-* D: 29 and more points
+* D: 42 and more points
-* E: 23 and more points
+* E: 35 and more points
-* Fx: less than 23 points
+* Fx: less than 28 points
 == Lecture Slides ==
-# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes)
+# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
-# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]]
-# [[File:CompLog2012-Lecture-3-DL.pdf|Ontologies, Description Logics]]
-# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]
-# [[File:CompLog2012-Lecture-5-Logic Programming.pdf|Logic Programming]]
-# [[File:CompLog2012-Lecture-6-Prolog.pdf|Prolog]]
-# [[File:CompLog2012-Lecture-7-ASP.pdf|Answer Set Programming]]
-# [[File:CompLog2012-Lecture-8-AAF.pdf|Abstract Argumentation Frameworks]] (Updated 5 Dec: fixed definition of admissible set)
-# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]
 == Exercises ==
-# [[File:Exercises-1-FOL.pdf]]
+# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
-# [[File:Exercises-2-FOL.pdf]]
-# [[File:Exercises-3-DL.pdf‎]]
-# [[File:Exercises-4-DL.pdf‎]]
-# [[File:Exercises-5-DL.pdf‎]]
-# [[File:Exercises-6-LP.pdf‎]]
-# [[File:Exercises-7-LP.pdf‎]]
-# [[File:Exercises-8-LP.pdf‎]] [http://ii.fmph.uniba.sk/~sefranek/kri/stabModely.pdf collection of exercises: stable models]
-# [[File:Exercises-9-LP.pdf‎]]
-# [[File:Exercises-10-ARG.pdf‎]]