Change in Knowledge Bases - Special Issue of Theory and Practice of Logic Programming journal on

• Subject: Change in Knowledge Bases - Special Issue of Theory and Practice of Logic Programming journal on
• From: Luis Moniz Pereira <lmp@di.fct.unl.pt>
• Date: Sat, 25 Nov 2000 19:43:24 +0000
• CC: wflp2000@dreyer.dsic.upv.es, Compulog Americas <iclp99pub@cs.nmsu.edu>
• Organization: Universidade Nova de Lisboa
• Reply-To: slucas@dsic.upv.es

=====================================================================
                   Sorry for multiple copies

           PS advertisement and WORD poster attached

                        Please post

=====================================================================
Special Issue of Theory and Practice of Logic Programming on
                Change in Knowledge Bases

Submission deadline:  July 31, 2001

Significant advances have been recently made in the area
of updates of logic programs, and, more generally, updates of
knowledge bases and their applications. Accordingly, the journal
Theory and Practice of Logic Programming has planned a special
issue on Change in Knowledge Bases, tentatively scheduled
to appear at the beginning of 2003.

High-quality papers are sought containing either original research
results or offering an insightful synthesis of past work on various
aspects of change in knowledge bases.

Revised and enhanced versions of papers published in conference
proceedings that have not appeared in archival journals are
eligible for submission. Surveys and comparison of state of the
art techniques are also solicited.

Topics include, but are not limited to:

(i)   updates of knowledge bases
(ii) revision, contradiction removal,preferring, approximating, and
	   other dynamic changes in knowledge bases
(iii) relationship and/or applications to software development, theory 
	of actions, multi-strategy learning, abductive planning, model-
	based diagnosis, agent architectures, and others.

Paper Submission

Papers should be written in English, and formatted using the
LaTeX style files (tlp.bst and tlp.cls) developed by the
Cambridge University Press for Theory and Practice of Logic
Programming. These files can be downloaded from the location:

	ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls

The submission deadline is July 31, 2001. Please, email a
PostScript or a PDF file, to both guest editors listed below.
Authors are also requested to email to both guest editors, as
early as possible, a short letter of intent specifying the
preliminary title and a brief abstract of the paper that they
intend to submit.

The journal's URL is: http://uk.cambridge.org/journals/tlp/

Guest Editors:

Luis Moniz Pereira 
Dept. Informatica 
Univ. Nova de Lisboa 
P-2825-114 Caparica, Portugal 
lmp@di.fct.unl.pt 

Teodor Przymusinski
Dept. Computer Science
University of California 
Riverside, CA 92521, USA
teodor@cs.ucr.edu

=====================================================================

Special

call.zip

• Prev: International Conference on Computational Intelligence for Modell ing, Control and Automation - CIMCA'2001
• Next: "Semantic Knowledge Acquisition and Categorisation" - Workshop at ESSLLI 2001
• Index: AMAST Mail Latest Update