From uli@uni-koblenz.de Tue Jan 25 15:40:22 EST 1994 Article: 5503 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5503 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: uli@uni-koblenz.de (Ulrich Furbach) Subject: CFP: Disjunctive Logic Programming and Disjunctive Databases Message-ID: <1994Jan24.204441.2642@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: University of Koblenz, Germany Date: Mon, 24 Jan 1994 20:44:41 GMT Approved: rick@sparky.sterling.com Expires: Wed, 16 Mar 1994 08:00:00 GMT Lines: 143 X-Md4-Signature: 58f814eed9bfb1f1b22863ffebfa4a5e ************************* CALL FOR PAPERS************************ During the 13th World Computer Congress IFIP Congress '94 taking place in Hamburg (Germany) from August 31 to September 2, a one day workshop (GI Fachgespr"ach) "Disjunctive Logic Programming and Disjunctive Databases" will be organized. The success of the Logic Programming Paradigm gives rise to a closer connection between the areas of "Program- ming" and "Databases". It turns out that general deductive tech- niques (including full first-order logic) can be used efficiently in both disciplines. While in the area of programming languages one investigates semantics for indefinite and disjunctive pro- grams (looking for suitable query-answering mechanisms), such programs might be used in the area of databases to formulate both deductive tasks and integrity constraints. Presentations and dis- cussions are invited preferably on the topics just mentioned. This includes (but is not limited to): semantics of disjunctive logic programs, proof-theoretic approaches for disjunctive pro- grams, fixpoint-iteration, non-monotonic aspects of programming and knowledge representation. INVITED TALKS will be given by: Donald Loveland Francois Bry Teodor Przymusinski The workshop will be held on August 31. Attendees have to regis- ter to the conference. Four copies of a paper (extended abstracts) of no more than 8 pages (German DIN A4 format) should be submitted to the address given below according to the following deadline: Submission deadline: March 15 Notification of acceptance: April 15 Camera-ready copy due: May 31 Accepted papers will be published in informal workshop proceed- ings, available at the conference. Selected papers will be pub- lished in the official Springer proceedings. PROGRAMME COMMITTEE: - R. Bayer, Muenchen - G. Brewka, Bonn - F. Bry, Muenchen - J. Dix, Koblenz - U. Furbach, Koblenz - H. Herre, Leipzig - R. Studer, Karlsruhe CONTACT ADDRESS: Ulrich Furbach University of Koblenz Dept. of Computer Science Rheinau 1 56075 Koblenz Germany Phone: +49 261 9119 433 FAX: +49 261 9119 499 Email: uli@informatik.uni-koblenz.de -- Ulrich Furbach Tel: +49 261 9119-433 Institut fuer Informatik Fax: +49 261 9119-499 Universitaet Koblenz E-mail: uli@infko.uni-koblenz.de Rheinau 3-4 D 56075 KOBLENZ GERMANY _________________ ________