Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen—Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: — Nonmonotonicity in logic programs — Axiomatic approach to nonmonotonic reasoning — Inductiv...