Scope

The 19th Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.

In particular, the DC:

• will have leaders in logic programming research, from academia and industry, to give talks on their research areas and comment on the presented works, providing valuable insights for early career researchers; and

• host a *Mentoring Lunch* consisting of a lunch break where two senior researchers share a lunch table with 3-4 students. The researchers will be charged with initiating and driving a discussion on general topics concerning research, career, and the field of Logic Programming in general. Each DC student will be able to provide 2 questions of interest that can be used a prompt for mentors to start conversation.

The best paper from the DC will be given the opportunity to be presented at a session in the main ICLP conference. 

The Consortium will take place on the 9th of July.  See the Important Dates page and the table below for other relevant dates.

Accepted Papers

• Ramsha Ali, “Flexible Job Shop Scheduling in Wafer Manufacturing: Optimization and Simulation Methods”

• Abhiramon Rajasekharan, "Reliable NLU: Reasoning over knowledge in text using Answer Set Programming and Large Language Models"

• Tobias Geibinger, "Explainable Answer-set Programming"

• Arvid Becker, "Logical Foundations of Dynamical Answer Set Programming"

• Andrea Rafanelli, "Beyond traditional neural networks: toward adding reasoning and learning capabilities through computational logic techniques"

• Parth Padalkar, "Generating Logical Explanations from CNNs"

• Giuseppe Agresta, "Constructing and querying a Selective Knowledge Base: A logic programming approach"

• Vineel Tummala, "Penalization Framework For Autonomous Agents Using Answer Set Programming"

• Pietro Cofone, "A Logic Programming Approach to Core computation and Expansion Graph materialization"

Submission Details

Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of: 

• The research summary in the format mentioned above

• A cover letter of the applicant, including a one paragraph statement outlining the reasons for applying to the DC and how it will benefit the applicant

• All material is to be submitted electronically, in PDF format on the Easychair system, selecting the “Doctoral Consortium” track.

Easychair link: https://easychair.org/conferences/?conf=iclp2023 

Research Summary

Make sure to include your complete name, address, and affiliation

The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: 

• Introduction and problem description

• Background and overview of the existing literature

• Goal of the research

• Current status of the research

• Preliminary results accomplished (if any)

• Open issues and expected achievements

• Bibliographical references 

Review Criteria

The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports.