Logic programming and nonmonotonic reasoning proceedings - Dix Jurgen ed.; International Conference, LPNMR '97 on Logic Programming and Nonmonotonic Reasoning (4th : 28-31 Jul 1997 : Dagstuhl,Germany); International conference, LPNMR '97 on logic programming and nonmonotonic reasoning Dagstuhl, Germany 28-31 Jul 1997 (Berlin Springer-Verlag, 1997)
Keywords: Logic programming