vs@tarski.cs.umd.edu (VS Subrahmanian) (11/16/90)
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 of 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).
STUDENTS: A limited amount of travel support is available for students
participating in the workshop. Applications for student support must
be made to Dawn Vance at the University of Maryland (same address as
for submission of papers) by February 15th, 1991. Applications must
be accompanied by a vita.
SPONSORS: The workshop is sponsored by the Mathematical Sciences
Institute of Cornell University, the
Association for Logic Programming and by the University of Maryland Institute
for Advanced Computer Studies. Sponsorships are also being sought from
various other professional organizations and corporations.