TEASE-LP

TEASE-LP

Show Details

The channel of TEASE-LP

…Read more Less…

logic programming

Uli Sattler: Description Logics and Ontology… 1 of 14

duration 1 hour 53 minutes

Uli Sattler: Description Logics and Ontology…

Uli Sattler: Description Logics and Ontology Languages – an introduction and overview

From Henning Basold

0 likes 37 plays 0
TEASE-LP Session 2 Full
Panel: Discussion of the future development of… 2 of 14

duration 1 hour 0 minutes

Panel: Discussion of the future development of…

Panel: Discussion of the future development of methods inspired by relational and logic programming

From Henning Basold

0 likes 7 plays 0
TEASE-LP Session 2 Full
Dale Miller: Structural Proof Theory and Logic… 3 of 14

duration 57 minutes 17 seconds

Dale Miller: Structural Proof Theory and Logic…

Dale Miller: Structural Proof Theory and Logic Programming

From Henning Basold

0 likes 58 plays 0
Live session 1, full recording
Vivek Nigam: A Proof Theory for Distributed… 4 of 14

duration 37 minutes 7 seconds

Vivek Nigam: A Proof Theory for Distributed…

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

From Henning Basold

0 likes 1 plays 0
TEASE-LP Session 2 Full
Discussion Session, 28 May 2020 5 of 14

duration 39 minutes 24 seconds

Discussion Session, 28 May 2020

Discussion Session, 28 May 2020

From Henning Basold

0 likes 10 plays 0
Live session 1, full recording
Olivier Hermant and James Lipton: Eliminating… 6 of 14

duration 33 minutes 33 seconds

Olivier Hermant and James Lipton: Eliminating…

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

From Henning Basold

0 likes 1 plays 0
TEASE-LP Session 2 Full
Davide Ancona, Luca Franceschini, Angelo Ferrando… 7 of 14

duration 34 minutes 18 seconds

Davide Ancona, Luca Franceschini, Angelo Ferrando…

Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML

From Henning Basold

0 likes 6 plays 0
Live session 1, full recording
Dmitry Rozplokhas and Dmitry Boulytchev:… 8 of 14

duration 23 minutes 5 seconds

Dmitry Rozplokhas and Dmitry Boulytchev:…

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

From Henning Basold

0 likes 13 plays 0
Live session 1, full recording
Marco Maggesi and Enrico Tassi: Private types in… 9 of 14

duration 22 minutes 28 seconds

Marco Maggesi and Enrico Tassi: Private types in…

Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming

From Henning Basold

0 likes 12 plays 0
Live session 1, full recording
Relational Synthesis for Pattern Matching 10 of 14

duration 4 minutes 20 seconds

Relational Synthesis for Pattern Matching

Relational Synthesis for Pattern Matching

From Henning Basold

0 likes 18 plays
Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev
Binding-Time Analysis for miniKanren 11 of 14

duration 4 minutes 44 seconds

Binding-Time Analysis for miniKanren

Binding-Time Analysis for miniKanren

From Henning Basold

0 likes 27 plays
Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun
Accelerating Program Synthesis in miniKanren 12 of 14

duration 4 minutes 57 seconds

Accelerating Program Synthesis in miniKanren

Accelerating Program Synthesis in miniKanren

From Henning Basold

0 likes 55 plays
Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd
Supercompilation Strategies for miniKanren 13 of 14

duration 4 minutes 56 seconds

Supercompilation Strategies for miniKanren

Supercompilation Strategies for miniKanren

From Henning Basold

0 likes 15 plays
Lightning talk by Maria Kuklina and Ekaterina Verbitskaia
Sound Type Assignment for Logic Programming 14 of 14

duration 4 minutes 59 seconds

Sound Type Assignment for Logic Programming

Sound Type Assignment for Logic Programming

From Henning Basold

0 likes 26 plays
Lightning talk by João Barbosa, Mário Florido and Vítor Santos Costa

Search for ""

Public, Restricted and Moderated

14 Media

1 Members

Managers:: Henning Basold