Adnan Darwiche -

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