|
Conference Program
The
Final Program Brochure
is
available in pdf
format which gives details about the venue and session chairs.
An
online KR2004 Program Detailed Summary is also
available.
Presentations
All presentation rooms will include an LCD projector, an overhead
projector and sound equipment. All presenters are responsible for bringing
their own computer (if necessary). Presentations on the first 3 days are
30 minutes in length and on the final day 25 minutes. Presenters should
leave at least 5 minutes for questions.
Key Events and
Dates:
KR Reception: June 2, 2004
KR Conference: June 2 - 5, 2004
KR Conference Banquet: June 3, 2004
Joint ICAPS and KR Festival: June 5,
2004
KR Doctorial Consortium: June 5,
2004
Program at a Glance
|
WEDNESDAY June 2, 2004 |
| 8:45 |
Opening
Ceremonies |
| 9:00 |
Invited Talk: Peter Patel-Schneider |
| 10:00 |
Morning Tea
|
| 10:30 |
Conditioning
& Conditional Logics |
Spatial Reasoning
|
| 12:30 |
Lunch Break |
| 14:00 |
Great Moments in KR Series
John
McCarthy
|
Philosophical
& Psychological Issues |
| Space
and Time |
| 16:00 |
Afternoon Tea |
| 16:30 |
Description
Logics |
Argumentation |
| 18:00 |
Sessions
End |
19:00 |
KR
Reception |
| THURSDAY
June 3, 2004 |
| 8:30 |
Compact
Representations of Preference |
Agents
|
| 10:00 |
Morning
Tea |
| 10:30 |
Ontology |
Belief
revision and update |
| 12:30 |
Lunch Break |
| 14:00 |
Great Moments in KR Series
William
Woods |
Complexity
Analysis I
|
| Merging
Bases |
| 16:00 |
Afternoon Tea |
| 16:30 |
Logic
Programming
|
Query
Processing for Ontologies |
| 18:00 |
Sessions
End |
| 19:00
|
|
| FRIDAY
June 4, 2004 |
| 9:00 |
Invited
Talk: Itzhak Gilboa |
| 10:00
|
Morning Tea |
| 10:30
|
Real
KR&R Systems |
Complexity Analysis II |
| 12:00
|
Lunch Break |
| 13:30
|
Reasoning
about Action |
Knowledge
Representation Logics |
| 16:00 |
Sessions
End |
| SATURDAY
June 5, 2004 |
| 8:50 |
Welcome
to Joint ICAPS/KR Session |
| 9:00 |
Invited
Talk: Patrick Doherty |
| 10:00 |
Morning Tea |
| 10:25 |
Cognitive Robotics
|
| 12:05 |
Lunch Break |
| 13:30 |
Knowledge in Planning
|
| 15:10 |
Afternoon Tea |
| 15:35 |
Search in Planning and
Scheduling |
| 17:15 |
Closing Remarks |
| 18:00 |
Joint
ICAPS/KR FESTIVAL & DOCTORIAL CONSORTIUMS
Free with ICAPS or KR
registration!
|
| 20:00 |
KR2004
Concludes |
|
