_____________________________________________________________________________
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:
____________________________________________________________________