SPLASH 2020 (series) / LPOP 2020 (series) / Logic and Practice of Programming (LPOP) 2020 /
Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms
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 NovDisplayed time zone: Central Time (US & Canada) change
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 40mTalk | Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms LPOP | ||
13:45 30mLive 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 10mBreak | Break: Ask Me Anything LPOP Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria |