KR Seminar - História úprav

Balaz na 14:39, 10. december 2014

2014-12-10T14:39:03Z

2014-12-10T14:38:32Z

2014-12-10T10:19:20Z

2013-10-01T08:58:32Z

2013-05-22T09:01:42Z

2013-05-22T09:01:25Z

2013-05-07T20:51:21Z

2013-05-06T13:06:38Z

2013-05-06T13:06:04Z

2013-04-19T11:24:02Z

@@ Riadok 15: / Riadok 15: @@
 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
@@ Riadok 33: / Riadok 34: @@
     | link =
 }}
 {{Event

@@ Riadok 6: / Riadok 6: @@
 {{Event
-    | when = 12th December 2014, 10:00
+    | when = 12th December 2014, 13:00
-    | where = TBA
+    | where = I-9
     | type = seminar
     | who = Alexander Šimko

@@ Riadok 1: / Riadok 1: @@
-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.
+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

@@ Riadok 4: / Riadok 4: @@
 ==Upcoming Talks==
 {{Event
@@ Riadok 13: / Riadok 33: @@
     | link =
 }}
 {{Event
@@ Riadok 24: / Riadok 42: @@
     | link =
 }}
 {{Event
     | when = 19 April 2013

@@ Riadok 7: / Riadok 7: @@
 {{Event
     | when = 22 May 2013
-    | where = M-II
+    | where = I-7
     | type = seminar
     | who = Ján Šefránek

@@ Riadok 6: / Riadok 6: @@
 {{Event
-    | when = 20 March 2013
+    | when = TBA
-    | where = M II
+    | where = TBA
     | type = seminar
-    | who = Michal Vince
+    | who = Ján Šefránek
-    | what = Lightweight Communication Platform
+    | what = Updates of Assumption-Based Frameworks
     | link =
 }}
 {{Event
-    | when = 5 April 2013
+    | when = TBA
     | where = I-9
     | type = seminar
     | who = Igor Sedlár
-    | what = Modal Logic
+    | what = Modal Logic 2
     | link =
 }}
 {{Event
-    | when = 17 April 2013
+    | when = 5 April 2013
-    | where = M II
+    | where = I-9
     | type = seminar
-    | who = Ján Šefránek
+    | who = Igor Sedlár
-    | what = Updates of Assumption-Based Frameworks
+    | what = Modal Logic
     | link =
 }}
 {{Event
-    | when = 1 May 2013
+    | when = 20 March 2013
     | where = M II
     | type = seminar
-    | who = Ján Šefránek
+    | who = Michal Vince
-    | what = Nonmonotonic Modal Logic
+    | what = Lightweight Communication Platform
     | link =
 }}
 {{Event
     | when = 5 March 2013