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 BibTeX
@proceedings{DBLP:conf/lpnmr/1997,
editor = {J{\"u}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Logic Programming and Nonmonotonic Reasoning, 4th International
Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997,
Proceedings},
booktitle = {LPNMR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1265},
year = {1997},
isbn = {3-540-63255-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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 BibTeX
- Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract).
220-221 BibTeX
- Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.
222-223 BibTeX
Session V
Session VI
System Descriptions I
System Descriptions II
System Descriptions III
Copyright © Sat May 16 23:29:02 2009
by Michael Ley (ley@uni-trier.de)
