<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<br><tt>
We apologize for multiple postings</tt>
<p><tt>_____________________________________________________________________________</tt>
<p><tt>
UNKB 2002 <A HREF="http://floc02.diku.dk/UNKB/">http://floc02.diku.dk/UNKB/</A></tt>
<p><tt> Workshop on "Updating
Non-Monotonic Knowledge Bases"</tt>
<p><tt>
Copenhagen, Denmark, July 28, 2002</tt>
<p><tt>
Affiliated with ICLP 2002 <A HREF="http://floc02.diku.dk/ICLP/">http://floc02.diku.dk/ICLP/</A></tt>
<p><tt> Significant advances have been made recently in the area of
updates of logic</tt>
<br><tt> programs, and, more generally, updates of non-monotonic knowledge
bases and</tt>
<br><tt> their applications. Numerous papers were published on this
subject and the</tt>
<br><tt> journal Theory and Practice of Logic Programming (TPLP) has
decided to publish</tt>
<br><tt> its Special Issue on Change in Knowledge Bases, tentatively
scheduled to</tt>
<br><tt> appear at the beginning of 2003, to which extended versions
of the workshop</tt>
<br><tt> papers might be submitted.</tt>
<p><tt> Given the strong activity and extensive work in this area,
the present workshop,</tt>
<br><tt> scheduled for July 28 during the 2002 Federated Logic Conference,
will help</tt>
<br><tt> provide a further boost to and enhance visibility of the
recent active research on</tt>
<br><tt> non-monotonic KB updates and its applications.</tt>
<p><tt> The workshop seeks high-quality contributions containing original
research</tt>
<br><tt> results or offering an insightful synthesis of past work
on various aspects of</tt>
<br><tt> updating non-monotonic knowledge bases.</tt>
<p><tt> Topics will include, but are not limited to:</tt>
<p><tt> Updates of knowledge bases, in single and
multi-agent contexts</tt>
<br><tt> Revision, contradiction removal, preferring,
approximating, and other</tt>
<br><tt>
dynamic changes to knowledge bases</tt>
<br><tt> Relationship and/or applications to software
development, theory of actions,</tt>
<br><tt>
multi-source knowledge combination, abductive update planning,</tt>
<br><tt>
model-based diagnosis, agent architectures, and others</tt>
<br><tt> Implementation issues and systems.</tt>
<p><tt> Organizers</tt>
<p><tt> Luís Moniz Pereira <lmp@di.fct.unl.pt></tt>
<br><tt> Universidade
Nova de Lisboa, Monte da Caparica, Portugal</tt>
<p><tt> Teodor C. Przymusinski <teodor@cs.ucr.edu></tt>
<br><tt> University
of California, Riverside, CA, USA</tt>
<p><tt> Program Committee</tt>
<p><tt> José Alferes <jja@di.fct.unl.pt>,
New University of Lisbon, Monte da</tt>
<br><tt> Caparica, Portugal</tt>
<br><tt> Chitta Baral, <chitta@asu.edu> Arizona
State University, Tempe, AZ, USA</tt>
<br><tt> Thomas Eiter <eiter@kr.tuwien.ac.at>
Technical University of Vienna, Vienna,</tt>
<br><tt> Austria</tt>
<br><tt> Katsumi Inoue <inoue@eedept.kobe-u.ac.jp>
Kobe University, Kobe, Japan</tt>
<br><tt> Nicola Leone <leone@dbai.tuwien.ac.at>
Technical University of Vienna,</tt>
<br><tt> Vienna, Austria</tt>
<br><tt> Luís Moniz Pereira <lmp@di.fct.unl.pt>,
New University of Lisbon, Monte da</tt>
<br><tt> Caparica, Portugal</tt>
<br><tt> Teodor C. Przymusinski <teodor@cs.ucr.edu>,
University of California,</tt>
<br><tt> Riverside, CA, USA</tt>
<br><tt> Chiaki Sakama, <sakama@sys.wakayama-u.ac.jp>
Wakayama University,</tt>
<br><tt> Wakayama, Japan</tt>
<br><tt> Mirek Truszczynski <mirek@cs.engr.uky.edu>
University of Kentucky,</tt>
<br><tt> Lexington, KY, USA</tt>
<p><tt> Important Dates</tt>
<p><tt> Paper submission: Sun March 31, 2002</tt>
<br><tt> Author notification: Fri May 10, 2002</tt>
<br><tt> Final papers due: Fri
May 31, 2002</tt>
<p><tt> Send PS or PDF files to both organizers.</tt>
<br><tt> Local proceedings are foreseen.</tt>
<br>
<p><tt>______________________________________________________________________</tt>
<br><tt>Luís Moniz Pereira, Professor <a href="http://centria.di.fct.unl.pt/~lmp/">http://centria.di.fct.unl.pt/~lmp/</a></tt>
<br><tt>______________________________________________________________________</tt>
<br><tt>Director AI Centre CENTRIA <a href="http://centria.fct.unl.pt/">http://centria.fct.unl.pt/</a></tt>
<br><tt>Departamento de Informática Ph (+351)
21 294 8533 Fax 21 294 8541</tt>
<br><tt>Universidade Nova de Lisboa Secretary:
(+351) 21 294 8536</tt>
<br><tt>2829-516 Caparica, Portugal Email: lmp@di.fct.unl.pt</tt>
<p><tt>____________________________________________________________________</tt>
<br><tt>Teodor C. Przymusinski, Professor <a href="http://www.cs.ucr.edu/~teodor/">http://www.cs.ucr.edu/~teodor/</a></tt>
<br><tt>____________________________________________________________________</tt>
<br><tt>Office
Phone: (909)787-5015</tt>
<br><tt>College of Engineering Department: (909)787-5639</tt>
<br><tt>Computer Science
Fax: (909)787-4643</tt>
<br><tt>University of California E-mail: teodor@cs.ucr.edu</tt>
<br><tt>Riverside, CA 92521, USA WWW:</tt>
<br><tt>____________________________________________________________________</tt>
<br>
<br> </html>