Revised CFP: Belief Change Workshop at NMR2000 - Colorado, April 12-15, 2000

Skip to first unread message

Maurice Pagnucco

Dec 10, 1999, 3:00:00 AM12/10/99

International Workshop on Belief Change: Theory and Practice
April 10th, 2000

Special Track at NMR-2000 (April 9-11)
Co-located with KR'2000, Breckenridge, Colorado, April 12-15



Research in belief change has largely remained theoretical (with the notable
exception of work in truth maintenance systems). However, the motivation
behind much of this work has been practical in nature: the design of systems
to maintain evolving sets of formal descriptions such as databases, software
repositories, and knowledge bases. Moreover, the ability to maintain and
modify beliefs is deemed crucial for any intelligent agent architecture. The
ultimate objective for belief change researchers then is focused on
establishing effective models for achieving these aims.

This workshop will provide a forum for interaction among researchers engaged
in the implementation of belief change systems and those concerned with the
formal modeling of the belief change process. The intent is to study the
modeling, design and implementation of theoretically plausible yet
computationally feasible architectures for belief representation and
reasoning. Both aspects are crucial to the further development and viability
of research in belief change, and for the prospects of intelligent agents in
general. It aims to bridge the gap that currently separates the techniques
and implementations of 'real' belief change from idealized logical models.
In so doing, each community will gain a closer understanding of the other's
needs and achievements with the ability to pose challenges and goals that
can focus each group on charting future directions.

Traditionally, "belief change" has been associated with the AGM school (of
belief revision) and the KM school (of belief update). But as we know,
approaches to logics of action and change constitute a central application
area of belief change. For instance, recent work in reasoning about action
has shifted from the mainly theoretic to practical implementations (giving
birth to the area of cognitive robotics). As well, work in the area of
nonmonotonic reasoning, broadly construed, has had much to say about belief
revision and properties of belief revision systems. Not only will feedback
from these allied researchers be welcome but it will provide an excellent
opportunity to foster a collaboration that is long overdue. Accordingly,
instead of restricting workshop attendance to its traditional attendees,
we welcome researchers from allied areas.

The workshop is centered around a novel schedule designed with the aim of
fostering lively and informed discussion among all workshop participants. To
this end, each 90 minute workshop session will commence with 3x15min paper
presentations with the aim of generating vibrant discussion in the remaining
45 minutes. Reports on the state-of-the-art in theory and practice will be
presented, existing implementations will be demonstrated, and participants
will be encouraged to provide test cases for plausibility and tractability
of systems.

In summary, the objective is to provide an active forum that brings together
parties interested in contributing to the whole gamut of belief change
research, from practice through to theory. The primary value of the workshop
lies in initiating a feedback loop: providing theory with achievable
benchmarks and practice with a guiding direction, thereby ensuring that
progress in all camps keeps apace and is adequately synchronized.


We solicit papers for the workshop on the themes listed above. Work reported
should not have appeared elsewhere. Papers submitted to other conferences or
workshops (including the KR conference or NMR workshop (regular stream)) are
acceptable, but this fact should be noted on the title page. However, if these
papers are subsequently accepted for publication, they must be withdrawn from
these conferences/workshops or the workshop. Papers appearing elsewhere
*cannot* be presented at the workshop.

12 double-spaced pages excluding title page and bibliography
On-line submission (to any of the addresses below) is *strongly

Running system demonstrations are invited, as are proposals for systems in
the stages of final design and implementation. In case of system
demonstrations, please provide a URL for a test-bed or demo version if

If electronic submission is *absolutely* not possible, please send
hard copies to (any of) the following:

Samir Chopra (
523, East 5th Street,
Apartment #1
New York, NY 10009

Andreas Herzig (
IRIT, Universite Paul Sabatier
118 route de Narbonne
F-31062 Toulouse Cedex 4

Maurice Pagnucco (
Computational Reasoning Group,
Department of Computing
Macquarie University,
NSW, 2109, Australia

Renata Wasserman (
Institute for Logic, Language and Computation
Plantage Muidergracht 24
1018-TV Amsterdam, The Netherlands


Submission of papers: January 5, 2000
Acceptance decision by: February 10, 2000
Camera ready copy due: March 1, 2000


Samir Chopra, CUNY, USA (
Mary-Anne Williams, Newcastle, Australia (


Alexander Bochman (Holon, Israel)
Jim Delgrande (Simon Fraser, Canada)
Patrick Doherty (Linkoping, Sweden)
Norman Foo (UNSW, Australia)
Randy Goebel (Alberta, Canada)
Aditya Ghose (Wollongong, Australia)
Sven Ove Hansson (Stockholm, Sweden)
Andreas Herzig (Toulouse, France)
Paolo Liberatore (Rome, Italy)
Abhaya Nayak (Macquarie, Australia)
Maurice Pagnucco (Macquarie, Australia)
Rohit Parikh (CUNY, USA)
Pavlos Peppas (Macquarie, Australia)
Abdul Sattar (Griffith, Australia)
Renata Wassermann (Amsterdam, Netherlands)
Dongmo Zhang (UNSW, Australia)

[ is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <>, and ]
[ ask your news administrator to fix the problems with your system. ]

Reply all
Reply to author
0 new messages