From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/851 Path: news.gmane.org!not-for-mail From: "LPNMR'99" Newsgroups: gmane.science.mathematics.categories Subject: LPNMR'99 Call for Papers Date: Wed, 2 Sep 1998 22:49:46 +0200 (MET DST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT X-Trace: ger.gmane.org 1241017239 27852 80.91.229.2 (29 Apr 2009 15:00:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:00:39 +0000 (UTC) To: multiple mailing lists: Original-X-From: cat-dist Wed Sep 2 21:28:26 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA04307 for categories-list; Wed, 2 Sep 1998 20:14:47 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 123 Xref: news.gmane.org gmane.science.mathematics.categories:851 Archived-At: [ Sorry for multiple copies. If you believe we have sent this to a list not appropriate for this announcement, please let us know (forwarding the full headers of this mail in your reply). ] ******************* * CALL FOR PAPERS * ******************* 5th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'99 El Paso, Texas USA, September 22--25, 1999 http://www.dbai.tuwien.ac.at/lpnmr99/ LPNMR'99 is the fifth in the series of internatinal meetings on logic programming and nonmonotonic reasoning. Four previous meetings were held in Washington, U.S.A., in 1991, in Lisbon, Portugal, in 1993, in Lexington, U.S.A., in 1995, and in Dagstuhl, Germany, in 1997. The proceedings of LPNMR'99 will be published by Springer in the LNCS/LNAI series (http://www.springer.de/comp/lncs/). Aim and Scope The aim of the conference is to facilitate interactions between researchers interested in the design and implementation of logic based programming languages and database systems and researchers who work in the areas of knowledge representation and non-monotonic reasoning. A non-exhaustive list of topics of interest include: 1. Development and mathematical investigation of logical systems with non-monotonic entailment relations. This includes (but is not limited to) 1. Extensions of ``classical'' LPNMR languages by new logical connectives and new inference capabilities such as abduction, reasoning by cases, etc; 2. Semantics of new and existing languages; 3. Relationship between various formalisms; 4. Complexity and expressive power; 5. Development and implementation of inference mechanisms for LPNMR systems; 6. Updates and other operations on LPNMR systems; 7. LPNMR systems with uncertainty. 2. Applications of LPNMR systems. 1. Methodology of representing knowledge in LPNMR languages. Theory and practice; 2. LPNMR languages and algorithms in planning, diagnoses, software engineering, and other domains; 3. Implemented LPNMR systems: Descriptions, Comparisons, Evaluations and Benchmarks. Submission of Papers Papers must not exceed twelve (12) pages including references and figures, with a maximum of 38 lines per page and an average of 75 characters per line (corresponding to the LaTeX article style, 12 pt). Further information is available on the Springer website at http://www.springer.de/comp/lncs/authors.html. Papers must be written in English and include a cover page containing: title, abstract, keywords, postal and email addresses of all authors, voice and fax number of the contact author. Papers should be submitted in five copies to either of the Programme Co-chairs. Electronic submission should be sent in (compressed uuencoded) postscript to LPNMR99@dbai.tuwien.ac.at. Both electronic and postal submission must be received by April 6, 1999; by the same date, the authors must also send a text-only version of the cover page to LPNMR99@dbai.tuwien.ac.at. Accepted papers must be presented at the conference. Important Dates Monday April 6, 1999: Papers due Monday May 24, 1999: Notification of acceptance/rejection Monday June 21, 1999: Final camera-ready papers due Wednesday--Saturday September 22--25, 1999: LPNMR'99 Program Co-Chairs Michael Gelfond (University of Texas at El Paso, USA) Nicola Leone (Vienna University of Technology, Austria) Program Committee Jose Julio Alferes (Universidade de Evora, Portugal) Chitta Baral (University of Texas at El Paso, USA) Nicole Bidoit (Université de Bordeaux 1, France) Jürgen Dix (University of Koblenz, Germany) Thomas Eiter (University of Giessen, Germany) Vladimir Lifschitz (University of Texas at Austin, USA) Fangzhen Lin (The Hong Kong University of Science and Technology, China) Jack Minker (University of Maryland, USA) Anil Nerode (Cornell University, USA) Ilkka Niemela (Helsinki University of Technology, Finland) Dino Pedreschi (University of Pisa, Italy) Pasquale Rullo (University of Calabria, Rende, Italy) Chiaki Sakama (Wakayama University, Japan) V.S. Subrahmanian (University of Maryland, USA) Francesca Toni (Imperial College, London, U.K.) Miroslaw Truszczynski (University of Kentucky at Lexington, USA) Hudson Turner (University of Minnesota at Duluth, USA) Moshe Y. Vardi (Rice University, USA) Jia-Huai You (University of Alberta, Canada) Publicity Chair Gerald Pfeifer (Vienna University of Technology, Austria) For further details and up-to-date information please check our web page http://www.dbai.tuwien.ac.at/lpnmr99/