The scientific program included four invited talks, presentations of the accepted papers, panel discussions and system demonstrations. The proceedings has been published in the Springer-Verlag LNAI series (Volume 1265). A small portion of the proceedings (the preface, table of contents, author index) and the bibliography (BibTeX file, PS file) are available on-line for your perusal.
Following is the list of invited speakers and the topics of their talks:
Bruno Buchberger (Austria). Computing, Solving, Proving: A survey of the Theorema project. Abstract
Michael Gelfond (U.S.A.). Towards a systematic approach to representing knowledge in declarative logic programming. Abstract
V. S. Subrahmanian (U.S.A.). Project ChangeLing: Reasoning in Dynamic, Heterogeneous Environments.
Miroslaw Truszczynski (U.S.A.). Automated reasoning with non-monotonic logics. Abstract
To stress the importance of applications and implementations in LP & NMR, a separate panel headed by Jürgen Dix was held. Following is the list of panelists:
There was also a
general discussion on the state of the field of Logic Programming and