KR Seminar: Rozdiel medzi revíziami
| Riadok 6: | Riadok 6: | ||
{{Event | {{Event | ||
| − | | when = | + | | when = TBA |
| − | | where = | + | | where = TBA |
| type = seminar | | type = seminar | ||
| − | | who = | + | | who = Ján Šefránek |
| − | | what = | + | | what = Updates of Assumption-Based Frameworks |
| link = | | link = | ||
}} | }} | ||
{{Event | {{Event | ||
| − | | when = | + | | when = TBA |
| + | | where = TBA | ||
| + | | type = seminar | ||
| + | | who = Ján Šefránek | ||
| + | | what = Nonmonotonic Modal Logic | ||
| + | | link = | ||
| + | }} | ||
| + | |||
| + | ==Past Talks== | ||
| + | |||
| + | {{Event | ||
| + | | when = 19 April 2013 | ||
| where = I-9 | | where = I-9 | ||
| type = seminar | | type = seminar | ||
| who = Igor Sedlár | | who = Igor Sedlár | ||
| − | | what = Modal Logic | + | | what = Modal Logic 2 |
| link = | | link = | ||
}} | }} | ||
{{Event | {{Event | ||
| − | | when = | + | | when = 5 April 2013 |
| − | | where = | + | | where = I-9 |
| type = seminar | | type = seminar | ||
| − | | who = | + | | who = Igor Sedlár |
| − | | what = | + | | what = Modal Logic |
| link = | | link = | ||
}} | }} | ||
{{Event | {{Event | ||
| − | | when = | + | | when = 20 March 2013 |
| where = M II | | where = M II | ||
| type = seminar | | type = seminar | ||
| − | | who = | + | | who = Michal Vince |
| − | | what = | + | | what = Lightweight Communication Platform |
| link = | | link = | ||
}} | }} | ||
| − | |||
| − | |||
| − | |||
{{Event | {{Event | ||
| when = 5 March 2013 | | when = 5 March 2013 | ||
Verzia zo dňa a času 12:24, 19. apríl 2013
The regular bi-weekly seminar of the KR Group headed by 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 the rules.
Upcoming Talks
TBA: Updates of Assumption-Based Frameworks (seminar)
- Who:
- Ján Šefránek
- Where:
- TBA
- Link:
TBA: Nonmonotonic Modal Logic (seminar)
- Who:
- Ján Šefránek
- Where:
- TBA
- Link:
Past Talks
19 April 2013: Modal Logic 2 (seminar)
- Who:
- Igor Sedlár
- Where:
- I-9
- Link:
5 April 2013: Modal Logic (seminar)
- Who:
- Igor Sedlár
- Where:
- I-9
- Link:
20 March 2013: Lightweight Communication Platform (seminar)
- Who:
- Michal Vince
- Where:
- M II
- Link:
5 March 2013: Structured Argumentation Frameworks (seminar)
- Who:
- Martin Baláž, Jozef Frtús
- Where:
- I-9
- Link:
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.