Ciao-users September 2021

ciao-users@cliplab.org

2 participants
2 discussions

Call for Participation: ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
by Gupta, Gopal 11 Sep '21

11 Sep '21

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

1 0

Logtalk 3.50.0 released
by Paulo Moura 03 Sep '21

03 Sep '21

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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users September 2021