Zobrazenie zdroja stránky KR Seminar

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 = 5 March 2013
   | where = I-9
   | type = seminar
   | who = Martin Baláž, Jozef Frtús
   | what = Structured Argumentation Frameworks
   | link =
}}
{{Event
   | when = '''TBA''' (18–22 March 2013)
   | where = I-9
   | type = seminar
   | who = Michal Vince
   | what = Lightweight Communication Platform
   | link =
}}
{{Event
   | when = '''TBA''' (18–22 March 2013)
   | where = I-9
   | type = seminar
   | who = Michal Vince
   | what = Lightweight Communication Platform
   | link =
}}
{{Event
   | when = '''TBA''' (1–5 April 2013)
   | where = I-9
   | type = seminar
   | who = Ján Šefránek
   | what = Non-Monotonic Modal Logic
   | link =
}}

==Past Talks==

{{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.