Corpora: WORKSHOP CALL FINAL VERSION

Dov Gabbay (dg@dcs.kcl.ac.uk)
Fri, 22 Jan 1999 17:33:15 +0000

***** WORKSHOP ON PROOF THEORY FOR CONDITIONAL AND NON-MONOTONIC LOGIC
******

DOV GABBAY AND HOWARD BARRINGER

Conditional logic and non-monotonic logic are central areas in
philosophy, computer science and language. Moreover, the connection
between
non-monotonic consequence "A entails B" and the conditional "A>B" is
well
known, so too are the formal similarities between the conditional and
substuctural implications.

The semantic modelling (possible worlds, probabilistic, translational,
etc) of
the conditional and non-monotonic consequence seems to be relatively
well
developed but not much work has been done on the proof-theoretic
aspects.

Put simply, we need systems which can do the following:

Given a (non-monotonic/conditional) database Delta and given a formula C

(which could be of the form A>B ), we need formal but intuitive
algorithmic, proof procedures (e.g. tableaux, Gentzen, goal directed,
LDS
etc.) for determining whether D follows from Delta . Furthermore, we
need to
correlate different such proof systems within the landscape of known
semantically presented conditional /non-monotonic logics.

This workshop calls for papers in this area covering some of (but not
exclusively) of the topics below:

* proof rules for conditional/non-monotonic logics;

* connections between non-monotonic consequence and conditionals;

* connections with belief revision and the Ramsey test (no
triviality
result holds if the database is non-monotonic);

* time, action and the conditional;

* conditional proof theory compared to substructural proof theory;

* translations of conditional systems into classical and/or modal
logic;

* labelled proof systems for conditional logic;

* executable conditional logic.

The workshop will take place during the second week of the ESSLLI Summer

School (August 16-20, 1999) and allows for up to 12 30-45 minute
lectures.

The ESSLLI Summer School is organized under the auspices of the
European Association for Logic, Language and Information (FoLLI).
Previous ESSLLI Summer Schools have been highly successful,
attracting around 500 students from Europe and elsewhere. The
school has developed into an important meeting place and forum
for discussion for students and researchers interested in the
interdisciplinary study of Logic, Language and Information.
For more information see <http://esslli.let.uu.nl>.

Good papers from the workshop will be published either as a volume in
one
of Dov Gabbay's book series or as a special issue in one of the
journals
for which he is an editor (e.g. JLC or IGPL).

All researchers in the area, but especially Ph.D. students and young
researchers, are encouraged to submit a two-page abstract (hard copy or
e-mail (plain ASCII or (La)TeX) .

SUBMISSION DETAILS AND DATES AS FOLLOWS:

* DEADLINE FOR SUBMISSIONS march 15,99

* SUBMIT TO

Jane Spurr , Department of computer science , King's College London,
Strand,
London WC2R 2LS.
It is preferable to submit electronically to jane@dcs.kcl.ac.uk.

* NOTIFICATION OF ACCEPTANCE : May 15,99

* FURTHER NOTE
Papers submitted to the workshop can also be considered, if the
author
so wishes, as a regular submission to any of Dov Gabbay's journals.

professor D M Gabbay

Dept of computer Science
King's College
Strand
London WC2R 2LS

Telephone + 44 171 873 5090
Fax + 44 171 240 1071

Latex or postscript files send to Jane Spurr jane@dcs.kcl.ac.uk