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

Súbor:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf

2014-12-30T17:33:45Z

Balaz:

Course CompLog

2014-12-30T17:33:17Z

Balaz:

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: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# More DLs and Their Applications

# [[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 ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]
# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]
# [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]

Súbor:CompLog2014-Lecture-10-ASP.pdf

2014-12-30T17:32:52Z

Balaz:

Súbor:CompLog2014-Lecture-9-Applications-of-Prolog.pdf

2014-12-30T17:32:02Z

Balaz:

Course CompLog

2014-12-30T17:30:42Z

Balaz:

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: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# More DLs and Their Applications

# [[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:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]
# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]
# [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]

KR Seminar

2014-12-10T14:39:03Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' in room '''TBA'''. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 12th December 2014, 13:00
| where = I-9
| type = seminar
| who = Alexander Šimko
| what = Logic Programming with Preferences on Rules
| link =
}}
We will talk about logic programming under the answer set semantics extended with preferences on rules. First, we will concentrate on principles, key properties, that one can expect a semantics for logic programs with preferences to satisfy. We will show connections between the principles and evaluate existing semantics w.r.t. principles. Then we will focus on understanding preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in terms of presented principles. We wil conclude that none of the existing semantics satisfies the requirement. Finally we will present a semantics that satisfies all the requirements.

==Past Talks==

{{Event
| when = 22 October 2013
| where = I-7
| type = seminar
| who = Alexander Šimko
| what = Logic Programming with Preferences
| link =
}}

{{Event
| when = 2 December 2013
| where = TBA
| type = seminar
| who = Ján Kľuka
| what = Higher-Order Description Logics
| link =
}}

{{Event
| when = 22 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Argumentation semantics and update semantics
| link =
}}

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}

{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2014-12-10T14:38:32Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' in room '''TBA'''. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 12th December 2014, 13:00
| where = I-9
| type = seminar
| who = Alexander Šimko
| what = Logic Programming with Preferences on Rules
| link =
}}
We will talk about logic programming under the answer set semantics extended with preferences on rules. First, we will concentrate on principles, key properties, that one can expect a semantics for logic programs with preferences to satisfy. We will show connections between the principles and evaluate existing semantics w.r.t. principles. Then we will focus on understanding preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in terms of presented principles. We wil conclude that none of the existing semantics satisfies the requirement. Finally we will present a semantics that satisfies all the requirements.

{{Event
| when = 22 October 2013
| where = I-7
| type = seminar
| who = Alexander Šimko
| what = Logic Programming with Preferences
| link =
}}

{{Event
| when = 2 December 2013
| where = TBA
| type = seminar
| who = Ján Kľuka
| what = Higher-Order Description Logics
| link =
}}

==Past Talks==

{{Event
| when = 22 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Argumentation semantics and update semantics
| link =
}}

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}

{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

Súbor:CompLog2014-Lecture-8-Prolog.pdf

2014-11-18T12:26:51Z

Balaz:

Súbor:CompLog2014-Lecture-7-LP.pdf

2014-11-18T12:26:09Z

Balaz:

Course CompLog

2014-11-18T12:25:25Z

Balaz:

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: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# More DLs and Their Applications

# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]
# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]

Course CompLog

2014-11-03T14:27:27Z

Balaz:

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: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]


=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]

Súbor:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf

2013-12-10T08:22:36Z

Balaz:

Súbor:CompLog2013-Exercises-9-LP.pdf

2013-12-09T21:41:24Z

Balaz:

Course CompLog

2013-12-09T21:40:56Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
# [[media:CompLog2013-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]
# [[media:CompLog2013-Lecture-10-Answer-Set-Programming.pdf|Answer Set Programming]]
# [[media:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]
# [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]

Súbor:CompLog2013-Lecture-9-Applications-of-Prolog.pdf

2013-12-09T21:22:34Z

Balaz:

Course CompLog

2013-12-09T21:16:45Z

Balaz:

Súbor:CompLog2013-Lecture-10-Answer-Set-Programming.pdf

2013-12-09T21:16:26Z

Balaz:

Course CompLog

2013-12-02T12:38:39Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]
# [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]

Súbor:CompLog2013-Lecture-7-LP.pdf

2013-12-02T12:38:20Z

Balaz: uploaded a new version of "File:CompLog2013-Lecture-7-LP.pdf"

Course CompLog

2013-12-02T12:37:50Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[file:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]
# [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]

Súbor:CompLog2013-Exercises-7-LP.pdf

2013-11-27T13:37:32Z

Balaz:

Súbor:CompLog2013-Exercises-8-LP.pdf

2013-11-27T13:16:34Z

Balaz:

Course CompLog

2013-11-27T13:15:57Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]
# [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming - Introduction]]
# [[media:CompLog2013-Exercises-8-LP.pdf|Logic Programming - Prolog]]

Course CompLog

2013-11-27T12:37:03Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]
# [[media:CompLog2013-Exercises-7-LP.pdf|Logic Programming]]
# [[media:CompLog2013-Exercises-8-LP.pdf|Prolog]]

Súbor:CompLog2013-Lecture-8-Prolog.pdf

2013-11-20T15:21:54Z

Balaz:

Course CompLog

2013-11-19T06:55:58Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]

Course CompLog

2013-11-19T00:43:27Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]
# [[media:CompLog2013-Lecture-8-Prolog.pdf|Prolog]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]

Súbor:CompLog2013-Lecture-7-LP.pdf

2013-11-19T00:41:43Z

Balaz:

Course CompLog

2013-11-19T00:40:39Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
# [[media:CompLog2013-Lecture-7-LP.pdf|Introduction to Logic Programming]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]

Súbor:CompLog2013-Exercises-6-DL.pdf

2013-11-06T13:40:58Z

Balaz:

Course CompLog

2013-11-06T13:38:55Z

Balaz:

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)

* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
* '''New:''' [http://wiki.matfyz.sk/CompLog2013_Projekty 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

=== Lecture Slides ===
# [[media:CompLog2013-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[media:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[media:CompLog2013-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[media:CompLog2013-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[media:CompLog2013-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]

=== Exercises ===
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[media:CompLog2013-Exercises-2-FOL.pdf|First Order Logic, Semantics]]
# [[media:CompLog2013-Exercises-3-FOL.pdf|First Order Logic, Reasoning]]
# [[media:CompLog2013-Exercises-4-FOL.pdf|DL Conceptualization]]
# [[media:CompLog2013-Exercises-5-FOL.pdf|DL Tableau Algorithm]]
# [[media:CompLog2013-Exercises-6-DL.pdf|DL Tableau Algorithm with ABox]]

Súbor:CompLog2013-Exercises-3-FOL.pdf

2013-10-08T14:26:05Z

Balaz:

Course CompLog

2013-10-08T14:25:51Z

Balaz:

Súbor:CompLog2013-Lecture-3-Applications-of-FOL.pdf

2013-10-08T12:01:23Z

Balaz:

Course CompLog

2013-10-08T12:00:54Z

Balaz:

Súbor:CompLog2013-Exercises-2-FOL.pdf

2013-10-08T11:43:44Z

Balaz:

Course CompLog

2013-10-08T11:42:36Z

Balaz:

Course CompLog

2013-10-04T11:33:25Z

Balaz:

KR Seminar

2013-10-01T08:58:32Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' (Thursdays 15:40CET/CEST) in room '''TBA''' (I-9). General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 22 October 2013
| where = I-7
| type = seminar
| who = Alexander Šimko
| what = Logic Programming with Preferences
| link =
}}

{{Event
| when = 2 December 2013
| where = TBA
| type = seminar
| who = Ján Kľuka
| what = Higher-Order Description Logics
| link =
}}

==Past Talks==

{{Event
| when = 22 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Argumentation semantics and update semantics
| link =
}}

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}

{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

Súbor:CompLog2013-Exercises-1-FOL.pdf

2013-09-25T15:28:43Z

Balaz:

Course CompLog

2013-09-25T11:50:44Z

Balaz:

Course CompLog

2013-09-25T11:48:33Z

Balaz:

Course CompLog

2013-09-25T11:47:55Z

Balaz:

Course CompLog

2013-09-25T11:04:16Z

Balaz:

Course CompLog

2013-09-25T11:03:51Z

Balaz:

Course CompLog

2013-09-25T10:53:35Z

Balaz:

Course CompLog

2013-09-25T10:41:43Z

Balaz:

KR Seminar

2013-05-22T09:01:42Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' (Thursdays 15:40CET/CEST) in room '''TBA''' (I-9). General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 22 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Argumentation semantics and update semantics
| link =
}}

==Past Talks==

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}
{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2013-05-22T09:01:25Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' (Thursdays 15:40CET/CEST) in room '''TBA''' (I-9). General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 22 May 2013
| where = M-II
| type = seminar
| who = Ján Šefránek
| what = Argumentation semantics and update semantics
| link =
}}

==Past Talks==

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}
{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.

KR Seminar

2013-05-07T20:51:21Z

Balaz:

The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' (Thursdays 15:40CET/CEST) in room '''TBA''' (I-9). General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.

Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].

==Upcoming Talks==

{{Event
| when = 22 May 2013
| where = M-II
| type = seminar
| who = Ján Šefránek
| what = Updates of Assumption-Based Frameworks
| link =
}}

==Past Talks==

{{Event
| when = 7 May 2013
| where = I-7
| type = seminar
| who = Ján Šefránek
| what = Nonmonotonic Modal Logic
| link =
}}
{{Event
| when = 19 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic 2
| link =
}}
{{Event
| when = 5 April 2013
| where = I-9
| type = seminar
| who = Igor Sedlár
| what = Modal Logic
| link =
}}
{{Event
| when = 20 March 2013
| where = M II
| type = seminar
| who = Michal Vince
| what = Lightweight Communication Platform
| link =
}}
{{Event
| when = 5 March 2013
| where = I-9
| type = seminar
| who = Martin Baláž, Jozef Frtús
| what = Structured Argumentation Frameworks
| link =
}}
{{Event
| when = 8 December 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Well-Supported Models of MDLP
| link =
}}
{{Event
| when = 18 August 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)
| link =
}}
{{Event
| when = 28 July 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Modular declarative knowledge representation in computer games.
| link =
}}
{{Event
| when = 21 July 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation
| link =
}}
{{Event
| when = 14 July 2008 14:00
| where = I-9
| type = seminar
| who = Ján Kľuka
| what = On Declarative Programming, Theorem Proving, and Program Transformation
| link =
}}
{{Event
| when = 30 June 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles
| link =
}}
{{Event
| when = 9 June 2008 14:00
| where = I-9
| type = seminar
| who = Jan Sefranek
| what = Selection of Prefered Answer Sets
| link =
}}
{{Event
| when = 19 May 2008 14:00 (moved from 12th May)
| where = I-9
| type = seminar
| who = Michal Malý
| what = Cognitive Assembler
| link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
}}
{{Event
| when = 05 May 2008 14:00
| where = I-9
| type = seminar
| who = Peter Klimo
| what = Using Evolp for Representation of Beliefs and Goals in BDI architecture
| link =
}}
{{Event
| when = 28 April 2008 14:00
| where = I-9
| type = seminar
| who = Juraj Frank and Martin Homola
| what = Ontology-driven Categorization of Blog Postings
| link =
}}
{{Event
| when = 21 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Homola
| what = Subsumption Propagation in Distributed Description Logic
| link =
}}
{{Event
| when = 14 April 2008 14:00
| where = I-9
| type = seminar
| who = Martin Baláž
| what = Defeasible Logic Programming and its Relation with Answer Set Programming
| link =
}}
{{Event
| when = 31 March 2008 14:00
| where = I-9
| type = seminar
| who = Jozef Šiška
| what = Employing Logic Programming in Computer Games
| link =
}}

==Rules==

To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.