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 …

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 …

Dimensions of neural-symbolic integration-a structured survey

S Bader, P Hitzler - arxiv preprint cs/0511042, 2005 - arxiv.org
Research on integrated neural-symbolic systems has made significant progress in the
recent past. In particular the understanding of ways to deal with symbolic knowledge within …

[KNIHA][B] Mathematical aspects of logic programming semantics

P Hitzler, A Seda - 2011 - library.oapen.org
Covering the authors' own state-of-the-art research results, this book presents a rigorous,
modern account of the mathematical methods and tools required for the semantic analysis of …

Using OWL and SWRL to represent and reason with situation-based access control policies

D Beimel, M Peleg - Data & Knowledge Engineering, 2011 - Elsevier
Access control is a central problem in confidentiality management, in particular in the
healthcare domain, where many stakeholders require access to patients' health records …

Learning from interpretation transition using differentiable logic programming semantics

K Gao, H Wang, Y Cao, K Inoue - Machine Learning, 2022 - Springer
The combination of learning and reasoning is an essential and challenging topic in neuro-
symbolic research. Differentiable inductive logic programming is a technique for learning a …

Extracting reduced logic programs from artificial neural networks

J Lehmann, S Bader, P Hitzler - Applied intelligence, 2010 - Springer
Artificial neural networks can be trained to perform excellently in many application areas.
Whilst they can learn from raw data to solve sophisticated recognition and analysis …

[PDF][PDF] A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

S Bader, P Hitzler, S Hölldobler, A Witzel - IJCAI, 2007 - illc.uva.nl
We present a fully connectionist system for the learning of first-order logic programs and the
generation of corresponding models: Given a program and a set of training examples, we …

Unification neural networks: unification by error-correction learning

E Komendantskaya - Logic Journal of the IGPL, 2011 - ieeexplore.ieee.org
We show that the conventional first-order algorithm of unification can be simulated by finite
artificial neural networks with one layer of neurons. In these unification neural networks, the …

The core method: Connectionist model generation

S Bader, S Hölldobler - International Conference on Artificial Neural …, 2006 - Springer
Abstract Knowledge based artificial networks networks have been applied quite successfully
to propositional knowledge representation and reasoning tasks. However, as soon as these …