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

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
13:05
40m
Talk
Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms
LPOP
13:45
30m
Live Q&A
Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
LPOP
Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University
14:15
10m
Break
Break: Ask Me Anything
LPOP
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria