CHANGE PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14C
This is a KR-2022 tutorial on Sunday July 31st: two 1.5h sessions in afternoon with a break: 14:00-15:30 and 16:00-17:30. See details at https://www.cs.ryerson.ca/~mes/HTSC-Tutorial-KR2022/
Chair:
Location: Ullmann 200
| 14:00 | Tutorial: Hybrid Temporal Situation Calculus for Planning with Continuous Processes: Semantics (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 19B
This is a KR-2022 tutorial on Sunday July 31st: two 1.5h sessions in afternoon with a break: 14:00-15:30 and 16:00-17:30
Chair:
Location: Ullmann 200
| 16:00 | Tutorial: Hybrid Temporal Situation Calculus for Planning with Continuous Processes: Semantics (abstract) |