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: 1802
Venue: PODS
Year: 2020
Pagerank: 4.4648893e-05
Overall Rank: 8,677 | 39.70%
DOI: 10.1145/3375395.3389131

Incoming Non-self Citations Over Time

Authors

1. Adnan Darwiche

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,787	The Relational Data Borg is Learning	2020	VLDB	5.9168117e-05
8,884	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4243024e-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	Pagerank
4,145	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS	6.4076785e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6936517e-05
8,637	Machine Learning for Data Management: Problems and Solutions	2018	SIGMOD	4.4755972e-05
485	A New Approach to Database Logic	1984	PODS	0.00022061287
11,704	(Artificial) Mind over Matter: Integrating Humans and Algorithms in Solving Matching Problems	2018	SIGMOD	4.1905499e-05
3,440	Inference of Inequality Constraints in Logic Programs (Extended Abstract)	1991	PODS	7.0897313e-05
7,671	The Valid Model Semantics for Logic Programs	1992	PODS	4.6781479e-05
14,299	The Use of Extended Boolean Logic in Information Retrieval	1984	SIGMOD	-
3,039	C-Logic of Complex Objects	1989	PODS	7.6684755e-05
4,884	Translation And Optimization Of Logic Queries: The Algebraic Approach	1986	VLDB	5.8511369e-05