Additional information
by Christian G. Fermüller (Editor), Andrei Voronkov (Editor)
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.