A probabilistic approximate logic for neuro-symbolic learning and reasoning
Authors:
- Mark-Oliver StehrMSMark-Oliver Stehr
- Minyoung KimMKMinyoung Kim
- Carolyn L. TalcottCTCarolyn L. Talcott
- 1 January 2022
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 124
Abstract
No abstract availableKeywords
Funding Information
- Defense Advanced Research Projects Agency (W911NF-14-2-0020)
- Army Research Office
This publication has 13 references indexed in Scilit:
- Lifted generative learning of Markov logic networksMachine Learning, 2015
- Deep learningNature, 2015
- Fast relational learning using bottom clause propositionalization with artificial neural networksMachine Learning, 2013
- Markov logic networksMachine Learning, 2006
- CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-CalculiElectronic Notes in Theoretical Computer Science, 2000
- Rewriting Logic as a Logical and Semantic FrameworkElectronic Notes in Theoretical Computer Science, 1996
- A complete many-valued logic with product-conjunctionArchive for Mathematical Logic, 1996
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Incidence calculus: A mechanism for probabilistic reasoningJournal of Automated Reasoning, 1985
- Fuzzy and probability uncertainty logicsInformation and Control, 1978