ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs - Ciao-users

20 Jul 2021


      CALL FOR PAPERS!!                        CALL FOR PAPERS
ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
                           https://utdallas.edu/~gupta/gde21
                                     (Fully Virtual)
located with
       ICLP'21: 37th International Conference on Logic Programming (Virtual)
Date: September 20-27, 2021
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 grounding. The goal of this workshop is to foster discussion
around challenges and opportunities that such approaches present.
List of topics includes:
Non-grounding based implementations of ASP
    Constructive Negation
    Implementation Technology for Goal-directed ASP
    Applications of Goal-directed ASP
    Query-driven Constraint ASP
    System Description
    Tabling in goal-directed ASP Systems
    Coinductive Logic Programming and ASP
Submission Instructions:
    Technical papers, position papers, as well as extended abstracts are welcome.
    Papers should be maximum 15 pages long and in LNCS Format.
    Email the paper in pdf format to the workshop organizers by the deadline date.
Important Dates:
     Paper Submission: August 12, 2021
     Decision Notification: August 22, 2021
     Workshop Date: TBA (During one of ICLP'21 Conference days: Sep 20-27)
Invited Speakers: TBA
Organizers:
Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta(a)utdallas.edu
    Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias(a)urjc.es
    Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar(a)utdallas.edu