Call for Participation: ICLP 2019


The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:

  • Applications Track
  • Sister Conferences and Journal Presentation Track
  • Research Challenges in Logic Programming Track
  • Special Session: Women in Logic Programming

Associated with the conference are two workshops:


Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic Programming (September, 22, 2019)



  • Serdar Kadioglu – Constraint Programming for Resource Management
  • Chitta Baral – Knowledge Representation and Reasoning issues in Natural Language Question Answering
  • Guy Van den Broeck – Tractable Probabilistic Circuits

Invited talks

  • Nicola Leone – ASP Applications for AI and Industry
  • Sheila McIlraith – Reward Machines: Structuring reward function specifications and reducing sample complexity in reinforcement learning
  • Adnan Darwiche – What Logic Can Do for AI Today

Women in LP Invited talk

  • Yuliya Lierler – System PROJECTOR: An Automatic Program Rewriting Tool for Non-Ground Answer Set Programs

The registration costs and deadlines are as follows:

  • General
    • Early registration – August, 15, 2019 – 600.00 USD
    • Late registration – 650.00 USD
  • Student
    • Early registration – August, 15, 2019 – 400.00 USD
    • Late registration – 450.00 USD
  • Workshop only
    • Early registration – August, 15, 2019 – 200.00 USD
    • Late registration – 250.00 USD



Rapid communications (TPLP)

Technical communications (EPTCS)

  • Falco Nogatz, Philipp Koerner and Sebastian Krings. Prolog Coding Guidelines: Status and Tool Support
  • Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl and Gerhard Friedrich. Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
  • João Barbosa, Mário Florido and Vítor Santos Costa. A Three-Valued Semantics for Typed Logic Programming
  • Michael Morak. Epistemic Logic Programs: A Different World View
  • Ignacio Casso, José F. Morales, Pedro López and Manuel Hermenegildo. Computing Abstract Distances in Logic Programs
  • Emily Leblanc, Marcello Balduccini and Joost Vennekens. Reasoning about Problems of Actual Causation using an Action Language Approach
  • Sarthak Ghosh and C. R. Ramakrishnan. Value of Information in Probabilistic Logic Programs
  • Giovanni Amendola, Tobias Berei and Francesco Ricca. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
  • Craig Olson and Yuliya Lierler. Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
  • Adrien Husson and Jean Krivine. A tractable logic for molecular biology
  • Bin Wang, Shen Jun, Shutao Zhang and Zhizheng Zhang. On the Strong Equivalences of LPMLN Programs
  • Daniela Inclezan. RESTKB: A Library of Commonsense Knowledge about Dining at a Restaurant
  • David Spies, Jia-Huai You and Ryan Hayward. Mutex Graphs and Multicliques: Reducing Grounding Size for Planning
  • Santiago Escobar and Julia Sapiña. Most General Variant Unifiers
  •  Mateusz Ślażyński, Salvador Abreu and Grzegorz J. Nalepa. Generating Local Search Neighborhood with Synthesized Logic Programs
  • Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. PACMAN: A Planner–Actor-Critic Architecture for Human Centered Planning and Reinforcement Learning
  • Joohyung Lee and Man Luo. Strong Equivalence for LPMLN Programs
  • Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules
  • Paul Tarau, Jan Wielemaker and Tom Schrijvers. Lazy Stream Programming in Prolog
  • Maximiliano Klemen, Pedro Lopez-Garcia, John Gallagher, José F. Morales and Manuel V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs
  • K. Tuncay Tekle and Yanhong A. Liu. Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
  • Carlo Zaniolo, Ariyam Das, Jiaqi Gu, Mingda Li, Youfu Li and Jin Wang. Pre-Mappable Constraints in Recursive Programs
  • Giacomo Da Col and Erich Teppan. Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem
  • Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez and Francisco Suárez. A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
  • Ariyam Das, Youfu Li, Jin Wang, Mingda Li and Carlo Zaniolo. BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
  • Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Design Space Exploration via Answer Set Programming Modulo Theories
  • Van Nguyen, Tran Cao Son and Enrico Pontelli. Natural Language Generation for Non-Expert Users
  • Tarek Khaled and Belaid Benhamou. An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean networks
  • Liu Liu and Mirek Truszczynski. Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
  • Nicos Angelopoulos and Jan Wielemaker. Advances in big data bio analytics
  • José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu and Vincent Risch. An Implementation of a Nonmonotonic Logic in an Embedded Computer for a Motor-glider
  • Daoming Lyu, Fangkai Yang, Bo Liu and Steven Gustafson. SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning
  • Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri. Digital Forensics and Investigations meets Artificial Intelligence
  • Pedro Cabalar, Martín Diéguez and Torsten Schaub. Towards Dynamic Answer Set Programming
  • Christian Haubelt, Kai Neubauer, Torsten Schaub and Philipp Wanko. Hybrid Answer Set Programming for Design Space Exploration
  • Yuanlin Zhang, Jianlan Wang, Fox Bolduc and William G Murray. LP Based Integration of Computing and Science Education in Middle Schools
  • Da Shen and Yuliya Lierler. SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs
  • Wolfgang Faber, Michael Morak and Stefan Woltran. Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract
  • Yanhong A. Liu and Scott Stoller. Rules with Negation in Recursion: Founded Semantics and Constraint Semantics
  • Joohyung Lee and Yi Wang. Weight Learning in a Probabilistic Extension of Answer Set Programs
  • Jessica Zangari, Francesco Calimeri and Simona Perri. Hypertree-Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics
  • Abeer Dyoub, Stefania Costantini and Francesca A. Lisi. Towards Ethical Machines Via Logic Programming
  • Valentina Pitoni and Stefania Costantini. A Temporal Module for Logical Frameworks
  • Carmen Leticia García Mata. Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations 


