KR Seminar: Rozdiel medzi revíziami
(Rescheduling) |
|||
Riadok 24: | Riadok 24: | ||
{{Event | {{Event | ||
− | | when = 05 May 2008 14:00 | + | | when = 05 May 2008 14:00 |
| where = I-9 | | where = I-9 | ||
| type = seminar | | type = seminar | ||
| who = Peter Klimo | | who = Peter Klimo | ||
− | | what = Using Evolp for | + | | what = Using Evolp for Representation of Beliefs and Goals in BDI architecture |
| link = | | link = | ||
}} | }} | ||
{{Event | {{Event | ||
− | | when = 12 May 2008 14:00 | + | | when = 12 May 2008 14:00 |
| where = I-9 | | where = I-9 | ||
| type = seminar | | type = seminar |
Verzia zo dňa a času 22:07, 15. apríl 2008
The regular weekly seminar of the KR Working group headed by Ján Šefránek 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
21 April 2008 14:00: Subsumption Propagation in Distributed Description Logic (seminar)
- Who:
- Martin Homola
- 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:
05 May 2008 14:00: Using Evolp for Representation of Beliefs and Goals in BDI architecture (seminar)
- Who:
- Peter Klimo
- Where:
- I-9
- Link:
12 May 2008 14:00: Cognitive Assembler (seminar)
- Who:
- Michal Malý
- Where:
- I-9
- Link:
- http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf
Past Talks
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.