Dev.DAI - Príspevky používateľa [sk]

Course CompLog

2012-12-06T13:03:44Z

Frtus: file Exercises-10-ARG.pdf‎ added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]
# [[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‎]]

Súbor:Exercises-10-ARG.pdf

2012-12-06T13:03:15Z

Frtus:

Súbor:Exercises-9-LP.pdf

2012-11-30T18:22:08Z

Frtus:

Course CompLog

2012-11-30T18:21:50Z

Frtus: file Exercises-9-LP.pdf added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]
# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[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‎]]

Course CompLog

2012-11-28T12:42:45Z

Frtus: added collection of exercises: stable models

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]
# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[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]

Súbor:Exercises-8-LP.pdf

2012-11-26T12:33:08Z

Frtus:

Course CompLog

2012-11-26T12:32:07Z

Frtus: File Exercises-8-LP.pdf‎ added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[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‎]]

Course CompLog

2012-11-19T08:10:04Z

Frtus: File Exercises-7-LP.pdf‎ added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[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‎]]

Súbor:Exercises-7-LP.pdf

2012-11-19T08:09:30Z

Frtus:

Course CompLog

2012-11-14T10:19:31Z

Frtus: url repaired

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[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‎]]

Course CompLog

2012-11-14T10:18:57Z

Frtus: file Exercises-6-DL.pdf‎ added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[File:Exercises-2-FOL.pdf]]
# [[File:Exercises-3-DL.pdf‎]]
# [[File:Exercises-4-DL.pdf‎]]
# [[File:Exercises-5-DL.pdf‎]]
# [[File:Exercises-6-DL.pdf‎]]

Súbor:Exercises-6-LP.pdf

2012-11-14T10:18:28Z

Frtus:

Course CompLog

2012-11-01T09:53:44Z

Frtus: Exercises-5-DL.pdf‎ added

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-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]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[File:Exercises-2-FOL.pdf]]
# [[File:Exercises-3-DL.pdf‎]]
# [[File:Exercises-4-DL.pdf‎]]
# [[File:Exercises-5-DL.pdf‎]]

Súbor:Exercises-5-DL.pdf

2012-11-01T09:53:08Z

Frtus:

Course CompLog

2012-10-20T19:30:23Z

