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 herehttps://utdallas.edu/~gupta/gde21/)

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