[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

             We apologize for multiple postings


                              UNKB 2002           http://floc02.diku.dk/UNKB/

        Workshop on  "Updating Non-Monotonic Knowledge Bases"

                 Copenhagen, Denmark, July 28, 2002

                     Affiliated with ICLP 2002    http://floc02.diku.dk/ICLP/

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

 Given the strong activity and extensive work in this area, the present workshop,
 scheduled for July 28 during the 2002 Federated Logic Conference, will help
 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 research
 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 other
               dynamic changes to knowledge bases
     Relationship and/or applications to software development, theory of actions,
               multi-source knowledge combination, abductive update planning,
               model-based diagnosis, agent architectures, and others
     Implementation issues and systems.


     Luís Moniz Pereira <lmp@di.fct.unl.pt>
           Universidade Nova de Lisboa, Monte da Caparica, Portugal

     Teodor C. Przymusinski <teodor@cs.ucr.edu>
           University of California, Riverside, CA, USA

 Program Committee

     José Alferes <jja@di.fct.unl.pt>, New University of Lisbon, Monte da
     Caparica, Portugal
     Chitta Baral, <chitta@asu.edu> Arizona State University, Tempe, AZ, USA
     Thomas Eiter <eiter@kr.tuwien.ac.at> Technical University of Vienna, Vienna,
     Katsumi Inoue <inoue@eedept.kobe-u.ac.jp> Kobe University, Kobe, Japan
     Nicola Leone <leone@dbai.tuwien.ac.at> Technical University of Vienna,
     Vienna, Austria
     Luís Moniz Pereira <lmp@di.fct.unl.pt>, New University of Lisbon, Monte da
     Caparica, Portugal
     Teodor C. Przymusinski <teodor@cs.ucr.edu>, University of California,
     Riverside, CA, USA
     Chiaki Sakama, <sakama@sys.wakayama-u.ac.jp> Wakayama University,
     Wakayama, Japan
     Mirek Truszczynski <mirek@cs.engr.uky.edu> 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: lmp@di.fct.unl.pt

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: teodor@cs.ucr.edu
Riverside, CA 92521, USA   WWW: