Course CompLog: Rozdiel medzi revíziami

Aktuálna revízia z 18:33, 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

@@ Riadok 2: / Riadok 2: @@
 * Lecturers: Martin Baláž, Martin Homola
-* Lab assistants: Martin Baláž, Jozef Frtús
+* Lab assistants: Júlia Pukancová, Martin Baláž
-* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
+* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (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]
+* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
+-->
-Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
+* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
+'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments]
-== Syllabus ==
+=== Syllabus ===
 # First Order Logic
-# Description logics and ontologies
+# Description Logics and Ontologies
-# Logic programming
+# Logic Programming - Prolog
-# Dynamic logic
+# Answer Set Programming
-# Argumentation
-# Multi-context systems (*)
-== Evaluation ==
-* Midterm: 10 pints
+=== Evaluation ===
-* Exam: 30 points (min 10)
-* Labs: 10 points (min 3)
-* Project/Homework: 5 points (min 1)
-* '''Total:''' 55 points
-Grading:
+* Midterm: 10 points (min 0)
+* Exam: 30 points (min 15)
+* Labs: 15 points (min 5)
+* Project/Homework: 15 points (min 5)
+* '''Total:''' 70 points
-* A: 47 and more points
+=== Grading ===
-* 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 and Exercises ==
+* 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
-=== Lectures ===
+=== Lecture Slides ===
-# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes)
+# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
-# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]]
+# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
-# [[File:CompLog2012-Lecture-3-DL.pdf|Ontologies, Description Logics]]
+# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
-# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]
+# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
-# [[File:CompLog2012-Lecture-5-Logic Programming.pdf|Logic Programming]]
+# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
-# [[File:CompLog2012-Lecture-6-Prolog.pdf|Prolog]]
+# More DLs and Their Applications
-# [[File:CompLog2012-Lecture-7-ASP.pdf|Answer Set Programming]]
+<!--
-# [[File:CompLog2012-Lecture-8-AAF.pdf|Abstract Argumentation Frameworks]]
+# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
-# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]
+-->
+# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
+# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
+# [[media:CompLog2014-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]
+# [[media:CompLog2014-Lecture-10-ASP.pdf|Answer Set Programming]]
+# [[media:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]
 === Exercises ===
-# [[File:Exercises-1-FOL.pdf]]
+# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
-# [[File:Exercises-2-FOL.pdf]]
+# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
-# [[File:Exercises-3-DL.pdf‎]]
+# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
-# [[File:Exercises-4-DL.pdf‎]]
+# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]
-# [[File:Exercises-5-DL.pdf‎]]
+# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]
-# [[File:Exercises-6-LP.pdf‎]]
+# [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]
-# [[File:Exercises-7-LP.pdf‎]]
+# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
-# [[File:Exercises-8-LP.pdf‎]] [http://ii.fmph.uniba.sk/~sefranek/kri/stabModely.pdf collection of exercises: stable models]
+# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]
-# [[File:Exercises-9-LP.pdf‎]]
+<!--#
+# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
+-->