GDE 2023: 3rd International Workshop on Goal-directed Execution of Answer Set Programs London, UK, July 10, 2023 |
Conference website | http://platon.etsii.urjc.es/~jarias/gde23/ |
Submission link | https://easychair.org/conferences/?conf=gde20230 |
Organizers:
- Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar@utdallas.edu
- Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias@urjc.es
- Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta@utdallas.edu
Program Chair:
- Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar@utdallas.edu
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. 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: EasyChair Submission Link.
Important Dates:
- Paper Submission Deadline: May 29 , 2023
- Decision Notification: June 05, 2023
- Revised paper: June 19, 2023
- Workshop Date: July 10, 2023
Program Committee:
- Kinjal Basu, IBM, USA
- Pedro Cabalar, University of Corunna, Spain
- Manuel Carro, Universidad Politecnica de Madrid, Spain
- Sarat Chandra Varanasi, GE Research, USA
- Agostino Dovier, Universita degli Studi di Udine, Italy
- Esra Erdem, Sabanci University, Turkey
- Daniela Inclezan, Miami University, USA
- Gopal Gupta, The University of Texas at Dallas, USA
- Jose Morales, IMDEA Software Institute, Spain
- Luis Moniz Pereira, Nueva Universidad de Lisboa, Portugal
- Elmer Salazar, The University of Texas at Dallas, USA
- Jan Wielemaker, Vrije Universiteit Amsterdam, Holland