Fetching the paper…
Reading the bibliography…
The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic.
The semantics of predicate logic as a programming language,
M. H. Van Emden, R. A. Kowalski, · 1976
Earlier work this paper cites.
Probabilistic uniformization of fuzzy topologies,
U. Höhle, · 1978
Earlier work this paper cites.
Prolog and infinite trees,
A. Colmerauer, · 1982
Earlier work this paper cites.
On some logical connectives for fuzzy sets theory,
C. Alsina, E. Trillas, L. Valverde, · 1983
Earlier work this paper cites.
M. Fitting, Bilattices in logic programming, City University of New York, Lehman College, Department of Mathematics and Computer Science, 1990
1990
Earlier work this paper cites.
Learning logical definitions from relations,
J. R. Quinlan, · 1990
Earlier work this paper cites.
The symbol grounding problem,
S. Harnad, · 1990
Earlier work this paper cites.
Theory of generalized annotated logic programming and its applications,
M. Kifer, V. Subrahmanian, · 1992
Earlier work this paper cites.
J. W. Lloyd, Foundations of logic programming, Springer-Verlag New York, Inc., 1987
1992
Earlier work this paper cites.
S. Abiteboul, R. Hull, V. Vianu, Foundations of databases, volume 8, Addison-Wesley Reading, 1995
1995
Earlier work this paper cites.
Fast discovery of association rules.,
R. Agrawal, H. Mannila, R. Srikant, H. Toivonen, A. I. Verkamo, et al., · 1996
Earlier work this paper cites.
Temporal probabilistic logic programs,
A. Dekhtyar, M. I. Dekhtyar, V. S. Subrahmanian, · 1999
Earlier work this paper cites.
Episodic logic meets little red riding hood: A comprehensive, natural representation for language understanding,
L. K. Schubert, C. H. Hwang, · 2000
Earlier work this paper cites.
Fuzzy logic programming,
P. Vojtáš, · 2001
Cited alongside, same era.
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10 30, 000 {}^{\mbox{30, 000}} worlds,
S. Khuller, M. V. Martinez, D. S. Nau, A. Sliva, G. I. Simari, V. S. Subrahmanian, · 2007
Cited alongside, same era.
Annotated probabilistic temporal logic,
P. Shakarian, A. Parker, G. Simari, V. V. S. Subrahmanian, · 2011
Cited alongside, same era.
Annotated probabilistic temporal logic,
P. Shakarian, A. Parker, G. Simari, V. V. Subrahmanian, · 2011
Cited alongside, same era.
Data analysis in public social networks,
L. Takac, M. Zabovsky, · 2012
Cited alongside, same era.
Annotated probabilistic temporal logic: Approximate fixpoint implementation,
P. Shakarian, G. I. Simari, V. Subrahmanian, · 2012
Cited alongside, same era.
STLnet: Signal temporal logic enforced multivariate recurrent neural networks,
M. Ma, J. Gao, L. Feng, J. Stankovic, · 2020
Later among the works it cites.
Ontology reasoning with deep neural networks,
P. Hohenecker, T. Lukasiewicz, · 2020
Later among the works it cites.
Neurasp: Embracing neural networks into answer set programming,
Z. Yang, A. Ishay, J. Lee, · 2020
Later among the works it cites.
Differentiable inductive logic programming for structured examples,
H. Shindo, M. Nishino, A. Yamamoto, · 2021
Later among the works it cites.
Detecting malicious behavior in social platforms via hybrid knowledge- and data-driven systems,
J. N. Paredes, G. I. Simari, M. V. Martinez, M. A. Falappa, · 2021
Later among the works it cites.
From conceptual models to knowledge graphs: a generic model transformation platform,
M. Smajevic, D. Bork, · 2021
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Using generalized annotated programs to solve social network diffusion optimization problems,
P. Shakarian, M. Broecheler, V. Subrahmanian, C. Molinaro, · 2013
Cited alongside, same era.
Fast relational learning using bottom clause propositionalization with artificial neural networks,
M. V. França, G. Zaverucha, A. S. d’Avila Garcez, · 2014
Cited alongside, same era.
A theory of the nexus supplier: A critical supplier from a network perspective,
T. Yan, T. Y. Choi, Y. Kim, Y. Yang, · 2015
Cited alongside, same era.
Mining for causal relationships: A data-driven study of the islamic state,
A. Stanton, A. Thart, A. Jain, P. Vyas, A. Chatterjee, P. Shakarian, · 2015
Cited alongside, same era.
Learning explanatory rules from noisy data,
R. Evans, E. Grefenstette, · 2018
Cited alongside, same era.
R. Riegel, A. Gray, F. Luus, N. Khan, N. Makondo, I. Y. Akhalwaya, H. Qian, R. Fagin, F. Barahona, U. Sharma, S. Ikbal, H. Karanam, S. Neelam, A. Likhyani, S. Srivastava, Logical neural networks, 2020
2020
Cited alongside, same era.
Later among the works it cites.
Logic tensor networks,
S. Badreddine, A. d’Avila Garcez, L. Serafini, M. Spranger, · 2022
Later among the works it cites.
Logical neural networks for knowledge base completion with embeddings & rules,
P. Sen, B. W. Carvalho, I. Abdelaziz, P. Kapanipathi, S. Roukos, A. Gray, · 2022
Later among the works it cites.
Extensions to generalized annotated logic and an equivalent neural architecture,
P. Shakarian, G. I. Simari, · 2022
Later among the works it cites.
Neuro-symbolic inductive logic programming with logical neural networks,
P. Sen, B. W. S. R. d. Carvalho, R. Riegel, A. Gray, · 2022
Later among the works it cites.
Neuro-symbolic inductive logic programming with logical neural networks,
P. Sen, B. W. de Carvalho, R. Riegel, A. Gray, · 2022
Later among the works it cites.
Model-based construction of enterprise architecture knowledge graphs,
P.-L. Glaser, S. J. Ali, E. Sallinger, D. Bork, · 2022
Later among the works it cites.