UNKB 2002 - ICLP'02 Workshop on "Updating Non-Monotonic Knowledge Bases"
Luis Moniz Pereira
lmp@di.fct.unl.pt
Tue, 19 Feb 2002 13:13:29 +0000
--------------B7CA87986983B31543C6B168
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
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:
____________________________________________________________________
--------------B7CA87986983B31543C6B168
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
<!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>
--------------B7CA87986983B31543C6B168--