CALL FOR PAPERS!! CALL FOR PAPERS
ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
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
Implementation Technology for Goal-directed ASP
Applications of Goal-directed ASP
Query-driven Constraint ASP
Tabling in goal-directed ASP Systems
Coinductive Logic Programming and ASP
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.
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