Call for Participation: ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs

by Gopal Gupta, Sept. 11, 2021

GDE'21 Workshop is dedicated to design, implementation and applications of goal-directed execution of answer set programs

                          CALL FOR PARTICIPATION

         GDE'21: An ICLP'21 (Virtual) Workshop
   Goal-directed Execution of Answer Set Programs
Sep 20th, 2021, 2PM-7PM CEST (7AM-12Noon US CDT)

     (for zoom meeting link, please visit the workshop page here)


Program (Times given are in CEST):

  • 14:00-14:10: Welcome Remarks & Introduction to the Workshop
               - Gopal Gupta, Joaquin Arias & Elmer Salazar
  • 14:10-14:45: The s(CASP) Goal-directed System for ASP: A Tutorial Introduction
               - Joaquin Arias (Universidad Rey Juan Carlos, Spain)
  • 14:45-15:15: Industrial Applications of Goal-directed ASP (invited)
               - Brendan Hall & Kevin Driscoll (Honeywell Advanced Technology)
  • 15:15-15:45: Goal-directed ASP for Legal Reasoning (invited)
               - Jason Morris (University of Alberta)
  • 15:45-16:15: Solving B Constraints with Goal-directed Answer Set Programming (invited)
               - Alexandros Efremidis (Heinrich Heine Universitat, Dusseldorf)
  • 16:15-16:45: The s(CASP) system in SWI-Prolog (invited)
               - Jan Wielemaker, SWI Prolog-Solutions and Vrije Universiteit Amsterdam
  • 16:45-17:05: Building Health Policy Enforcement Solution Based on HL7 FHIR
               - Alexey Koptsovich & Dmitrii Velikii (Eastbanc Technologies)
  • 17:05-17:25: Theory Revision with Goal-directed ASP
               - Elmer Salazar (The University of Texas at Dallas)
  • 17:25-17:45: Natural Language Question Answering with Goal-directed ASP
               - Kinjal Basu (The University of Texas at Dallas)
  • 17:45-18:05: AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning
               - Suraj Kothawade (The University of Texas at Dallas)
  • 18:05-18:25: Modeling and Verification of Timed Systems with the Event Calculus & s(CASP)
               - Sarat Varanasi (The University of Texas at Dallas)
  • 18:25-18:45: Graph-based Implementation of ASP
               - Fang Li (The University of Texas at Dallas)
  • 18:45-19:05: Formalizing Informal Logic and Natural Language Deductivism with s(CASP)
               - Gopal Gupta (The University of Texas at Dallas)
  • 19:05-19:10: Closing:
               - Gopal Gupta, Joaquin Arias, Elmer Salazar