ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs
Date: August 1, 2022
Informal Proceedings: click here
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:
- Non-grounding based implementations of ASP
- Constructive Negation
- Implementation Technology for Goal-directed ASP
- Applications of Goal-directed ASP
- Query-driven Constraint ASP
- System Descriptions
- 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 8 pages and in LNCS Format. Submission will be through EasyChair: EasyChair Submission Link.
Important Dates:
- Paper Submission Deadline: May 20, 2022
- Decision Notification: Jun 05, 2022
- Revised paper: June 20, 2022
- Workshop Date: August 1, 2022
Program Committee:
- Pedro Cabalar, University of Corunna, Spain
- Manuel Carro, Universidad Politecnica de Madrid, Spain
- 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