Buchumschlag

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Martires, Pedro Zuidberg Dos, De Raedt, Luc, Kimmig, Angelika
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
von: Derkinderen, Vincent, et al.
Veröffentlicht: (2024)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
von: Hazra, Rishi, et al.
Veröffentlicht: (2023)

Probabilistic Neural Circuits
von: Martires, Pedro Zuidberg Dos
Veröffentlicht: (2024)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models
von: Martires, Pedro Zuidberg Dos
Veröffentlicht: (2025)

Can Large Language Models Reason? A Characterization via 3-SAT
von: Hazra, Rishi, et al.
Veröffentlicht: (2024)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

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

Neurosymbolic Decision Trees
von: Möller, Matthias, et al.
Veröffentlicht: (2025)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
von: De Smet, Lennert, et al.
Veröffentlicht: (2024)

Independence Is Not an Issue in Neurosymbolic AI
von: Faronius, Håkan Karlsson, et al.
Veröffentlicht: (2025)

Two Constraint Compilation Methods for Lifted Planning
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
von: Martires, Pedro Zuidberg Dos, et al.
Veröffentlicht: (2024)

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

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
von: Verreet, Victor, et al.
Veröffentlicht: (2024)

REvolve: Reward Evolution with Large Language Models using Human Feedback
von: Hazra, Rishi, et al.
Veröffentlicht: (2024)

APC-RL: Exceeding Data-Driven Behavior Priors with Adaptive Policy Composition
von: Rietz, Finn, et al.
Veröffentlicht: (2026)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
von: Jiao, Ying, et al.
Veröffentlicht: (2025)

Defining neurosymbolic AI
von: De Smet, Lennert, et al.
Veröffentlicht: (2025)

The Gradient of Algebraic Model Counting
von: Maene, Jaron, et al.
Veröffentlicht: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
von: Maene, Jaron, et al.
Veröffentlicht: (2024)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments
von: Abraham, Savitha Sam, et al.
Veröffentlicht: (2024)

Valid Text-to-SQL Generation with Unification-based DeepStochLog
von: Jiao, Ying, et al.
Veröffentlicht: (2025)

NeSyA: Neurosymbolic Automata
von: Manginas, Nikolaos, et al.
Veröffentlicht: (2024)

Logical Robots: Declarative Multi-Agent Programming in Logica
von: Skvortsov, Evgeny, et al.
Veröffentlicht: (2026)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
von: Marra, Giuseppe, et al.
Veröffentlicht: (2021)

Relational Neurosymbolic Markov Models
von: De Smet, Lennert, et al.
Veröffentlicht: (2024)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

DeepGraphLog for Layered Neurosymbolic AI
von: Kikaj, Adem, et al.
Veröffentlicht: (2025)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
von: Hillerstrom, Fieke, et al.
Veröffentlicht: (2024)

Declarative Scenario-based Testing with RoadLogic
von: Bartocci, Ezio, et al.
Veröffentlicht: (2026)

PDL: A Declarative Prompt Programming Language
von: Vaziri, Mandana, et al.
Veröffentlicht: (2024)

The DeepLog Neurosymbolic Machine
von: Derkinderen, Vincent, et al.
Veröffentlicht: (2025)

On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems
von: Gilio, Angelo, et al.
Veröffentlicht: (2023)

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
von: Glenn, Parker, et al.
Veröffentlicht: (2025)

DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
von: Casas-Ramos, Jacobo, et al.
Veröffentlicht: (2025)

Robust Probabilistic Model Checking with Continuous Reward Domains
von: Ji, Xiaotong, et al.
Veröffentlicht: (2025)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Logic Programming on Knowledge Graph Networks And its Application in Medical Domain
von: Wang, Chuanqing, et al.
Veröffentlicht: (2026)