Cover Image

Integrating Belief Domains into Probabilistic Logic Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Azzolini, Damiano, Riguzzi, Fabrizio, Swift, Theresa
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
by: Zese, Riccardo, et al.
Published: (2023)

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
by: Azzolini, Damiano, et al.
Published: (2024)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

Robustness of Constraint Automata for Description Logics with Concrete Domains
by: Demri, Stéphane, et al.
Published: (2026)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
by: Jacobs, Bart, et al.
Published: (2023)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
by: Fandinno, Jorge, et al.
Published: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Graded Distributed Belief
by: Lorini, Emiliano, et al.
Published: (2025)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
by: Spaans, Jeroen, et al.
Published: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
by: Kifer, Michael, et al.
Published: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

Integrating Fuzzy Logic into Deep Symbolic Regression
by: Gerdes, Wout, et al.
Published: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
by: Anwer, Nivar, et al.
Published: (2025)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
by: Léveillé, Dylan
Published: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
by: Goertzel, Ben
Published: (2025)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
by: Bertagnon, Alessandro, et al.
Published: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Decentralized Planning Using Probabilistic Hyperproperties
by: Pontiggia, Francesco, et al.
Published: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

A Logic of Uncertain Interpretation
by: Bjorndahl, Adam
Published: (2025)