90 citations · 300 across the 30 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026★ 1 cited
Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
Swapn Shah, Wlodek Zadrozny
The unification of symbolic reasoning and neural networks remains a central challenge in artificial intelligence. Symbolic systems offer reliability and interpretability but lack s…
cs.AI2021
Abstraction, Reasoning and Deep Learning: A Study of the "Look and Say" Sequence
Wlodek W. Zadrozny
The ability to abstract, count, and use System~2 reasoning are well-known manifestations of intelligence and understanding. In this paper, we argue, using the example of the ``Look…
cs.AI2021
A Note on Argumentative Topology: Circularity and Syllogisms as Unsolved Problems
Wlodek W. Zadrozny
In the last couple of years there were a few attempts to apply topological data analysis to text, and in particular to natural language inference. A recent work by Tymochko et al.…