Cover Image

Semirings for Probabilistic and Neuro-Symbolic Logic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Derkinderen, Vincent, Manhaeve, Robin, Martires, Pedro Zuidberg Dos, De Raedt, Luc
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
by: Hazra, Rishi, et al.
Published: (2023)

Probabilistic Neural Circuits
by: Martires, Pedro Zuidberg Dos
Published: (2024)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models
by: Martires, Pedro Zuidberg Dos
Published: (2025)

Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024)

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2024)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
by: De Smet, Lennert, et al.
Published: (2024)

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
by: Maene, Jaron, et al.
Published: (2024)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

DeepGraphLog for Layered Neurosymbolic AI
by: Kikaj, Adem, et al.
Published: (2025)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

On the Hardness of Probabilistic Neurosymbolic Learning
by: Maene, Jaron, et al.
Published: (2024)

COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game
by: Sygkounas, Alkis, et al.
Published: (2026)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
by: Verreet, Victor, et al.
Published: (2024)

REvolve: Reward Evolution with Large Language Models using Human Feedback
by: Hazra, Rishi, et al.
Published: (2024)

APC-RL: Exceeding Data-Driven Behavior Priors with Adaptive Policy Composition
by: Rietz, Finn, et al.
Published: (2026)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

DeepLog: A Software Framework for Modular Neurosymbolic AI
by: Manhaeve, Robin, et al.
Published: (2026)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
by: Jiao, Ying, et al.
Published: (2025)

Defining neurosymbolic AI
by: De Smet, Lennert, et al.
Published: (2025)

The Gradient of Algebraic Model Counting
by: Maene, Jaron, et al.
Published: (2025)

Pruning-Based Extraction of Descriptions from Probabilistic Circuits
by: Bocklandt, Sieben, et al.
Published: (2023)

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
by: Manginas, Vasileios, et al.
Published: (2025)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024)

CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments
by: Abraham, Savitha Sam, et al.
Published: (2024)

NeSyA: Neurosymbolic Automata
by: Manginas, Nikolaos, et al.
Published: (2024)

Valid Text-to-SQL Generation with Unification-based DeepStochLog
by: Jiao, Ying, et al.
Published: (2025)

An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
by: Liem, Tran Quang
Published: (2026)