Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.