4. LPNMR 1997:
Dagstuhl,
Germany
Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.):
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings.
Lecture Notes in Computer Science 1265 Springer 1997, ISBN 3-540-63255-7
Invited Talk
Session I
Session II
Invited Talk
Session III
Session IV
Invited Talks
- Martin R. Karig:
Industry Needs for Integrated Information Services (Abstract).
218-219
- Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract).
220-221
- Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
222-223
Session V
Session VI
System Descriptions I
System Descriptions II
System Descriptions III
Last update Fri May 25 08:25:36 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page