AMAST Mail - October 1999
[Prev][Next][Index]

LPNMR'99 Call for Participation


                         **************************
                         * CALL FOR PARTICIPATION *
                         **************************

                   5th International Conference on Logic
                   Programming and Nonmonotonic Reasoning

                                  LPNMR'99

                   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. Niemelä, 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/.
[ AMAST Mail - October 1999 | September 1999 | November 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]