ILPS'97 Postconference Workshop
LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION (LPKR'97)
In conjunction with ILPS'97, Port Jefferson, N.Y., October 12-17, 1997
========================================================================
=====
The development of machines that are able to reason and act intelligently
is one of the most challenging and desirable tasks ever attempted by
humanity. It is therefore not surprising that the investigation of
techniques for representing and reasoning about knowledge has become an
area of paramount importance to the whole field of Computer Science. Due to
logic programming's declarative nature, and its amenability to
implementation, it quickly became a prime candidate for a knowledge
representation language.
Impressive research progress of the past decade made the role of logic
programming as a major knowledge representation tool even more apparent by
establishing close relationships between logic programs, deductive
databases and other non-monotonic reasoning formalisms. This impressive
progress, coupled with the advent of low cost multiprocessor machines and
significant advances in logic programming implementation techniques, now
provides us with a great opportunity to bring to fruition computationally
efficient implementations of extended logic programming and use it as a
powerful knowledge representation tool.
This is the third (after ICLP'94 and JICSLP'96) in a series of workshops
which we are organizing in conjunction with Logic Programming conferences.
However, as shown by the following list of suggested topics, its scope is
significantly broader than the previous ones.
The Program Committee will review extended abstracts rather than complete
papers. They must be written in English, not to exceed 12 pages, and
contain a cover page including a 200 word abstract with a list of keywords,
postal and electronic addresses as well as phone and fax numbers of the
contact author. LaTeX article-style (12pt) on 8.5'' x 11'' is appropriate.
Accepted papers must be presented at the workshop and are required to be
withdrawn from other refereed conferences or workshops. Registration for
the workshop will be handled by the organizers of ILPS'97 (see
http://www.ida.liu.se/~ilps97/). The LPKR'97 WWW home page is:
http://www.cs.ucr.edu/~teodor/cfp-97.html.
Send a compressed and uuencoded Postscript or DVI file with your submission
by May 1, 1997} to each member of the organizing committee via e-mail
(addresses are listed below). Authors will be notified of the acceptance or
rejection of their papers by July 1, 1997. Final versions of the accepted
papers must be received by August 15, 1997. The informal workshop
proceedings will be available at the conference. We are planning to publish
a regular Proceedings volume in the Springer LNAI-series. Besides extended
versions of the accepted papers, workshop participants will be invited to
submit additional papers for the Proceedings. All submitted papers will
undergo a separate review process.
------------------------- DETAILED INFORMATION ----------------------------
ORGANIZING COMMITTEE:
- Juergen Dix, University of Koblenz, Germany
- Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
- Teodor Przymusinski, University of California, USA
----------------------------------------------------------------------
PROGRAMME COMMITTEE:
- Juergen Dix, University of Koblenz, Germany
- Phan Minh Dung, Asian Institute of Technology, Bangkok, Thailand
- Robert Kowalski, Imperial College, London, UK
- Vladimir Lifschiz, University of Texas, USA
- Jack Minker, University of Maryland, USA
- Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
- Teodor Przymusinski, University of California, USA
- Chiaki Sakama, Wakayama University, Japan
- Mirek Truszczynski, University of Kentucky, USA
- David Warren, SUNY at Stony Brook, USA
----------------------------------------------------------------------
SUGGESTED TOPICS:
LP FUNCTIONALITIES:
- abduction
- communication
- contradiction removal
- declarative debugging
- knowledge and belief revision
- learning
- reasoning about actions
- updates
LP INTEGRATIONS:
- coupling knowledge sources
- combining functionalities
- logical agent architecture
- multi-agents architecture
LP LANGUAGE EXTENSIONS:
- constructive default negation
- disjunctive programs
- default and epistemic extensions
- metalevel programming
- object-oriented programming
- paraconsistency
- reactive rules
- strong and explicit negation
LP APPLICATIONS TO KNOWLEDGE REPRESENTATION:
- Heterogeneous databases
- Model-based diagnosis
- Modeling production systems
- Planning
- Reactive databases
- Relations to non--monotonic formalisms
- Software engineering
LP IMPLEMENTATIONS:
- Computational procedures
- Implementations
----------------------------------------------------------------------
PAPER SUBMISSION:
Send a compressed and uuencoded Postscript or DVI file
to each member of the organizing committee:
J. Dix <dix@informatik.uni-koblenz.de>
L. Pereira <lmp@di.fct.unl.pt>
T. Przymusinski <teodor@cs.ucr.edu>
----------------------------------------------------------------------
IMPORTANT DATES:
Papers Due on: May 1, 1997
Author Notification: July 1, 1997
Final version Due on: August 15, 1997
ILPS'97-Conference: October 12-17, 1997
LPKR'97-Workshop: TBA
---------------------------- END ---------------------------------
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-