UNKB 2002 - ICLP'02 Workshop on "Updating Non-Monotonic Knowledge Bases"

Luis Moniz Pereira <>
Tue Feb 19 14:13:29 CET 2002

             We apologize for multiple postings


                              UNKB 2002

        Workshop on  "Updating Non-Monotonic Knowledge Bases"

                 Copenhagen, Denmark, July 28, 2002

                     Affiliated with ICLP 2002

 Significant advances have been made recently in the area of updates of
 programs, and, more generally, updates of non-monotonic knowledge bases
 their applications. Numerous papers were published on this subject and
 journal Theory and Practice of Logic Programming (TPLP) has decided to
 its Special Issue on Change in Knowledge Bases, tentatively scheduled
 appear at the beginning of 2003, to which extended versions of the
 papers might be submitted.

 Given the strong activity and extensive work in this area, the present
 scheduled for July 28 during the 2002 Federated Logic Conference, will
 provide a further boost to and enhance visibility of the recent active
research on
 non-monotonic KB updates and its applications.

 The workshop seeks high-quality contributions containing original
 results or offering an insightful synthesis of past work on various
aspects of
 updating non-monotonic knowledge bases.

 Topics will include, but are not limited to:

     Updates of knowledge bases, in single and multi-agent contexts
     Revision, contradiction removal, preferring, approximating, and
               dynamic changes to knowledge bases
     Relationship and/or applications to software development, theory of
               multi-source knowledge combination, abductive update
               model-based diagnosis, agent architectures, and others
     Implementation issues and systems.


     Luís Moniz Pereira <>
           Universidade Nova de Lisboa, Monte da Caparica, Portugal

     Teodor C. Przymusinski <>
           University of California, Riverside, CA, USA

 Program Committee

     José Alferes <>, New University of Lisbon, Monte
     Caparica, Portugal
     Chitta Baral, <> Arizona State University, Tempe, AZ,
     Thomas Eiter <> Technical University of
Vienna, Vienna,
     Katsumi Inoue <> Kobe University, Kobe,
     Nicola Leone <> Technical University of
     Vienna, Austria
     Luís Moniz Pereira <>, New University of Lisbon,
Monte da
     Caparica, Portugal
     Teodor C. Przymusinski <>, University of
     Riverside, CA, USA
     Chiaki Sakama, <> Wakayama University,
     Wakayama, Japan
     Mirek Truszczynski <> University of Kentucky,
     Lexington, KY, USA

 Important Dates

     Paper submission:  Sun March 31, 2002
     Author notification: Fri May 10, 2002
     Final papers due:    Fri May 31, 2002

 Send PS or PDF files to both organizers.
 Local proceedings are foreseen.

Luís Moniz Pereira, Professor     http://centria.di.fct.unl.pt/~lmp/
Director AI Centre CENTRIA      http://centria.fct.unl.pt/
Departamento de Informática     Ph (+351) 21 294 8533  Fax 21 294 8541
Universidade Nova de Lisboa      Secretary: (+351) 21 294 8536
2829-516 Caparica, Portugal     Email: 

Teodor C. Przymusinski, Professor    http://www.cs.ucr.edu/~teodor/
Office                     Phone: (909)787-5015
College of Engineering     Department: (909)787-5639
Computer Science           Fax: (909)787-4643
University of California   E-mail: 
Riverside, CA 92521, USA   WWW:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20020219/d1034cc5/attachment.html>

More information about the erlang-questions mailing list