General Chairs – Enrico Pontelli, Tran Cao Son
Program Chairs – Esra Erdem, German Vidal
Publicity Chair – Ferdinando Fioretto
Workshops Chair – Martin Gebser
Tutorials Chair – Pedro Cabalar
DC Chairs – Paul Fodor, Daniela Inclezan
Programming Competition Chairs – José Morales, Orkunt Sabuncu
Applications Track Chairs – Andrea Formisano, Fangkai Yang
Sister Conferences and Journal Presentation Track Chairs – Bart Bogaerts, Giovambattista Ianni
Research Challenges in Logic Programming Track Chairs -Alessandro dal Palu, Amelia Harrison, Joohyung Lee
Women in Logic Programming Special Session Chairs – Alicia Villanueva, Marina De Vos
Program Committee – Hassan Ait-Kaci, Mario Alviano, Roman Bartak, Rachel Ben-Eliyahu-Zohary, Bart Bogaerts, Gerhard Brewka, Pedro Cabalar, Michael Codish, Stefania Costantini, Marina De Vos, Agostino Dovier, Thomas Eiter, Wolfgang Faber, Fabio Fioravanti, Andrea Formisano, John Gallagher, Martin Gebser, Michael Gelfond, Michael Hanus, Amelia Harrison, Manuel Hermenegildo,
Giovambattista Ianni, Daniela Inclezan, Katsumi Inoue, Tomi Janhunen, Angelika Kimmig, Ekaterina Komendantskaya, Vladimir Lifschitz, Evelina Lamma, Joohyung Lee, Nicola Leone, Yanhong Annie Liu, Fred Mesnard, Jose F. Morales, Emilia Oikarinen, Carlos Olarte, Magdalena Ortiz, Mauricio Osorio, Barry O’Sullivan, Simona Perri, Enrico Pontelli, Ricardo Rocha, Alessandra Russo, Orkunt
Sabuncu, Chiaki Sakama, Torsten Schaub, Guillermo R. Simari, Theresa Swift, Francesca Toni, Paolo Torroni, Tran Cao Son, Alicia Villanueva, Kewen Wang, Jan Wielemaker, Stefan Woltran, Fangkai Yang, Roland Yap, Jia-Huai You, Zhizheng Zhang