Search for tag: "logic programming"

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

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:51 GMT+2 0 likes 6 plays 0  

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:46 GMT+2 0 likes 1 plays 0  

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 11:42 GMT+2 0 likes 0 plays 0  

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

TEASE-LP Session 2 Full

From  Basold H. Universiteit Leiden on 30-May-2020, 07:36 GMT+2 0 likes 36 plays 0  

Discussion Session, 28 May 2020

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 17:03 GMT+2 0 likes 9 plays 0  

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

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:55 GMT+2 0 likes 8 plays 0  

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:50 GMT+2 0 likes 13 plays 0  

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

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:46 GMT+2 0 likes 5 plays 0  

Dale Miller: Structural Proof Theory and Logic Programming

Live session 1, full recording

From  Basold H. Universiteit Leiden on 28-May-2020, 16:40 GMT+2 0 likes 54 plays 0  

Accelerating Program Synthesis in miniKanren

Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd

From  Basold H. Universiteit Leiden on 19-May-2020, 12:20 GMT+2 0 likes 32 plays

Relational Synthesis for Pattern Matching

Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev

From  Basold H. Universiteit Leiden on 19-May-2020, 11:44 GMT+2 0 likes 18 plays

Binding-Time Analysis for miniKanren

Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun

From  Basold H. Universiteit Leiden on 19-May-2020, 11:44 GMT+2 0 likes 19 plays

Supercompilation Strategies for miniKanren

Lightning talk by Maria Kuklina and Ekaterina Verbitskaia

From  Basold H. Universiteit Leiden on 15-May-2020, 14:05 GMT+2 0 likes 13 plays