ICLP 2017 - Technical Communications

Ricardo Rocha, Tran Cao Son, Christopher Mears and Neda Saeedloei

August/September 2017

Preface

This volume contains the Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), held in Melbourne, Australia, from the 28th of August to the 1st of September, 2017. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions to ICLP are sought in all areas of logic programming, including: Three kinds of submissions were accepted: This year, ICLP adopted the hybrid publication model used in all recent editions of the conference, with journal papers and Technical Communications (TCs), following a decision made in 2010 by the Association for Logic Programming. Papers of the highest quality were selected to be published as rapid publications in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press. The TCs comprise papers which the Program Committee judged of good quality but not yet of the standard required to be accepted and published in TPLP as well as dissertation project descriptions stemming from the Doctoral Program (DP) held with ICLP.
We received 55 full submissions for the main conference, the Program Committee recommended 13 to be accepted as TCs, of which 11 were materialized in this volume (2 were withdraw). The DP, with a separate Program Committee, received 4 submissions, all of which were accepted. All papers in this volume were presented in specific sessions of ICLP 2017. The best DP paper was given the opportunity to be presented in a slot of the main conference.
We are of course deeply indebted to both Program Committee members and external reviewers, as the conference would not have been possible without their dedicated, enthusiastic and outstanding work. The Program Committee members for ICLP and the DP were: Mario Alviano, Marcello Balduccini, Pedro Cabalar, Mats Carlsson, Manuel Carro, Andre Augusto Cire, Michael Codish, Alessandro Dal Palù, Broes De Cat, Marina De Vos, Marc Denecker, Agostino Dovier, Inês Dutra, Esra Erdem, Wolfgang Faber, Fabio Fioravanti, Thom Fruehwirth, Sarah Alice Gaggl, Graeme Gange, Maria Garcia De La Banda, Marco Gavanelli, Martin Gebser, Tias Guns, Gopal Gupta, Amelia Harrison, Manuel V. Hermenegildo, Tomi Janhunen, Matti Järvisalo, Serdar Kadioglu, George Katsirelos, Andy King, Ekaterina Komendantskaya, Lars Kotthoff, Jean Marie Lagniez, Joohyung Lee, Michael Leuschel, Vladimir Lifschitz, Michele Lombardi, Christopher Mears, Alessandra Mileo, Jose F. Morales, Nina Narodytska, Enrico Pontelli, Charles Prud'Homme, Claude-Guy Quimper, C. R. Ramakrishnan, Francesco Ricca, Ricardo Rocha, Alessandra Russo, Neda Saeedloei, Chiaki Sakama, Tom Schrijvers, Takehide Soh, Tran Cao Son, Theresa Swift, Guido Tack, Paul Tarau, Daniele Theseider Dupre', Kevin Tierney, Mirek Truszczynski, Tommaso Urli, Frank Valencia, Willem-Jan Van Hoeve, Nadarajen Veerapen, German Vidal, Jan Wielemaker, Stefan Woltran, Jia-Huai You, and Neng-Fa Zhou.
The external reviewers were: Joaquin Arias, Marc Bezem, Bernhard Bliem, Zhuo Chen, Jonnathan Cook, Bernardo Cuteri, Fabio Aurelio D'Asaro, Ingmar Dasseville, Besik Dundua, Andrea Formisano, Michael Frank, Daniel Gall, Jianmin Ji, Georgios Karachalias, Arash Karimi, Michael Kifer, Ruben Lapauw, Thomas Linsbichler, Fangfang Liu, Yanhong A. Liu, Kyle Marple, Michael Morak, Jose F. Morales, Falco Nogatz, Adrian Palacios, Le Thi Anh Thu Pham, Javier Romero, Elmer Salazar, Vitor Santos Costa, Lukas Schweizer, Farhad Shakerin, Nada Sharaf, Roni Stern, Alwen Tiu, Matthias van der Hallen, Alicia Villanueva, Yi Wang, Philipp Wanko, and Zhun Yang.
We would also like to express our gratitude to the full ICLP 2017 organization committee, namely Maria Garcia de la Banda and Guido Tack, who acted as general chairs; Enrico Pontelli, who served as workshop chair; Tommaso Urli, who acted as publicity chair and designed the web pages; and, finally, Paul Fodor and Graeme Gange, who organized the programming contest.
Our gratitude must be extended to Torsten Schaub, who is serving in the role of President of the Association of Logic Programming (ALP), to all the members of the ALP Executive Committee and to Mirek Truszczyński, Editor-in-Chief of TPLP. Also, to the staff at Cambridge University Press, especially Richard Horley and Samira Ceccarelli, and to the personnel at Schloss Dagstuhl-Leibniz Zentrum für Informatik, especially Marc Herbstritt, for their timely assistance. We would also like to thank the staff of the EasyChair conference management system for making the life of the Program Chairs easier. Thanks should go also to the authors of all submitted papers for their contribution to make ICLP alive and to the participants for making the event a meeting point for a fruitful exchange of ideas and feedback on recent developments.
Finally, we would like to thank our generous gold-tier sponsors -- the Association for Logic Programming, the Association for Constraint Programming, the Monash University, the University of Melbourne, CSIRO Data61, COSYTEC and Satalia; our generous bronze-tier sponsors -- Google; and our generous donors -- the European Association for Artificial Intelligence, the International Journal of Artificial Intelligence, Springer, CompSustNet and Cosling.

Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei

Program Committee Chairs

August 2017

Bibtex

@Proceedings{iclp17-tc,
  editor =    {R. Rocha and T. Cao Son and C. Mears and N. Saeedloei},
  title =     {Technical Communications of 33rd International Conference on Logic Programming (ICLP 2017)},
  publisher = {OASIcs OpenAccess Series in Informatics},
  volume =    {58},
  month =     {August/September},
  year =      {2017},
  address =   {Melbourne, Australia},
  note =      {Published in 2018},
}

Download Proceedings

OASIcs OpenAccess Series in Informatics