TEASE-LP

TEASE-LP

Show Details

The channel of TEASE-LP

…Read more Less…

logic programming

Uli Sattler: Description Logics and Ontology…

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 36 plays 0
TEASE-LP Session 2 Full
Panel: Discussion of the future development of…

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…

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 57 plays 0
Live session 1, full recording
Vivek Nigam: A Proof Theory for Distributed…

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

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…

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…

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:…

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…

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 11 plays 0
Live session 1, full recording
Relational Synthesis for Pattern Matching

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

duration 4 minutes 44 seconds

Binding-Time Analysis for miniKanren

Binding-Time Analysis for miniKanren

From Henning Basold

0 likes 25 plays
Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun
Accelerating Program Synthesis in miniKanren

duration 4 minutes 57 seconds

Accelerating Program Synthesis in miniKanren

Accelerating Program Synthesis in miniKanren

From Henning Basold

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

duration 4 minutes 56 seconds

Supercompilation Strategies for miniKanren

Supercompilation Strategies for miniKanren

From Henning Basold

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

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