LPNMR '97
Scientific Programme

Home * Registration * Schedule

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:

• Jürgen Dix (Germany)
• Ilkka Niemelä (Finland)
• Torsten Schaub (France)
• Miroslaw Truszczynski (U.S.A.)
• David Scott Warren (U.S.A.)

There was also a general discussion on the state of the field of Logic Programming and Non-Monotonic Reasoning.