For an overview of the special events see the special events sub-page.
The program of KR 2022 can also be viewed on the FLoC program page via Easychair:
https://easychair.org/smart-program/FLoC2022/KR-index.html.
More information about the FLoC locations and the venues can be found here,
and the FLoC program can be found here.
Program Overview | |||||||
| Tuesday, Aug 2 | Wednesday, Aug 3 | ||||||
|---|---|---|---|---|---|---|---|
| Session 1 | 09:00 - 09:30 | Opening Taub 2 | 09:00 - 09:30 | Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning Taub 2 Chair: Thomas Meyer | |||
| 09:30 - 10:30 | Invited Talk Yejin Choi Taub 2, online Chair: Thomas Meyer |
09:30 - 10:30 | D&I Session Taub 2 Chair: Gabriele Kern-Isberner | ||||
| Coffee | Coffee | ||||||
| Session 2 | 11:00 - 12:10 | FLoC Opening and Invited Talk Catuscia Palamidessi Churchill Auditorium | 11:00 - 12:30 | KR & Machine Learning Taub 2 Chair: Fabio Cozman |
Recently Published Research Taub 3 Chair: Sebastian Rudolph |
||
| 12:10 - 12:40 | Epistemic Logic Taub 2 Chair: Tommaso Flaminio |
Knowledge Graphs Taub 3 Chair: Umberto Straccia |
|||||
| Lunch KR SC Lunch (room 201, Taub) | Lunch, DC Mentor Lunch | ||||||
| Session 3 | 14:00 - 15:30 | Multi-Agent Systems Taub 2 Chair: Leonid Libkin |
Doctoral Consortium Taub 3 Chair: Giovanni Casini |
14:00 - 15:30 | KR & Machine Learning Taub 2 Chair: Luciano Serafini |
Recently Published Research Taub 3 Chair: Sebastian Rudolph |
|
| Coffee, DC Posters | Coffee | ||||||
| Session 4 | 16:00 - 17:30 | Temporal Reasoning Taub 2 Chair: Martin Gebser |
Description Logics Taub 3 Chair: Diego Calvanese |
16:00 - 17:00 | Invited Talk Ulrike Hahn Taub 2, online Chair: Gerhard Lakemeyer |
||
| 17:30 - 18:30 | FLoC Invited Talk Francesca Rossi Churchill Auditorium |
17:00 - 18:00 | Conditionals Taub 2 Chair: Alexander Bochman |
Actions Taub 3 Chair: Lucia Gomez Alvarez | |||
| Thursday, Aug 4 | Friday, Aug 5 | ||||||
| Session 1 | 09:00 - 10:30 | Argumentation Taub 2 Chair: Nico Potyka |
Belief Revision Taub 3 Chair: Kai Sauerwald |
09:00 - 10:30 | Description Logics Taub 2 Chair: Martin Homola |
Systems & Robotics / Existential Rules Taub 3 Chair: Jean Christoph Jung |
|
| Coffee | Coffee | ||||||
| Session 2 | 11:00 - 12:00 | Invited Talk Leonid Libkin Taub 2 Chair: Thomas Meyer | 11:00 - 12:30 | Belief Merging / Revision Taub 2 Chair: Renata Wassermann |
Datalog & Existential Rules Taub 3 Chair: Meghyn Bienvenu |
||
| 12:00 - 12:30 | Automated Reasoning Taub 2 Chair: Kai Sauerwald |
Strategic Reasoning Taub 3 Chair: Eugenia Ternovska |
|||||
| Lunch | Lunch | ||||||
| Session 3 | 14:00 - 15:30 | Systems & Robotics Taub 2 Chair: Wolfgang Faber |
Belief Revision/RDFS Taub 3 Chair: Richard Booth |
14:00 - 15:00 | Great Moments in KR Talk Anthony Hunter Taub 2 Chair: Francesca Toni |
||
| 15:00 - 15:30 | Planning Taub 2 Chair: Giuseppe De Giacomo |
Deontic Logic Taub 3 Chair: Tim Lyon |
|||||
| Session 4 | 15:30 - 16:00 | Coffee | 15:30 - 16:00 | KR & Machine Learning Taub 2 Chair: Fabio Cozman |
Coffee | ||
| 16:00 - 17:00 | FLoC Invited Talk Orna Kupferman Churchill Auditorium | 16:00 - 17:00 | KR & Machine Learning Taub 2 Chair: Fabio Cozman |
Argumentation Taub 3 Chair: Anthony Hunter |
|||
| 17:00 - 17:30 | Piano Concert Churchill Auditorium | 17:00 - 17:30 | Closing Taub 2 | ||||
