ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs

Date: August 1, 2022

Organizers:

Joaquin Arias , Universidad Rey Juan Carlos, Spain; Joaquin.Arias@urjc.es
Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta@utdallas.edu
Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar@utdallas.edu

Program Chair:

Joaquin Arias , Universidad Rey Juan Carlos, Spain; Joaquin.Arias@urjc.es

Workshop Aim: Answer set programming 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, and 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. The goal of this half-day workshop is to foster discussion around challenges and opportunities that such approaches present. Tentative list of topics include but not limited to:

Submission Instructions: Technical papers, position papers, as well as extended abstracts are welcome. Papers should be maximum 8 pages and in LNCS Format. Submission will be through EasyChair: EasyChair Submission Link.

Important Dates:

Program Committee: