[TYPES] CFP workshop on belief revision and dynamic logic

[Andreas HERZIG]

*** Our apologies for multiple copies! ***

                           CALL FOR PAPERS

                             Workshop on
                  Belief revision and dynamic logic 

             http://www.irit.fr/~Andreas.Herzig/Esslli05 

                          15-19 August, 2005

                         organized as part of
        European Summer School on Logic, Language and Information
            ESSLLI 2005 http://www.macs.hw.ac.uk/esslli05/
                    8-19 August, 2005 in Edinburgh


Workshop Organizers: 
Andreas Herzig ("herzig at irit.fr") and Hans van Ditmarsch ("hans at
cs.otago.ac.nz") 


Workshop Purpose: 
In 'standard' AGM belief revision, a deductively closed theory T is revised
with a formula phi, resulting in a revised theory T * phi. Typically, the
negation of phi is in T and has to be 'retracted'. A fairly recent way to
model belief revision is within more general theories of action and change
such as dynamic logic, as sketched first in 'Two traditions in the logic of
belief: bringing them together', by Segerberg (1996, and 1999). In this
setting a pointed Kripke model for belief in the theory T satisfies in
particular B ~phi, and a dynamic modal operator [* phi], for 'belief
revision with phi', is interpreted as an epistemic state transformer [[*
phi]]. In the resulting epistemic state then holds B phi. There are also
other general frameworks, that have been investigated recently in AI, such
as situation calculus and fluent calculus. Such dynamic (and generally
epistemic) approaches allow in a natural fashion for multi-agent belief
revision, for belief revision with epistemic beliefs (typically: of other
agents), and provide refreshing insights on irrevocable belief revision and
iterated belief revision. 


Workshop Topics: 
belief revision and logics of probability belief update vs. belief revision
dynamics of knowledge and belief higher-order belief revision model checking
for belief revision epistemic actions belief merging and other multi-agent
belief revision 


Submission details: 
Authors are invited to submit an extended abstract describing original work.
Submissions should not exceed 8 pages. The following formats are accepted:
PDF, PS, Word, ASCII text. Please send your submission electronically
through http://www.irit.fr/~Andreas.Herzig/Esslli05 by the deadline listed
below. The submissions will be reviewed by the workshop's programme
committee and additional reviewers. The accepted papers will appear in the
workshop proceedings published by ESSLLI. The format for the final versions
will be available on the workshop website. A selection of papers might be
published in a special issue of the Journal of Applied Non-Classical Logics.



Workshop format: 
The workshop is part of ESSLLI and is open to all ESSLLI participants. It
will consist of five 90-minute sessions held over five consecutive days in
the second week of ESSLLI. There will be 2 or 3 slots for paper presentation
and discussion per session. On the first day the workshop organizers will
give an introduction to the topic. 


Invited Speakers: 
to be announced 


Workshop Programme Committee: 
Alexandru Baltag, Oxford University 
Richard Booth, University of Wollongong 
John Cantwell, Royal Institute of Technology, Stockholm 
Samir Chopra, City University of New York 
Jim Delgrande, Simon Fraser University, Canada (to be confirmed) 
Robert Demolombe, ONERA, Toulouse 
Jelle Gerbrandy, University of Torino 
Guido Governatori, University of Queensland 
Andreas Herzig (co-chair), IRIT-CNRS, Toulouse 
Barteld Kooi, University of Groningen 
Willem Labuschagne, University of Otago, NZ 
Jérôme Lang, IRIT-CNRS 
Hector Levesque, University of Toronto 
Thomas Meyer, NICTA, Sydney, AU 
Abhaya Nayak, Macquarie, AU 
Maurice Pagnucco, UNSW/NICTA, Sydney, AU 
Hans Rott, University of Regensburg (to be confirmed) 
Krister Segerberg, University of Uppsala (to be confirmed) 
Steven Shapiro, University of Leipzig 
Keith Stenning, University of Edinburgh 
Johan van Benthem, Universities of Amsterdam and Stanford 
Wiebe van der Hoek, University of Liverpool 
Hans van Ditmarsch (co-chair), University of Otago, NZ 
Rineke Verbrugge, University of Groningen 
Renata Wassermann, University of Sao Paulo 


Important Dates: 
Submissions: March 9, 2005 
Notification: April 18, 2005 
Preliminary programme: April 23, 2005 
ESSLLI early registration: May 1, 2005 
Final papers for proceedings: May 18, 2005 
Final programme: June 22, 2005 
Workshop dates: August 15-19, 2005 


Local Arrangements: 
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of additional fee waiver grants will be made available by
the OC on a competitive basis and workshop participants are eligible to
apply for those. There will be no reimbursement for travel costs and
accommodation. Workshop speakers who have difficulty in finding funding
should contact the local organizing committee to ask for the possibilities
for a grant. 


Further Information: 
About the workshop: http://www.irit.fr/~Andreas.Herzig/Esslli05 
About ESSLLI: http://www.macs.hw.ac.uk/esslli05/