From: cebly@cs.ubc.ca (Craig Boutilier)
Newsgroups: comp.ai
Subject: IJCAI Workshop on Conditionals in KR
Date: 16 Dec 1992 16:36:38 -0800
Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
Distribution: world
NNTP-Posting-Host: conners.cs.ubc.ca

                          CALL FOR PARTICIPATION
                                   ---
                          IJCAI-93  WORKSHOP  ON
                  CONDITIONALS IN KNOWLEDGE REPRESENTATION
                          August 28,29 or 30, 1993

                   To be held in conjunction with IJCAI-93
                       August 29 -- September 3, 1993
                              Chambery, France

Recently, conditional logics and conditional representations have
become popular in formal knowledge representation (KR). These
approaches have found application in areas including default
and probabilistic reasoning, reasoning about action, belief
revision and deontic reasoning. The purpose of this workshop is
to bring together researchers from these different areas in order
to explore the common ground shared by these approaches. The
workshop will focus on formal methods and logics for conditional
reasoning, the semantics of such systems (including probabilistic
semantics), connections that exist between various systems,
problems associated with the use of conditionals, and the application
of conditional schemes to the representation of different kinds 
of knowledge.

Topics of interest include: conditional logics for default reasoning,
belief revision and update, probabilistic reasoning, and deontic reasoning;
semantic models of conditionals and common foundations; standard and
non-standard probabilistic semantics for conditionals; the role of
decision theory in the semantics of conditionals; nonmonotonic 
consequence relations and default reasoning with conditionals; the
relationship to ``classical'' default schemes (e.g. default logic);
nested conditionals; and applications to specific representation
problems (e.g., abduction, reasoning about action, planning,
causal reasoning).

To encourage informal interaction and the exchange of ideas, attendance
will be limited to approximately 35 people. Those wishing to attend
are encouraged to submit an extended abstract (of no more than 10
pages) describing relevant unpublished research results to be
presented at the workshop. Others wishing to attend may submit a
short description of their relevant research interests and contributions.
Attendance will be by invitation only. Invited contributors will be
asked to provide complete papers to be distributed as (unpublished)
preprints to the workshop participants. We hope to provide these
to the participants before the workshop.

Organizing Committee:

   Fahiem Bacchus, Waterloo                      fbacchus@logos.uwaterloo.ca
   Craig Boutilier, British Columbia (co-chair)  cebly@cs.ubc.ca
   James P. Delgrande, Simon Fraser (co-chair)   jim@cs.toronto.edu
   Peter Gardenfors, Lund                        Peter.Gardenfors@fil.lu.se
   John F. Horty, Maryland                       horty@umiacs.umd.edu
   Judea Pearl, UCLA                             judea@cs.ucla.edu

Enquiries may be directed to members of the organizing committee.
Electronic submissions will not be accepted. Five (5) copies of
all submitted materials should be sent to:

Craig Boutilier
Department of Computer Science
University of British Columbia
Vancouver, BC  V6T 1Z2
CANADA

Email: cebly@cs.ubc.ca
Phone: +1 604 822-4632
FAX: +1 604 822-5485

All submissions should include email addresses and (if possible)
FAX numbers of the authors to facilitate timely communication.

Important Dates:
   Submissions received by: March 1, 1993
   Notification of acceptance by: April 1, 1993
   Final papers due: June 1, 1993

All workshop participants will be required to register for the
main conference (IJCAI'93). There will be a small additional workshop
registration fee of 300 FF (about 60 USD). Information about
conference registration may be obtained from vidonne@imag.fr.

Newsgroups: comp.ai