KR Seminar: Rozdiel medzi revíziami

Riadok 1: Riadok 1:
 
The seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room 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 seminar of the KR Working group headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] that takes place bi-weakly on Mondays 14:00CET in room 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 the rules.
+
Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].
  
 
==Upcoming Talks==
 
==Upcoming Talks==
Riadok 35: Riadok 35:
  
 
==Rules==
 
==Rules==
 +
 +
To ensure regular bi-weakly 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. (Head of the group is excluded.)

Verzia zo dňa a času 13:24, 11. apríl 2008

The seminar of the KR Working group headed by Ján Šefránek that takes place bi-weakly on Mondays 14:00CET in room 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 the rules.

Upcoming Talks

14 April 2008 14:00: Defeasible Logic Programming and its Realtion with Answer Set Programming (seminar)

Who:
Martin Baláž
Where:
I-9
Link:


28 April 2008 14:00: Subsumption Propagation in Distributed Description Logic (seminar)

Who:
Martin Homola
Where:
I-9
Link:


Past Talks

31 March 2008 14:00: Employing Logic Programming in Computer Games (seminar)

Who:
Jozef Šiška
Where:
I-9
Link:


Rules

To ensure regular bi-weakly 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. (Head of the group is excluded.)