Call for Paper: GDE 2024 - EXTENDED DEADLINE

[Joaquin Arias Herrero]

CALL FOR PAPERS (EXTENDED DEADLINE)

Workshop on Goal-directed Execution of Answer Set Programs

           https://sites.google.com/view/gde-iclp-2024
Date: October 12, 2024

located with

ICLP'24: 40th International Conference on Logic Programming
11-17 October, 2024, Dallas, Texas, USA

Workshop Aim:   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 Instructions:

    Technical papers, position papers, as well as extended abstracts are welcome.  
    Papers should be maximum 8 pages long and in CEUR Format:

https://www.overleaf.com/read/trtrxbczdmng#58fe11

    Submissions must be made via EasyChair:
                        https://easychair.org/conferences/?conf=gde24

Important Dates (Extended):

     Paper Submission (extended):        September 12, 2024.      

      Decision Notification (extended):   September 17, 2024

     Final Paper:                                          September 19, 2024

     Workshop Date:                                   October 12, 2024

Program Chair:

     Kinjal Basu, IBM Research, USA. Kinja...@ibm.com
     Sarat Chandra Varanasi, GE Research, USA. SaratChand...@ge.com

Program Committee:

        Joaquín Arias, Universidad Rey Juan Carlos, Spain.
            Pedro Cabalar, University of Corunna, Spain
            Manuel Carro, Universidad Politécnica de Madrid and IMDEA, Spain
            Sarat Chandra Varanasi, GE Research, USA
            Agostino Dovier, Università degli Studi di Udine, Italy
            Esra Erdem, Sabanci University, Turkey
            Gopal Gupta, The University of Texas at Dallas, USA.
            Daniela Inclezan, Miami University, USA
            Jose Morales, Universidad Politécnica de Madrid and IMDEA, Spain
        Elmer Salazar, The University of Texas at Dallas, USA.
            Jan Wielemaker, Vrije Universiteit Amsterdam, Netherlands