Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

15 June 2020

Papers citing "Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains"

6 / 6 papers shown

Title
A Novel Neural-symbolic System under Statistical Relational Learning Dongran Yu Xueyan Liu Shirui Pan Anchen Li Bo Yang AI4CE NAI 14 1 0 16 Sep 2023
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective Peter Baumgartner Daniel V. Smith Mashud Rana Reena Kapoor Elena Tartaglia A. Schutt Ashfaqur Rahman John Taylor S. Dunstall 27 4 0 04 Oct 2022
Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review Kyle Hamilton Aparna Nayak Bojan Bozic Luca Longo NAI 29 57 0 24 Feb 2022
Logic Guided Genetic Algorithms D. Ashok Joseph Scott S. J. Wetzel Maysum Panju Vijay Ganesh 21 12 0 21 Oct 2020
Logic, Probability and Action: A Situation Calculus Perspective Vaishak Belle LRM 26 3 0 17 Jun 2020
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016