1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2025
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt +4
Neurosymbolic (NeSy) AI aims to combine the strengths of neural architectures and symbolic reasoning to improve the accuracy, interpretability, and generalization capability of AI…
cs.AI2025★ 1 cited
Grounding Methods for Neural-Symbolic AI
Rodrigo Castellano Ontiveros, Francesco Giannini, Marco Gori +2
A large class of Neural-Symbolic (NeSy) methods employs a machine learner to process the input entities, while relying on a reasoner based on First-Order Logic to represent and pro…