author-photo

Adnan Darwiche

University of California, Los Angeles
American University of Beirut
Rockwell Automation

297

Papers

10314

Citations

Citation Trend

Filter By

Papers (224) Sort By

Journal Conference Others

Tractable Boolean and Arithmetic Circuits.

2022 CoRR
- Adnan Darwiche
Show All
- Source
- Cite
- Save
Citations (0)
On the Computation of Necessary and Sufficient Explanations.

2022 CoRR
- Adnan Darwiche
Show All
- Source
- Cite
- Save
Citations (0)
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

2021 Journal of Artificial Intelligence Research
- Adnan Darwiche
- Pierre Marquis
Show All
- Source
- Cite
- Save
Citations (0)
Chapter 3. Complete Algorithms

2021
- Adnan Darwiche
- Knot Pipatsrisawat
Show All
- Source
- Cite
- Save
Citations (0)
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI

2021 Journal of Artificial Intelligence Research
- Adnan Darwiche
- Pierre Marquis
Show All
- Source
- Cite
- Save
Citations (0)
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI

2021 arXiv: Artificial Intelligence
- Adnan Darwiche
- Pierre Marquis
Show All
- Source
- Cite
- Save
Citations (0)
Lifted Aggregation and Skolemization for Directed Models

2021
Show All
- Source
- Cite
- Save
Citations (0)
Open-world probabilistic databases: Semantics, algorithms, complexity

2021 Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (0)
On Tractable Representations of Binary Neural Networks

2020 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (7)
On Tractable Representations of Binary Neural Networks

2020 arXiv: Learning
Show All
- Source
- Cite
- Save
Citations (10)