Open menu
LPNMR '97 (1997 Dagstuhl, Wadern, Germany)
Logic programming and nonmonotonic reasoning