Please note that this newsitem has been archived, and may contain outdated information or links.
25 April 2020, Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020), Dublin, Ireland
Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing automatic inference in these theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities.
Since the aim of the workshop is to foster exchange and discussions on trends, extensions, applications and semantics of logic programming, we invite presentations of possibly already published as well as ongoing work. Submissions should be abstracts of at most two pages in EPTCS style and will be only be published in the informal pre-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the PC, based on the quality of contributions.
Please note that this newsitem has been archived, and may contain outdated information or links.