Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Adnan Darwiche
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2020 profile
Not registered as user
Name:
Adnan Darwiche
Affiliation:
UCLA
Personal website:
http://web.cs.ucla.edu/~darwiche/
Contributions
2020
LPOP
Invited Speaker of Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms within the LPOP 2020-track
Panelist of Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? within the LPOP 2020-track
Symposium on Practical Aspects of Declarative Languages
Author of Invited Talk: Symbolic Reasoning About Machine Learning Systems within the PADL 2020-track
Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
Share
x
Thu 8 May 03:10
