Logic programming beyond the classical Horn clause theories – Workshop on Trends, Extensions, Applications and Semantics of Logic Programming https://www.coalg.org/tease-lp TEASE-LP, 28 and 29 May 2020, Virtual Event Mon, 01 Jun 2020 17:23:16 +0000 en-GB hourly 1 https://wordpress.org/?v=6.1.1 Uli Sattler: Description Logics and Ontology Languages – an introduction and overview https://www.coalg.org/tease-lp/2020/uli-sattler-description-logics-and-ontology-languages/ https://www.coalg.org/tease-lp/2020/uli-sattler-description-logics-and-ontology-languages/#respond Thu, 14 May 2020 20:20:25 +0000 https://www.coalg.org/tease-lp/?p=187 Forum Slides

Attachments

]]> https://www.coalg.org/tease-lp/2020/uli-sattler-description-logics-and-ontology-languages/feed/ 0 Dale Miller: Structural Proof-Theory and Logic Programming https://www.coalg.org/tease-lp/2020/dale-miller-structural-proof-theory-and-logic-programming/ https://www.coalg.org/tease-lp/2020/dale-miller-structural-proof-theory-and-logic-programming/#respond Thu, 14 May 2020 20:16:46 +0000 https://www.coalg.org/tease-lp/?p=181 We discuss the influences of structural proof theory on logic programming and vice versa.

Forum    Abstract

Attachments

]]> https://www.coalg.org/tease-lp/2020/dale-miller-structural-proof-theory-and-logic-programming/feed/ 0 Olivier Hermant and James Lipton: Eliminating Cuts in HoiC https://www.coalg.org/tease-lp/2020/eliminating-cuts-in-hoic/ https://www.coalg.org/tease-lp/2020/eliminating-cuts-in-hoic/#respond Thu, 14 May 2020 12:21:30 +0000 https://www.coalg.org/tease-lp/?p=93 We discuss the problem of cut elimination in an intuitionistic version of Church’s Type Theory with constraints, a problem that arises in considering executable fragments suitable for logic programming.

Forum Full Abstract

]]> https://www.coalg.org/tease-lp/2020/eliminating-cuts-in-hoic/feed/ 0