84 citations · 100 across the 8 of their papers we have counts for
Showing 2021 · cs.AIShow all
2 papers · 2 filters
cs.AI2021
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…
cs.AI2021★ 7 cited
Logic Embeddings for Complex Query Answering
Francois Luus, Prithviraj Sen, Pavan Kapanipathi +4
Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order…