Overview

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.

Tentative list of topics include:

• 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.

Submission Details

• 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.

Important Dates

• Paper Submission Deadline: September 5, 2024  September 12, 2024

• Decision Notification: September 12, 2024 September 16, 2024

• Camera-Ready Paper Due: September 19, 2024

• Workshop Date: October 12, 2024

Workshop Program

• 9:00 AM - 10:30 AM: Invited Talk - Tutorial on s(CASP) by Joaquín Arias

• 10:30 AM - 11:00 AM: Coffee Break

• 11:00 AM - 12:30 PM: Talks (15 min each + 3 min QA) – 5 Talks

  1.  Extended abstract: fCASP - A forgetting technique for XAI based on goal-directed constraint ASP models.   Link
       Authors: Luciana Fidilio-Allende and Joaquín Arias.

  2.  Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.   Link  
       Authors: Sarat Chandra Varanasi and Baoluo Meng.

  3.  Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.   Link 
       Authors: Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian R Larson, Sarat Chandra Varanasi and Tomas Vojnar.

  4.  Automated Playing of Survival Video Games with Commonsense Reasoning.   Link
       Authors: Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, and Gopal Gupta

  5.  Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.   Link
       Authors: Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias and Gopal Gupta. 

• 12:30 PM - 1:30 PM: Lunch

• 1:30 PM - 2:45 PM: Talks (15 min each + 3 min QA) – 4 Talks

1.  Causally Constrained Counterfactual Generation using ASP.   Link
     Author: Sopam Dasgupta. 

2.  Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games.   Link
    Author: Kinjal Basu. 

3.  Autonomous Task Completion Based on Goal-directed Answer Set Programming.   Link
     Authors: Alexis Tudor and Gopal Gupta. 

4.  A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.   Link
     Authors: Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya and Gopal Gupta. 

• 2:45 PM - 3:30 PM: Panel Discussion

• 3:30 PM - 3:45 PM: Closing Remarks

Organizers

• Kinjal Basu, IBM Research, USA. ✉️ Kinjal.Basu@ibm.com

• Sarat Chandra Varanasi, GE Research, USA. ✉️ SaratChandra.Varanasi@ge.com

Program Committee

• Gopal Gupta, The University of Texas at Dallas, USA.

• Joaquín Arias, Universidad Rey Juan Carlos, Spain.

• Elmer Salazar, The University of Texas at Dallas, USA.

• Agostino Dovier, Universita degli Studi di Udine, Italy.

• Jan Wielemaker, Vrije Universiteit Amsterdam, Holland

• Esra Erdem, Sabanci University, Turkey.

• Daniela Inclezan, Miami University, USA.

• Jose Morales, IMDEA Software Institute, Spain.

• Manuel Carro, Universidad Politecnica de Madrid, Spain

Previous Workshops

• GDE Workshop @ ICLP-2023 - view here

• GDE Workshop @ ICLP-2022 - view here

• GDE Workshop @ ICLP-2021 - view here

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