====================================================================== PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS JICSLP'96 Postconference Workshop NMELP Non-Monotonic Extensions of Logic Programming: Theory, Applications and Implementations. in conjunction with JICSLP'96, Bonn, Germany September 2--6, 1996 ====================================================================== During the last decade a significant body of knowledge has been accumulated providing us with a better understanding of semantic issues in logic programming and the theory of deductive databases. In particular, the classes of perfect, well-founded and stable models were introduced and extensively investigated. The problem of extending these approaches with a second kind of negation, of dealing with contradiction, and of defining a suitable semantics for the class of disjunctive logic programs and deductive databases has turned out to be a difficult one, as evidenced by a large number of papers still being produced. The impressive research progress in the last years as well as significant advances in logic programming implementation techniques now provide us with a great opportunity to bring to fruition computationally efficient implementations of the recent extensions to logic programming and their applications. The resulting programming systems must not only ensure the increased expressivity and declarative transparency of the evolving paradigm of logic programming, but should also be suitable to serve as an inference engine for other non-monotonic reasoning formalisms and deductive databases, as well as a specification language for software engineering. =============== IMPORTANT DATES =============== Papers Due on: June 15, 1996 Author Notification: July 15, 1996 Final version Due on: August 10, 1996 JICSLP-Conference: Sept. 2-6, 1996 NMELP-Workshop: Sept. 5/6, 1996 ================ PAPER SUBMISSION ================ This workshop is the fifth in a series of workshops held in conjunction with Logic Programming conferences (NACLP '90, ILPS '91, ILPS '93, and ICLP '94) and will be concerned with all of the three aspects of Theory, Implementation, and Applications. Papers are welcome on all non-monotonic aspects of logic programming, including, but not limited to: Abductive Extensions New Application Domains Applications to KR Prototypes and Implementation Constructive Negation Query-Answering Procedures Disjunctive LP Semantics Epistemic Extensions Strong or Explicit Negation Inconsistency Handling Updates The Program Committee (see below for the members) will review extended abstracts rather than complete papers. They must be written in English, not exceed 15 pages, and contain a cover page including the following: a 200 word abstract with a list of keywords, postal and electronic addresses as well as phone and fax numbers of the contact author. LaTeX article-style (12pt) on 8.5'' x 11'' is appropriate (see http://www.springer.de/tex/help-tex.html for Guidelines in the LLNCS). Send ONE (1) copy of your submission by June 15, 1996 to each member of the organizing committee via e-mail (see below for the email addresses of organizing committee members). If possible, please send compressed and uuencoded *.dvi or *.ps files. Authors will be notified of the acceptance or rejection of their papers by July 15, 1996. Final versions of the accepted papers must be received by August 10, 1996. The informal workshop proceedings will be available at the conference. Accepted papers must be presented at the workshop and are required to be withdrawn from other refereed conferences or workshops. Registration for the workshop as well as fees (which include a copy of the informal proceedings) will be handled by the organizers of JICSLP'96 in a separate call. The workshop will take place at the conference site in Bonn on September 5 or 6 (exact date to be decided by the JICSLP organization). We are planning to publish a regular Proceedings volume in the Springer LNAI-series. Besides extended versions of the papers presented, participants of the workshop are allowed to submit additional papers. All submitted papers will undergo a separate review process. ===================== Organizing Committee: ===================== Juergen Dix (Germany) Luis Moniz Pereira (Portugal) Teodor Przymusinski (USA) ================== Program Committee: ================== Rachel Ben-Eliahu (Israel) Juergen Dix (Germany) Michael Gelfond (USA) Anthony Kakas (Cyprus) Victor Marek (USA) Jack Minker (USA) Luis Moniz Pereira (Portugal) Teodor Przymusinski (USA) V. S. Subrahmanian (USA) Chiaki Sakama (Japan) David S. Warren (USA) ================================= For further information, contact: ================================= Juergen Dix Universitaet Koblenz-Landau Fachbereich Informatik Rheinau 1, D-56075 Koblenz, Germany. Tel: +49 261 9119 420 Fax: +49 261 9119 496 E-mail: dix@informatik.uni-koblenz.de