Fetching the paper…
Reading the bibliography…
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning).
A logical calculus of the ideas immanent in nervous activity
W. S. McCulloch and W. Pitts · 1943
Earlier work this paper cites.
An algorithm for quadratic programming
M. Frank and P. Wolfe · 1956
Earlier work this paper cites.
Reasoning, connectionist nonmonotonicity and learning in networks that capture propositional knowledge
G. Pinkas · 1994
Earlier work this paper cites.
Knowledge-based artificial neural networks
G. G. Towell and J. W. Shavlik · 1994
Earlier work this paper cites.
The connectionist inductive learning and logic programming system
A. S. d. Garcez and G. Zaverucha · 1999
Earlier work this paper cites.
A formula for incorporating weights into scoring rules
R. Fagin and E. L. Wimmers · 2000
Earlier work this paper cites.
Lubm: A benchmark for owl knowledge base systems
Y. Guo, Z. Pan, and J. Heflin · 2005
Earlier work this paper cites.
Markov logic networks
M. Richardson and P. Domingos · 2006
Cited alongside, same era.
The alchemy system for statistical relational ai: User manual, 2007
S. Richardson, P. Domingos, and M. S. H. Poon · 2007
Cited alongside, same era.
Artificial Intelligence: A Modern Approach
S. Russell and P. Norvig · 2009
Cited alongside, same era.
The tptp problem library and associated infrastructure
G. Sutcliffe · 2009
Cited alongside, same era.
Metamathematics of fuzzy logic
P. Hájek · 2013
Cited alongside, same era.
Revisiting frank-wolfe: Projection-free sparse convex optimization
M. Jaggi · 2013
Cited alongside, same era.
Tensorlog: A differentiable deductive database, 2016
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L. Serafini and A. d. Garcez · 2016
Later among the works it cites.
Hinge-loss markov random fields and probabilistic soft logic
S. H. Bach, M. Broecheler, B. Huang, and L. Getoor · 2017
Later among the works it cites.
End-to-end differentiable proving
T. Rocktäschel and S. Riedel · 2017
Later among the works it cites.
Learning explanatory rules from noisy data
R. Evans and E. Grefenstette · 2018
Later among the works it cites.
A deep reinforcement learning based approach to learning transferable proof guidance strategies, 2019
M. Crouse, I. Abdelaziz, B. Makni, S. Whitehead, C. Cornelio, P. Kapanipathi, E. Pell, K. Srinivas, V. Thost, M. Witbrock, and A. Fokoue · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
W. W. Cohen · 2016
Cited alongside, same era.
Available at https://blazegraph.com/
Blazegraph
Cited in the paper.
Available at https://www.stardog.com/
Stardog
Cited in the paper.
Available at https://virtuoso.openlinksw.com/
Virtuoso
Cited in the paper.
H. Dong, J. Mao, T. Lin, C. Wang, L. Li, and D. Zhou · 2019
Later among the works it cites.