Frtus: added Exercises-4-DL.pdf‎

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:''' [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]

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 and Exercises ==

=== Lectures ===
# [[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-3-DL.pdf|Ontologies, Description Logics]]
# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]

=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
# [[File:Exercises-2-FOL.pdf]]
# [[File:Exercises-3-DL.pdf‎]]
# [[File:Exercises-4-DL.pdf‎]]

Súbor:Exercises-4-DL.pdf

2012-10-20T19:28:44Z

Frtus:

Course CompLog

2012-10-11T19:00:48Z

Frtus: Exercises-3-DL.pdf added

Súbor:Exercises-3-DL.pdf

2012-10-11T19:00:07Z

Frtus:

Course CompLog

2012-10-11T12:50:04Z

Frtus:

Course CompLog

2012-10-11T12:49:42Z

Frtus: Lab Evaluation google doc added

Course CompLog

2012-10-04T12:26:35Z

Frtus:

Course CompLog

2012-10-04T12:22:02Z

Frtus: pdf Exercises 2 added

Súbor:Exercises-2-FOL.pdf

2012-10-04T12:20:58Z

Frtus:

Súbor:Exercises-1-FOL.pdf

2012-10-03T18:54:33Z

Frtus: uploaded a new version of "File:Exercises-1-FOL.pdf": opraveny preklep v Ulohe 4 g): miesto "((∃x)Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" malo byt "(∃x)(Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka

Course CompLog

2012-09-27T11:18:39Z

Frtus:

Course CompLog

2012-09-27T11:17:01Z

Frtus:

Súbor:Exercises-1-FOL.pdf

2012-09-27T11:12:58Z

Frtus:

Jozef Frtus/en

2012-09-17T13:55:56Z

Frtus:

Jozef Frtus/sk

2012-09-17T13:55:16Z

Frtus:

Jozef Frtus/sk

2012-03-14T15:28:43Z

Frtus:

{{Osoba
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://www.dai.fmph.uniba.sk/~frtus/ Homepage]
| info =

=== Výučba ===

==== Zima ====
*[http://www.dai.fmph.uniba.sk/w/Fundamentals_of_Artificial_Intelligence_1 Základy umelej inteligencie 1] (cvičenia)

==== Leto ====
*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Úvod o deklaratívneho programovania] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Knowledge_Representation_and_Reasoning Reprezentácia znalostí a inferencia] (cvičenia)

=== Výskum ===

=== Publikácie ===

}}

Course KRR

2012-03-02T18:53:17Z

Frtus:

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Jozef Frtús

*Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/

==Literature==

# [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]

== Evaluation ==

Evaluation points:

*Midterm: 15
*Exam: 40
*Project: 30
*Labs: 10
*TOTAL: 95
*BONUS: 10

Evaluation scale:

* 84 and more: A
* 75 and more: B
* 66 and more: C
* 57 and more: D
* 48 and more: E

== Project ==

The task of the project is to propose and describe a scenario for an application
of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:

* Phase 1 - scenario description: 23 March
* Phase 2 - initial formalization: 27 April
* Phase 3 - final formalization: 25 May

Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty

IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.

An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf

Course KRR

2012-02-28T14:02:37Z

Frtus:

Course KRR

2012-02-22T12:25:50Z

Frtus: link to labs webpage added

Knowledge Representation and Reasoning (course homepage)

*Lectures: Martin Baláž, Martin Homola
*Labs: Jozef Frtús

*Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/

== Evaluation ==

Evaluation points:

*Midterm: 25
*Exam: 40
*Project: 30
*Labs: 10
*TOTAL: 95

Evaluation scale:

* 84 and more: A
* 75 and more: B
* 66 and more: C
* 57 and more: D
* 48 and more: E

Jozef Frtus/en

2011-09-14T14:02:59Z

Frtus:

Jozef Frtus/sk

2011-09-14T14:02:46Z

Frtus:

Súbor:Frtus talk.pdf

2011-09-01T18:10:51Z

Frtus:

Jozef Frtus/en

2011-03-27T09:31:43Z

Frtus:

{{Person
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://www.dai.fmph.uniba.sk/~frtus/ Homepage]
| info =

=== Teaching ===
==== Winter ====
*[http://ii.fmph.uniba.sk/zui/ Fundamentals of Artificial Intelligence 1] (excersises)

==== Summer ====
*[http://www.dai.fmph.uniba.sk/w/Graphical_Systems_Visualization_Multimedia Graphical Systems, Visualization, Multimedia] (excersises)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Computer_Logic Introduction to Computational Logic] (excersises)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Introduction to Declarative Programming] (excersises)

=== Research ===

=== Publications ===

}}

Jozef Frtus/sk

2011-03-27T09:31:09Z

Frtus:

{{Osoba
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://www.dai.fmph.uniba.sk/~frtus/ Homepage]
| info =

=== Výučba ===

==== Zima ====
*[http://www.dai.fmph.uniba.sk/w/Fundamentals_of_Artificial_Intelligence_1 Základy umelej inteligencie 1] (cvičenia)

==== Leto ====
*[http://www.dai.fmph.uniba.sk/w/Graphical_Systems_Visualization_Multimedia Grafické systémy, vizualizácia, multimédiá] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Computer_Logic Úvod do výpočtovej logiky] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Úvod do deklaratívneho programovania] (cvičenia)

=== Výskum ===

=== Publikácie ===

}}

Jozef Frtus/sk

2011-03-27T09:30:48Z

Frtus:

{{Osoba
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [https://www.dai.fmph.uniba.sk/~frtus/ Homepage]
| info =

=== Výučba ===

==== Zima ====
*[http://www.dai.fmph.uniba.sk/w/Fundamentals_of_Artificial_Intelligence_1 Základy umelej inteligencie 1] (cvičenia)

==== Leto ====
*[http://www.dai.fmph.uniba.sk/w/Graphical_Systems_Visualization_Multimedia Grafické systémy, vizualizácia, multimédiá] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Computer_Logic Úvod do výpočtovej logiky] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Úvod do deklaratívneho programovania] (cvičenia)

=== Výskum ===

=== Publikácie ===

}}

Jozef Frtus/en

2011-03-15T09:32:42Z

Frtus:

{{Person
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

=== Teaching ===
==== Winter ====
*[http://ii.fmph.uniba.sk/zui/ Fundamentals of Artificial Intelligence 1] (excersises)

==== Summer ====
*[http://www.dai.fmph.uniba.sk/w/Graphical_Systems_Visualization_Multimedia Graphical Systems, Visualization, Multimedia] (excersises)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Computer_Logic Introduction to Computational Logic] (excersises)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Introduction to Declarative Programming] (excersises)

=== Research ===

=== Publications ===

}}

Jozef Frtus/sk

2011-03-15T09:29:21Z

Frtus:

{{Osoba
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

=== Výučba ===

==== Zima ====
*[http://www.dai.fmph.uniba.sk/w/Fundamentals_of_Artificial_Intelligence_1 Základy umelej inteligencie 1] (cvičenia)

==== Leto ====
*[http://www.dai.fmph.uniba.sk/w/Graphical_Systems_Visualization_Multimedia Grafické systémy, vizualizácia, multimédiá] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Computer_Logic Úvod do výpočtovej logiky] (cvičenia)

*[http://www.dai.fmph.uniba.sk/w/Introduction_to_Declarative_Programming Úvod do deklaratívneho programovania] (cvičenia)

=== Výskum ===

=== Publikácie ===

}}

Jozef Frtus/en

2010-09-22T18:51:08Z

Frtus:

{{Person
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

=== Teaching ===
[http://ii.fmph.uniba.sk/zui/ Fundamentals of Artificial Intelligence 1] (excersises)

=== Research ===

=== Publications ===

}}

Jozef Frtus/sk

2010-09-14T08:26:48Z

Frtus:

{{Osoba
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

=== Výučba ===
[http://ii.fmph.uniba.sk/zui/ Základy umelej inteligencie 1] (cvičenia)

=== Výskum ===

=== Publikácie ===

}}

Jozef Frtus/en

2010-09-14T08:18:27Z

Frtus:

{{Person
| fullname = Mgr. Jozef Frtús
| caption = Jozef Frtús
| image = Frtus.jpg
| section =
| position = doctoral student
| phone =
| room = i7
| email = frtus[[Image:zavinac.gif|@]]fmph.uniba.sk
| web =
| info =

=== Teaching ===
[http://ii.fmph.uniba.sk/zui/ Základy umelej inteligencie 1 (cvičenia)]

=== Research ===

=== Publications ===

}}