Events – 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 Discussion Session https://www.coalg.org/tease-lp/timetable/event/discussion-session/ https://www.coalg.org/tease-lp/timetable/event/discussion-session/#respond Tue, 12 May 2020 12:31:40 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=75 https://www.coalg.org/tease-lp/timetable/event/discussion-session/feed/ 0 Private types in Higher Order Logic Programming https://www.coalg.org/tease-lp/timetable/event/private-types-in-higher-order-logic-programming/ https://www.coalg.org/tease-lp/timetable/event/private-types-in-higher-order-logic-programming/#respond Tue, 12 May 2020 12:30:39 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=74 https://www.coalg.org/tease-lp/timetable/event/private-types-in-higher-order-logic-programming/feed/ 0 Certified Semantics for Disequality Constraints https://www.coalg.org/tease-lp/timetable/event/certified-semantics-for-disequality-constraints/ https://www.coalg.org/tease-lp/timetable/event/certified-semantics-for-disequality-constraints/#respond Tue, 12 May 2020 12:28:51 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=72 https://www.coalg.org/tease-lp/timetable/event/certified-semantics-for-disequality-constraints/feed/ 0 A SWI-Prolog based implementation of RML https://www.coalg.org/tease-lp/timetable/event/a-swi-prolog-based-implementation-of-rml/ https://www.coalg.org/tease-lp/timetable/event/a-swi-prolog-based-implementation-of-rml/#respond Tue, 12 May 2020 07:49:00 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=69 https://www.coalg.org/tease-lp/timetable/event/a-swi-prolog-based-implementation-of-rml/feed/ 0 Break https://www.coalg.org/tease-lp/timetable/event/break/ https://www.coalg.org/tease-lp/timetable/event/break/#respond Tue, 12 May 2020 07:44:30 +0000 https://www.coalg.org/tease-lp/?post_type=mp-event&p=68 https://www.coalg.org/tease-lp/timetable/event/break/feed/ 0