LPAR-17-short:Editor's Preface

This volume contains the papers presented at the short paper sessions of the 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17, held om October 10-14, 2012 in Yogkarta, Indonesia.

There were 18 submissions. The committee decided to accept 12 papers.

Matthias Baaz
Christian Fermüller
Geoff Sutcliffe
Andrei Voronkov
May 25, 2012