Answer Set Programming (ASP) is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT-solver like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow up of the program size, while computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require any grounding. However, these novel implementation approaches present a new set of challenges. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present.

Submission Guidelines

• Submission Link: https://easychair.org/conferences/?conf=gde24

• Format: Technical papers, position papers, as well as extended abstracts are welcome. Submissions should be 4 - 8 pages in PDF format, including abstract, figures and references, and according to the CEUR-WS template (single column). The reviewing will be single-blind. All submissions will be made electronically through EasyChair only.

List of Topics

• Non-grounding based implementations of ASP.

• Co-inductive Logic Programming

• Constructive Negation

• Implementation Technology for Goal-directed ASP

• Applications of Goal-directed ASP specifically to:

  • Knowledge Representation

  • Natural Language Processing

  • Legal Reasoning

  • Inductive Logic Programming

• Query-driven Constraint ASP

• System Descriptions

• Tabling in goal-directed ASP Systems

• Explainable Artificial Intelligence (XAI)

• Justification of answer set programs.

Venue

Colocated with ICLP 2024, Dallas, USA

Contact

For questions/queries regarding the workshop or submission, please get in touch with the organizers or directly reach out at: ✉️ gde.workshop.iclp@gmail.com