Forwarded message from [lpnmr99@dbai.tuwien.ac.at] sent originally on Thu, 4 Nov 1999 00:40:52 +0800 (GMT-8): : ************************** : * CALL FOR PARTICIPATION * : ************************** : * * : *Early Registration ends October 30!!!* : ************************************* : : LPNMR'99 : : 5th International Conference on Logic : Programming and Nonmonotonic Reasoning : : El Paso, Texas USA, December 2--4, 1999 : : http://cs.utep.edu/lpnmr99/ : http://www.dbai.tuwien.ac.at/lpnmr99/ : : : Contents of this Announcement : : 1. General Information : 2. LPNMR'99 and ICLP'99 : 3. Program : 4. Registration Fees : 5. Hotels and Further Information : : 1. General Information : : LPNMR'99 is the fifth in the series of international 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. : : 2. LPNMR'99 and ICLP'99 : : LPNMR'99 will be coordinated with the ICLP'99, which starts on November : 29 in Las Cruces, approximately 40 miles from El Paso. : : Special fares are available for those that attend both LPNMR'99 and : ICLP'99! There will be a joint social dinner at the Holiday Inn in : Las Cruces on Wednesday evening. : : Those attending both conferences, and using the shuttle to get to : Las Cruces from El Paso, should buy a return ticket to El Paso to : be used after the banquet on Wednesday evening (identify yourself as : part of the "CS Conference" group to get the special discounted rate : of $35 for a roundtrip). : : For more details about the shuttle service between Las Cruces and : El Paso (reservations/schedule), please check: : http://www.cs.nmsu.edu/~iclp99/ (click on Travel information). : : The price of the joint ICLP/LPNMR dinner is included in the registration : fee of the participants. The cost of a dinner ticket for a guest is $35. : : : 3. Program : : The program committee prepared a diverse and interesting program including : 26 regular talks and 4 invited talks. : : WEDNESDAY, DECEMBER 1 (LAS CRUCES, NEW MEXICO) : : * 17 - 18 Invited Talk : : Answer Set Programming : V. Lifschitz : : * 19 - Conference Banquet (Jointly organized with ICLP'99 in Las : Cruces, New Mexico.) : : THURSDAY, DECEMBER 2 (EL PASO, TEXAS) : : * 9.30 - 9.40 LPNMR'99 Opening : : * 9.40 - 11.10 Section: Complexity and Expressiveness : : Fixed parameter complexity in AI and nonmonotonic reasoning : G. Gottlob , F. Scarcello, M. Sideri : : Classifying Semi-Normal Default Logic on the Basis of its : Expressive Power : T. Janhunen : : Locally Determined Nonmonotonic Rule Systems : D. Cenzer, J.B. Remmel, A. Vanderbilt : : * 11.10 - 11.30 coffee break : : * 11.30 - 13.00 Section: Revisions and Changes : : Annotated revision programs : V. Marek, I. Pivkina, M. Truszczynski : : Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic : Reasoning : J. Sefranek : : An Argumentation Framework for Reasoning about Actions and Changes : A. Kakas, R. Miller, F. Toni : : * 13.00 - 14.45 lunch : : * 14.45 - 15.45 Invited talk : : World-Modeling vs. World-Axiomatizing : D. Mc Allester : : * 15.45 - 17.15 Section: Planning : : Representing transition systems by logic programs : V. Lifschitz, H. Turner : : Transformations of Logic Programs Related to Causality and : Planning : E. Erdem, V. Lifschitz : : From Causal Theories to Logic Programs (Sometimes) : F. Lin, K. Wang : : FRIDAY, DECEMBER 3 : : * 9 - 10.30 Section: Updates : : Monotone Expansion of Updates in Logical Databases : M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos : : Updating Extended Logic Programs through Abduction : C. Sakama, K. Inoue : : LUPS - a language for updating logic programs : J. J. Alferes, L. M. Pereira, H. Przymusinska, T. Przymusinski : : * 10.30 - 11.15 coffee break : : * 11.15 - 12.45 Section: Computation and Applications : : Pushing Goal Derivation in DLP Computations : W. Faber, N. Leone, G. Pfeifer : : Linear Tabulated Resolution for Well Founded Semantics : Y.D. Shen, L.Y. Yuan, J.H. You : : A Case Study in Using Preference Logic Grammars for Knowledge : Representation : B. Cui, T. Swift, D.S. Warren : : * 12.45 - 14.45 lunch : : * 14.45 - 15.45 Invited Talk : : Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to : Solve Real-World Problems : L.Morgenstern : : * 15.45 - 17.15 Section: Semantics : : Minimal Founded Semantics for Disjunctive Logic Programming : S. Greco : : On the role of negation in choice logic programs : M. De Vos, D. Vermeir : : Approximating Reiter`s Default Logic : T. Linke, T. Schaub : : SATURDAY, DECEMBER 4 : : * 9 -10.30 Section: Multi-Valued Semantics : : Coherent Well-founded Annotated Logic Programs : C. V. Damasio, L. M. Pereira, T. Swift : : Many-Valued Disjunctive Logic Programs with Probabilistic : Semantics : T. Lukasiewicz : : Extending Disjunctive Logic Programming by T-norms : C. Mateis : : * 10.30 -11.15 coffee break : : * 11.15 -12.45 Section: Extensions : : Extending the Stable Model Semantics with More Expressive Rules : P. Simons : : Stable Model Semantics for Weight Constraint Rules : I. Niemelae, P. Simons, T. Soininen : : Towards first-order nonmonotonic reasoning : R. Rosati : : * 12.45 - 14.45 lunch : : * 14.45 - 15.45 Invited Talk : : Using LPNMR for Problem Specification and Code Generation : M. Cadoli : : * 15.45 - 16.45 Section: Comparisons : : Comparison of Sceptical NAF-Free Logic Programming Approaches : G. Antoniou, M.J. Maher, Billington, G. Governatori : : Characterizations of Classes of Programs by Three-Valued Operators : P. Hitzler, A.K. Seda : : : 4. Registration Fees : : Before October 30 : : Non Students: Non-ALP Members ALP Members : If attending LPNMR (only) $250 $250 : If attending both ICLP and LPNMR $225 $200 : Students: : If attending LPNMR (only) $200 $200 : If attending both ICLP and LPNMR $175 $150 : : After October 30 : : Non Students: : If attending LPNMR (only) $300 $300 : If attending both ICLP and LPNMR $275 $250 : Students: : If attending LPNMR (only) $250 $250 : If attending both ICLP and LPNMR $225 $200 : : The LPNMR'99 registration fee includes continental breakfast and : coffee-breaks on all conference days, the LPNMR'99 proceedings and : the banquet (lunches/dinners are not included). : : For those attending ICLP in Las Cruces there is a special reduced : registration rate. However, you need to register with ICLP as : well. The reduced registration rate includes the Banquet and the : proceedings. : : Student registration rates include proceedings of LPNMR'99 as well : as the banquet. : : 5. Hotels and Further Information : : For hotel and local information as well as up-to-date and more : detailed information please have a look at our conference site at : http://cs.utep.edu/lpnmr99/.
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html