ILPS-91 Workshop, 10/31/91
Date: Mon, 1 Jul 1991 10:00:11 EDT
Call For Participation
Workshop on Disjunctive Logic Programs
The aim of the workshop is to bring together researchers active in the
area of disjunctive logic programming and related fields, involving reason-
ing with indefinite information. The workshop will be held in conjunction
with the International Logic Programming Symposium (formerly
NACLP) to be held in San Diego, California, U.S.A., from October 28
to October 31, 1991. The workshop will be held after the conference.
The format of the workshop will be in the form of presentations (of
20-30 minutes duration) on completed work and work in progress. We
also expect the workshop to be informal, providing a forum for close
interactions between participants. Presentations and discussions are
invited on any topic relevant to disjunctive programming, including
but not limited to
o Semantics for Disjunctive Logic Programming
o Procedural Interpretations of Disjunctive Logic Programming
o Implementations of Disjunctive Logic Programming Systems
o Applications of Disjunctive Logic Programming
o Reasoning with Indefinite Information
o Disjunctive Databases
o Non-monotonic Reasoning and Disjunctive Information.
If you are interested in giving a presentation of your current research
at the workshop, please send an extended abstract (about 6 pages) by
August 15, 1991, to the address given below. Notification of acceptance
will be given by September 15, 1991. We intend to bring out a proceed-
ings of the workshop in the form of an informal publication and would
require a revised abstract or a full paper of accepted presentations by
October 1, 1991. Those who are only interested in attending the work-
shop are also welcome and are kindly requested to send their postal and
Don Loveland, Duke University.
Jorge Lobo, University of Maryland.
Arcot Rajasekar, University of Kentucky.
Deadline for paper submission: August 15th;
Notification for acceptance of presentation: September 15th;
Final Copy for inclusion in proceedings: October 1st.
Department of Computer Science
Patterson Office Towers
University of Kentucky
Lexington, Kentucky 40506, U.S.A.
Tel: (606) 257 3892
Fax: (606) 258 1971