Time-and-Space-Efficient Weighted Deduction
Channel: Jason Eisner
Date: 2023-06-23

This is the ACL 2023 talk video for the following paper:
https://www.cs.jhu.edu/~jason/papers/#eisner-2023-tacl

Jason Eisner, "Time-and-Space-Efficient Weighted Deduction."  
Transactions of the Association for Computational Linguistics, 2023.

00:00:00 Introduction
00:00:21 Deduction Systems
00:00:56 Repropagation
00:02:10 Algorithms (Acyclic Graph)
00:05:10 Algorithms (Cyclic Graph)
00:05:42 Conclusion