Three Modern Roles for Logic in AI

Summary: Argues tractable Boolean circuits as a unifying foundation for modern AI: logic-as-computation (circuit-based, tractable inference) and logic-as-learning (hybrid models combining data with symbolic knowledge). Also advances logic-as-reasoning to formally analyze and verify ML behavior. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1834
Venue: PODS
Year: 2020
Pagerank: 5.3650264e-05
Overall Rank: 8,705 | 40.49%
DOI: 10.1145/3375395.3389131

Incoming Non-self Citations Over Time

Authors

1. Adnan Darwiche (University of California Los Angeles)

BibTeX Citation

@inproceedings{darwiche_pods20,
        address = {New York, NY, USA},
        series = {{PODS} '20},
        title = {{Three Modern Roles for Logic in AI}},
        url = {https://dl.acm.org/doi/10.1145/3375395.3389131},
        doi = {10.1145/3375395.3389131},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Darwiche, Adnan},
        year = {2020}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,137	The Relational Data Borg is Learning	2020	VLDB	6.8583209e-05
8,889	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.3343816e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,232	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
2	8,708	Machine Learning for Data Management: Problems and Solutions	2018	SIGMOD
3	547	A New Approach to Database Logic	1984	PODS
4	11,958	(Artificial) Mind over Matter: Integrating Humans and Algorithms in Solving Matching Problems	2018	SIGMOD
5	3,837	Inference of Inequality Constraints in Logic Programs (Extended Abstract)	1991	PODS
6	10,208	Recursive Querying of Neural Networks via Weighted Structures	2026	PODS
7	8,123	The Valid Model Semantics for Logic Programs	1992	PODS
8	14,536	The Use of Extended Boolean Logic in Information Retrieval	1984	SIGMOD
9	3,095	C-Logic of Complex Objects	1989	PODS
10	4,652	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB