Friday, July 12, 1997
This workshop is the second in a series intended to explore the elective affinities between Logic Programming and Internet technologies with emphasis on enhancing the World Wide Web with knowledge, deductive abilities and superior forms of interactive behavior. With the paradigm shift to highly inter-connected computers and programming tools, logic programming languages have a unique opportunity to contribute to practical Internet application development. Simplicity, remote executability, robustness, automatic memory management, are among the features some LP languages share with emerging tools like Java. Superior meta-programming and high-level distributed programming facilities, built-in grammars and dynamic databases, declarative semantics are among their competitive advantages. Embedding of LP components in Internet applications as well as recent Java-based implementations of LP languages are promising a quick integration of LP research in widely used mainstream software systems.
As its popular predecessor held at JICSLP'96 in Bonn, the workshop explores the use of logic programming tools for developing practical Internet applications as well as theoretical work based on declarative techniques giving new insights on understanding emerging net technologies.
Among the topics of interest (some slots still to be filled by future work):
Koen De Bosschere ,
University of Gent, Belgium
Paolo Ciancarini,
University of Bologna, Italy
Veronica Dahl,
Simon Fraser University, Canada
Andrew Davison ,
Prince of Songkla University, Thailand
Bart Demoen,
K.U. Leuven, Belgium
Manuel Hermenegildo ,
Universidad Politecnica de Madrid, Spain
Gustaf Neuman ,
University of Essen, Germany
Leon Sterling,
Melbourne University, Australia
Paul Tarau,
University of Moncton, Canada
for the effective and thorough refereeing process, resulting in 3-6 reviews for each submission, which helped improving the final versions of the accepted papers. A joint invited talk by Lee Naish and Ulf Nilsson shows that logic programmers can act as they preach :-) with respect to building and using their own tools and describes the unusual effectiveness of this approach in organizing logic programming conferences and program committe meetings.
We have linked together final versions (HTML and PostScript) of accepted papers in electronic proceedings at:
With the hope that our workshop will help the Logic Programming community to have its fair share in the exciting new technologies roaming around in this more and more fascinating (and toplogicaly contrieved) global village,