🚀 go-pugleaf

From: os%L2@ztivax.uucp (Oskar Dressler)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Wed, 14 Nov 90 14:26+0100
Subject: <mod-ki 0594> lp & nmr workshop (call)
Keywords: Workshops

mod-ki message 0594            COPYRIGHT 1990 Hans-Werner Hein, Dortmund
************************************************************************
                            CALL FOR PAPERS
 
                      First International Workshop
                                  on
              Logic Programming and Non-Monotonic Reasoning

The First International Workshop on "Logic Programming and Non-Monotonic
Reasoning" will be held in Washington, DC from from July 22-24, 1991.
This three day workshop is intended as a forum for stimulating research
in the relationship between logic programming and non-monotonic
reasoning. A non-exclusive list of topics of interest follows:

     stable semantics               probabilistic non-monotonic theories
     default logic                  inheritance networks
     auto-epistemic logic           logics of belief
     truth maintenance systems      applications
     applications                   metalogic and non-monotonicity
     diagnosis                      inconsistency and non-monotonicity

WORKSHOP CHAIR:      Anil Nerode (Math. Sciences Institute, Cornell
                                                             University)

PROGRAM Co-CHAIRS:   Wiktor Marek (Kentucky)
                     V.S. Subrahmanian (Maryland)

PROGRAM COMMITTEE:   Krzysztof R. Apt     (CWI, Amsterdam)
                     Howard A. Blair      (Syracuse)
                     Allen L. Brown, Jr.  (Xerox/Webster)
                     Hector Geffner       (IBM Watson Center)
                     Michael Gelfond      (Texas - El Paso)
                     John F. Horty        (Maryland)
                     Michael Kifer        (Stonybrook)
                     Rich Thomason        (Pittsburgh)
                     Allen Van Gelder     (Santa Cruz)

SUBMISSION OF MANUSCRIPTS: Potential authors should submit twelve copies
of an extended abstract (maximum length: 15 pages, 12pt font,
double-spaced). Must reach the program chair at the address below by
January 21, 1991:

          V.S. Subrahmanian
          Dept. of Computer Science
          A. V. Williams Building
          University of Maryland
          College Park, MD 20742, USA.

This is a hard deadline.  Late submissions will NOT be considered under
any circumstances.  Submissions that exceed the page limit run the risk
of being rejected.  FAX and electronic submissions will not be accepted.

SUBMISSION DETAILS:  All submitted papers must be unpublished and must
be significantly different from papers under review elsewhere.
Submissions will be judged on the basis of clarity, originality or
thought, and significance of the contribution. The primary contribution
of the work must be clearly brought out. A comparison of relevant work
should be included. We emphasize that the primary focus of the workshop
is on the relationship between logic programming and non-monotonic
reasoning, as opposed to logic programming alone, or non-monotonic
reasoning alone.

NOTIFICATION: Authors will be notified about the acceptance/rejection
of their papers by:  MARCH 20, 1991. Camera-ready manuscripts will be
due by APRIL 15, 1991.

PROCEEDINGS: We are currently negotiating publication of the proceedings
with various international publishers. Proceedings will be available at
the workshop.

PARTICIPATION: In order to increase the degree of interaction amongst
workshop participants, we plan to limit attendance to 75. If you wish
to participate, please contact Wiktor Marek (marek@e.ms.uky.edu).

SPONSORS: The workshop is sponsored by the Mathematical Sciences
Institute of Cornell University and by the University of Maryland
Institute for Advanced Computer Studies. Sponsorships are also being
sought from various other professional organizations and corporations.
************************************************************************