SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Sun 15 Nov 2020 13:05 - 13:45 at SPLASH-IV - 13:05-- Logic and Implementation Tractability Chair(s): Y. Annie Liu

Tractable Boolean circuits have been playing an increasingly important role in AI and beyond, being also the basis for tractable probabilistic circuits. This includes (1) providing a systematic approach for tackling problems beyond NP, (2) allowing one to learn from certain combinations of knowledge and data, and (3) reasoning about the behavior of some machine learning systems. In this talk, I will review the basics and applications of tractable Boolean circuits, while also discussing the compilation of Boolean formula into tractable circuits: a critical process which can benefit from additional efforts by the broad computer science community.

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: 13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie LiuStony Brook University
13:05 - 13:45
Talk
LPOP
13:45 - 14:15
Live Q&A
LPOP
Stuart RussellUniversity of California, Berkeley, Paul TarauUniversity of North Texas, Adnan DarwicheUCLA, C: David WarrenStony Brook University
14:15 - 14:25
Break
LPOP
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid, C: Martin GebserUniversity of Klagenfurt, Austria