Deadline for submissions to the LOGIC PROGRAMMING AND KNOWLEDGE
REPRESENTATION WORKSHOP (LPKR'97) at ILPS'97 has been extended to May
20, 1996. Call for papers follows.
CALL FOR PAPERS
ILPS'97 Postconference Workshop
LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION (LPKR'97)
In conjunction with ILPS'97, Port Jefferson, N.Y., October 12-17,
1997
3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
3D=3D
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 20, 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-