Schedule
WORKSHOP AT IJCAI-05
The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change
August 1, 2005, Edinburgh
Schedule
|
|
Workshop Location: University of Edinburgh, William Robertson Building G02
Note: PDF versions of papers may be obtained by clicking on their titles. The entire proceedings may be obtained in a single PDF file by clicking here (file size approx. 2.3 Mb).
| Time | Event |
|---|---|
| 8:20 - 8:25 | Opening |
| | |
| 8:25 - 8:50 | Richard Scherl |
| Action, Belief Change and the Frame Problem: A Fluent Calculus Approach | |
| 8:50 - 9:15 | Steven Shapiro |
| Belief Change with Noisy Sensing and Introspection | |
| 9:15 - 9:40 | Aaron Hunter and James P. Delgrande |
| Using Ranking Functions to Determine Plausible Action Histories | |
| 9:40 - 10:05 | Jorge Baier and Sheila McIlraith |
| Planning with Programs that Sense | |
| 10:05 - 10:30 | Christian Fritz and Sheila McIlraith |
| Compiling Qualitative Preferences into Decision-Theoretic Golog Programs | |
| 10:30 - 11:00 | Coffee/Tea Break |
| | |
| 11:00 - 11:25 | Richard Booth, Samir Chopra and Thomas Meyer |
| Restrained Revision | |
| 11:25 - 11:50 | Frances L. Johnson and Stuart C. Shapiro |
| Improving Recovery for Belief Bases | |
| 11:50 - 12:15 | Horacio Arlo-Costa |
| Decision Theoretic Contraction and Value Indeterminacy: Maximizing rather than Optimizing | |
| 12:15 - 12:40 | Didier Dubois and Henri Prade |
| Modeling the role of (ab)normality in the ascription of causality judgements by agents | |
| 12:40 - 14:00 | Lunch |
| | |
| 14:00 - 15:00 | Special theme panel: Wumpus World (Chair: Michael Thielscher) |
| Sebastian Sardina and Stavros Vassos | |
| The Wumpus World in IndiGolog: A Preliminary Report | |
| Stuart C. Shapiro and Michael Kandefer | |
| A SNePS Approach to The Wumpus World Agent: or Cassie Meets the Wumpus | |
| Michael Thielscher | |
| A FLUX Agent for the Wumpus World | |
| 15:00 - 15:30 | Coffee/Tea Break |
| | |
| 15:30 - 15:55 | Erik Sandewall |
| Actions as a Basic Software Concept in the Leonardo Computation System | |
| 15:55 - 16:20 | Andreas Herzig, Jerome Lang and Pierre Marquis |
| Action Progression and Revision in Multiagent Belief Structures | |
| 16:20 - 16:45 | Esra Erdem and Alfredo Gabaldon |
| Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents | |
| 16:45 - 17:10 | Selim Erdogan and Vladimir Lifschitz |
| Actions as Special Cases (Preliminary Report) | |
| 17:10 - 17:35 | Norman Foo, Thomas Meyer, Yan Zhang and Dongmo Zhang |
| Negotation Logic Programs | |
| 17:35 - 17:40 | Closing |
A workshop dinner may be held if there is sufficient interest and a venue can be arranged. An announcement will be made during the workshop.