Live Session 2 – 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 Tue, 26 May 2020 14:33:12 +0000 en-GB hourly 1 https://wordpress.org/?v=6.1.1 Break https://www.coalg.org/tease-lp/timetable/event/break-2/ Fri, 15 May 2020 11:56:25 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=190 Panel: Discussion of the future development of methods inspired by relational and logic programming https://www.coalg.org/tease-lp/timetable/event/panel/ https://www.coalg.org/tease-lp/timetable/event/panel/#respond Tue, 12 May 2020 12:53:30 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=87 https://www.coalg.org/tease-lp/timetable/event/panel/feed/ 0 A Proof Theory for Distributed Evidential Transactions https://www.coalg.org/tease-lp/timetable/event/a-proof-theory-for-distributed-evidential-transactions/ https://www.coalg.org/tease-lp/timetable/event/a-proof-theory-for-distributed-evidential-transactions/#respond Tue, 12 May 2020 12:49:38 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=86 https://www.coalg.org/tease-lp/timetable/event/a-proof-theory-for-distributed-evidential-transactions/feed/ 0 Eliminating Cuts in HoiC https://www.coalg.org/tease-lp/timetable/event/eliminating-cuts-in-hoic/ https://www.coalg.org/tease-lp/timetable/event/eliminating-cuts-in-hoic/#respond Tue, 12 May 2020 12:43:41 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=83 https://www.coalg.org/tease-lp/timetable/event/eliminating-cuts-in-hoic/feed/ 0 Description Logics and Ontology Languages – an introduction and overview https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/ https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/#respond Tue, 12 May 2020 12:35:39 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=78 https://www.coalg.org/tease-lp/timetable/event/description-logics-and-ontology-languages/feed/ 0