WWW6 -- Logic Programming Workshop

Information: see below and http://www.cs.vu.nl/~eliens/WWW6

Authors are requested to submit their contribution, in the form of a position paper of 1-3 pages by email to Anton Eliëns at eliens@cs.vu.nl

Important dates:

  
  18 March 1997: Submission deadline
  24 March 1997: Notification of acceptance
   7 April 1997: The workshop (in Santa Clara)
  

http://www6conf.slac.stanford.edu

Half-Day Workshops WWW6 Santa Clara April 7, 1997 -----------------------------------

Logic Programming and the Web

Abstract: Logic programming has proven its merits in a variety of application areas including diagnostic expert systems, natural language processing and agent-based control systems. The goal of the workshop is to assess whether and in what way logic programming language constructs and programming techniques may be applied to profit from a knowledge-based approach to developing applications for the Web. Potential advantages of such an approach include knowledge-level reasoning about resources and user models and the application of logic-based inference techniques to information filtering. Recently several implementations of Prolog in Java have been announced. Another goal of the workshop is to discuss the merits of the various implementations of Prolog for the Web, and to assess the criteria that must be met to adopt a logic programming language as a mature vehicle for the development of Web applications.

In particular agent applications may benefit from a high level formalism as offered by logic-based programming languages. Currently there seems to be a gap between the primarily logic-based models of cooperating agents and the realization of agents in a variety of primarily imperative programming languages, a gap that may be bridged by applying declarative logic-based programming languages for the realization of software agents. Issues include:

• Language constructs -- failure, backtracking, concurrency
• APIs and Utilities -- Web access, document type support
• Applications -- search, agents, intelligent interfaces

References:

WASP Proposal: http://www.cs.vu.nl/~eliens/dv/wasp/research.html

DLP: http://www.cs.vu.nl/~eliens/dlp/