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 <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, Austria 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: ____________________________________________________________________