Constitutes the refereed proceedings of the 9th International Conference on Logic Programming & Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007. This book
Includes:: the 18 revised full papers, 5 revised poster papers, & 7 system descriptions together with 2 invited papers that are reviewed & selected for presentation.