Search for tag: "logic"

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

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 7 plays 0  

Vivek Nigam: A Proof Theory for Distributed Evidential Transactions

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 1 plays 0  

Olivier Hermant and James Lipton: Eliminating Cuts in HoiC

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 1 plays 0  

Uli Sattler: Description Logics and Ontology Languages ā€“ an introduction and overview

TEASE-LP Session 2 Full

From  Henning Basold 0 likes 36 plays 0  

Discussion Session, 28 May 2020

Live session 1, full recording

From  Henning Basold 0 likes 10 plays 0  

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

Live session 1, full recording

From  Henning Basold 0 likes 11 plays 0  

Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints

Live session 1, full recording

From  Henning Basold 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  Henning Basold 0 likes 6 plays 0  

Dale Miller: Structural Proof Theory and Logic Programming

Live session 1, full recording

From  Henning Basold 0 likes 57 plays 0  

Accelerating Program Synthesis in miniKanren

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

From  Henning Basold 0 likes 40 plays

Relational Synthesis for Pattern Matching

Lightning talk by Dmitrii Kosarev and Dmitry Boulytchev

From  Henning Basold 0 likes 18 plays

Binding-Time Analysis for miniKanren

Lightning talk by Ekaterina Verbitskaia, Irina Artemeva and Daniil Berezun

From  Henning Basold 0 likes 24 plays

Supercompilation Strategies for miniKanren

Lightning talk by Maria Kuklina and Ekaterina Verbitskaia

From  Henning Basold 0 likes 13 plays