Riadok 24: Riadok 24:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 18 August 2008 14:00
 
   | when = 18 August 2008 14:00
Riadok 33: Riadok 32:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
 
 
{{Event
 
{{Event
 
   | when = 28 July 2008 14:00
 
   | when = 28 July 2008 14:00
Riadok 44: Riadok 40:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 21 July 2008 14:00
 
   | when = 21 July 2008 14:00
Riadok 53: Riadok 48:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 14 July 2008 14:00
 
   | when = 14 July 2008 14:00
Riadok 62: Riadok 56:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 30 June 2008 14:00
 
   | when = 30 June 2008 14:00
Riadok 71: Riadok 64:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 9 June 2008 14:00
 
   | when = 9 June 2008 14:00
Riadok 80: Riadok 72:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 19 May 2008 14:00 (moved from 12th May)
 
   | when = 19 May 2008 14:00 (moved from 12th May)
Riadok 89: Riadok 80:
 
   | link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
 
   | link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 05 May 2008 14:00
 
   | when = 05 May 2008 14:00
Riadok 98: Riadok 88:
 
   | link =
 
   | link =
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 28 April 2008 14:00
 
   | when = 28 April 2008 14:00
Riadok 107: Riadok 96:
 
   | link =  
 
   | link =  
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 21 April 2008 14:00
 
   | when = 21 April 2008 14:00
Riadok 116: Riadok 104:
 
   | link =  
 
   | link =  
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 14 April 2008 14:00
 
   | when = 14 April 2008 14:00
Riadok 125: Riadok 112:
 
   | link =  
 
   | link =  
 
}}
 
}}
 
 
{{Event
 
{{Event
 
   | when = 31 March 2008 14:00
 
   | when = 31 March 2008 14:00

Verzia zo dňa a času 16:28, 20. február 2013

The regular bi-weekly seminar of the KR Group headed by Ján Šefránek on Thursdays 15:40CET/CEST 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

6 March 2013 15:40: Structured Argumentation Frameworks (seminar)

Who:
Martin Baláž, Jozef Frtús
Where:
I-9
Link:


Past Talks

8 December 2008 14:00: Well-Supported Models of MDLP (seminar)

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

18 August 2008 14:00: Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2) (seminar)

Who:
Martin Homola
Where:
I-9
Link:

28 July 2008 14:00: Modular declarative knowledge representation in computer games. (seminar)

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

21 July 2008 14:00: Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (seminar)

Who:
Martin Homola
Where:
I-9
Link:

14 July 2008 14:00: On Declarative Programming, Theorem Proving, and Program Transformation (seminar)

Who:
Ján Kľuka
Where:
I-9
Link:

30 June 2008 14:00: Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles (seminar)

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

9 June 2008 14:00: Selection of Prefered Answer Sets (seminar)

Who:
Jan Sefranek
Where:
I-9
Link:

19 May 2008 14:00 (moved from 12th May): Cognitive Assembler (seminar)

Who:
Michal Malý
Where:
I-9
Link:
http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf

05 May 2008 14:00: Using Evolp for Representation of Beliefs and Goals in BDI architecture (seminar)

Who:
Peter Klimo
Where:
I-9
Link:

28 April 2008 14:00: Ontology-driven Categorization of Blog Postings (seminar)

Who:
Juraj Frank and Martin Homola
Where:
I-9
Link:

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

Who:
Martin Homola
Where:
I-9
Link:

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

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

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

Who:
Jozef Šiška
Where:
I-9
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.