Neuro-symbolic artificial intelligence: The state of the art

P Hitzler, MK Sarker - 2022 - books.google.com
Neuro-symbolic AI is an emerging subfield of Artificial Intelligence that brings together two
hitherto distinct approaches.” Neuro” refers to the artificial neural networks prominent in …

A survey on neural-symbolic learning systems

D Yu, B Yang, D Liu, H Wang, S Pan - Neural Networks, 2023 - Elsevier
In recent years, neural systems have demonstrated highly effective learning ability and
superior perception intelligence. However, they have been found to lack effective reasoning …

Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation 1

TR Besold, A d'Avila Garcez, S Bader… - … : The State of the Art, 2021 - ebooks.iospress.nl
The study and understanding of human behaviour is relevant to computer science, artificial
intelligence, neural computation, cognitive science, philosophy, psychology, and several …

Efficient probabilistic logic reasoning with graph neural networks

Y Zhang, X Chen, Y Yang, A Ramamurthy, B Li… - arxiv preprint arxiv …, 2020 - arxiv.org
Markov Logic Networks (MLNs), which elegantly combine logic rules and probabilistic
graphical models, can be used to address many knowledge graph problems. However …

Markov Logic

P Domingos, D Lowd - Markov Logic: An Interface Layer for Artificial …, 2009 - Springer
In this chapter, we provide a detailed description of the Markov logic representation. We
begin by providing background on first-order logic and probabilistic graphical models and …

[HTML][HTML] Semantic-based regularization for learning and inference

M Diligenti, M Gori, C Sacca - Artificial Intelligence, 2017 - Elsevier
This paper proposes a unified approach to learning from constraints, which integrates the
ability of classical machine learning techniques to learn from continuous feature-based …

Entity resolution with markov logic

P Singla, P Domingos - … Conference on Data Mining (ICDM'06), 2006 - ieeexplore.ieee.org
Entity resolution is the problem of determining which records in a database refer to the same
entities, and is a crucial and expensive step in the data mining process. Interest in it has …

Tuffy: Scaling up statistical inference in markov logic networks using an rdbms

F Niu, C Ré, AH Doan, J Shavlik - arxiv preprint arxiv:1104.3216, 2011 - arxiv.org
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines
statistical and logical reasoning; they have been applied to many data intensive problems …

[PDF][PDF] Lifted First-Order Belief Propagation.

P Singla, PM Domingos - AAAI, 2008 - cdn.aaai.org
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years
many representations combining aspects of the two have been proposed. However …

Event modeling and recognition using markov logic networks

SD Tran, LS Davis - Computer Vision–ECCV 2008: 10th European …, 2008 - Springer
We address the problem of visual event recognition in surveillance where noise and missing
observations are serious problems. Common sense domain knowledge is exploited to …