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
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.

 Organizers

     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
da
     Caparica, Portugal
     Chitta Baral, <> Arizona State University, Tempe, AZ,
USA
     Thomas Eiter <> Technical University of
Vienna, Vienna,
     Austria
     Katsumi Inoue <> Kobe University, Kobe,
Japan
     Nicola Leone <> Technical University of
Vienna,
     Vienna, Austria
     Luís Moniz Pereira <>, New University of Lisbon,
Monte da
     Caparica, Portugal
     Teodor C. Przymusinski <>, University of
California,
     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