-------- Forwarded Message -------- Subject: [computational.science] CFP - Workshop on Goal-directed Execution of Answer Set Programs (GDE 2021) Date: Tue, 15 Jun 2021 11:32:40 +0100 From: Miguel Areias miguel-areias@dcc.fc.up.pt
========================================================================= CALL FOR PAPERS GDE 2021: Workshop on Goal-directed Execution of Answer Set Programs https://utdallas.edu/~gupta/gde21 =========================================================================
A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual)
=========================================================================
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.
Tentative list of topics include: *********************************
* 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 5, 2021 Decision Notification: August 15, 2021 Workshop Date: TBA (During one of ICLP'21 Conference days)
Invited Speakers: *****************
TBA
Organizers: ***********
*Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta@utdallas.edu
*Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias@urjc.es
*Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar@utdallas.edu
Program Committee: ******************
TBA
========================================================================= _______________________________________________ computational.science mailing list -- computational.science@lists.iccsa.org To unsubscribe send an email to computational.science-leave@lists.iccsa.org %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
Hosted by Sardina Systems: FishOS: AI-powered Cloud Platform: OpenStack | Kubernetes | Ceph www.sardinasystems.com