By Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
This e-book constitutes the refereed lawsuits of the sixth foreign convention on common sense Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised complete papers and 11 approach descriptions provided with 5 invited papers have been conscientiously reviewed and conscientiously chosen. one of the subject matters addressed are computational good judgment, declarative info extraction, version checking, inductive common sense programming, default theories, reliable common sense programming, software semantics, incomplete details processing, proposal studying, declarative specification, Prolog programming, many-valued logics, and so forth.