LPAR-22: Editor's PrefaceThis volume contains the papers presented at LPAR-22: the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22), held 17th-21st November 2018, at the Haile Resort in Awassa, Ethiopia. Following the call for papers, LPAR-22 received 84 abstracts, materializing into 70 submissions. Each submission received at least 3 reviews and the reviewer panel consisted of 38 Program Committee (PC) members. The PC was assisted by 94 additional reviewers and decided to accept 37 papers. In addition to the presentation of the regular papers, LPAR-22 included three invited talks: by Orna Kupferman (Hebrew University, Israel), Holger Hermanns (Saarland University, Germany), and Ben Goertzel (SingularityNET). LPAR-22 also included six short talks presenting further papers. The EasyChair system provided an indispensible platform for all matters related to the reviewing process, production of these proceedings, program and web page generation, and registration of participants. Collocated with LPAR-22 was the 13th International Workshop on the Implementation of Logics (IWIL), chaired by Konstantin Korovin, Stephan Schulz, and Martin Suda. The conference chair was Geoff Sutcliffe. The conference was organized in collaboration with iCog Labs in Addis Ababa, headed by Getnet Aseffa - thanks to him and his staff. The local organisation was done by Zinaye Tesfaye of Abundant Bale Mountains Tour and Travel (thanks to Charlie Edwards of AgileEA in South Africa for making that contact). Gilles Barthe
Geoff Sutcliffe Margus Veanes October 15, 2018
Madrid Miami Redmond |