LPAR-17-short: Editor's PrefaceThis 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
Vienna |