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.
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 the ILPS'97 Conference.