(Structure updated)
Line 2: Line 2:
  
 
* Lecturers: Martin Baláž, Martin Homola
 
* 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 ==
 
== Syllabus ==
Line 14: Line 12:
 
# Description logics and ontologies
 
# Description logics and ontologies
 
# Logic programming
 
# Logic programming
# Dynamic logic
 
# Argumentation
 
# Multi-context systems (*)
 
  
 
== Evaluation ==
 
== Evaluation ==
  
* Midterm: 10 pints
+
* Midterm: 15 pints (min 0)
 
* Exam: 30 points (min 10)
 
* Exam: 30 points (min 10)
 
* Labs: 10 points (min 3)
 
* Labs: 10 points (min 3)
* Project/Homework: 5 points (min 1)
+
* Project/Homework: 15 points (min 5)
* '''Total:''' 55 points
+
* '''Total:''' 70 points
  
 
Grading:
 
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 ==
 
== 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 ==
 
== 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‎]]
+

Revision as of 12: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

  1. First Order Logic
  2. Description logics and ontologies
  3. 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

  1. First Order Logic, Syntax and Semanics

Exercises

  1. First Order Logic, Syntax and Formalization