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<https://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
Hi,
Logtalk 3.50.0 is now available for downloading at:
https://logtalk.org/
This release focus on improved documentation, developer tools, and test suites. The Handbook includes improved sections on documenting and testing applications, directives, and multi-threaded features. The testing automation script have been updated with support for passing base URLs to generate reports that link to the tests source code. The documenting and diagrams include more versatile helper scripts with new options. A significant number of new tests have been added to the Prolog standards compliance suite for better coverage. This release also includes fixes and updates to libraries and examples plus portability updates for JIProlog, LVM, and SICStus Prolog. For details and a complete list of changes, please consult the release notes at:
https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md
You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:
https://github.com/LogtalkDotOrg/logtalk3
Happy logtalking!
Paulo
-----------------------------------------------------------------
Paulo Moura
Logtalk developer