Implementation issues around logic programming are a most important area of research, often throwing light on, and interacting with, its many other aspects, as well as general aspects of AI. Applications are an equally crucial topic (what would be the use of our tools and methodologies without them?), which all too often falls in between the cracks of more clearly defined areas.
Topics: This stream will cover a)
logic programming implementation aspects, such as compilers and interpreters,
optimization, hardware design; and b) applications of logic programming
in general (e.g. to intelligent agents, to genetic sequence determination,
to internet tasks) and of its specific areas in particular (e.g. applications
of deductive databases, natural language understanding, inductive logic
programming, constraint logic programming, parallelism, etc.). The latter
group of submissions should focus on showing how an existing LP/ LP area's
methodology can be used/adapted for a given application. Papers focussing
on forwarding the state of the art of the area itself should be addressed
instead to the corresponding stream or colocated conference in that area.
____________________________________________________________________________________
Programme Chair:Veronica Dahl, Simon Fraser University (veronica@cs.sfu.ca)
Programme Committee:
Hassan Ait-Kaci, Simon Fraser University
(hak@cs.sfu.ca)
Maria Alpuente, Technical University of
Valencia (UPV) (alpuente@dsic.upv.es)
Jamie Andrews, University of Western Ontario
(andrews@csd.uwo.ca)
Phillipe Codognet, University of Paris
(Philippe.Codognet@lip6.fr)
Saumya Debray, University of Arizona (debray@cs.arizona.edu)
Bart Demoen, Dept. of Comp. Science, K.U.Leuven
(bmd@cs.kuleuven.ac.be)
Robert Demolombe, ONERA Toulouse (Robert.Demolombe@cert.fr)
Juliana Freire, Bell Labs (juliana@research.bell-labs.com)
Maria Garcia de la Banda (mbanda@cs.monash.edu.au)
Fergus Henderson, The University of Melbourne
(Department of Computer Science and Software Engineering) (fjh@cs.mu.OZ.AU)
Bharat Jayaraman, State Univ. of New York
at Buffalo (bharat@cs.Buffalo.EDU)
Guy Lapalme, Univ. of Montreal (lapalme@iro.umontreal.ca)
Jorge Lobo, Bell Labs (jlobo@research.bell-labs.com)
Jose Gabriel Pereira Lopes, Universidade
Nova de Lisboa (gpl@fct.unl.pt)
Fariba Sadri, Imperial College of Science
and Technology (fs@doc.ic.ac.uk)
Kostis Sagonas, Uppsala University (kostis@csd.uu.se)
Camilla Schwind, Laboratoire d'Informatique
de Marseille(schwind@lim.univ-mrs.fr)
Paul Tarau (University of North Texas),
tarau@cs.unt.edu
David Scott Warren (warren@sbcs.sunysb.edu)