:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Jacobs, Bart, Stein, Dario
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2309.07053
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
di: Jacobs, Bart
Pubblicazione: (2024)

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

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

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Compositional Inference for Bayesian Networks and Causality
di: Jacobs, Bart, et al.
Pubblicazione: (2025)

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

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

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
di: Shea-Blymyer, Colin, et al.
Pubblicazione: (2024)

Machine Learning as Iterated Belief Change a la Darwiche and Pearl
di: Aravanis, Theofanis
Pubblicazione: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
di: Vanbesien, Linde, et al.
Pubblicazione: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
di: Adams, Robin, et al.
Pubblicazione: (2015)

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

Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

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

Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
di: D'Asaro, Fabio Aurelio, et al.
Pubblicazione: (2022)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
di: Heck, Linus, et al.
Pubblicazione: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
di: Buleshnyi, Mykhailo, et al.
Pubblicazione: (2025)

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

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

Drawing with Distance
di: Jacobs, Bart
Pubblicazione: (2024)

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

Hybrid Answer Set Programming: Foundations and Applications
di: Rühling, Nicolas
Pubblicazione: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
di: Yang, HuanYu, et al.
Pubblicazione: (2025)

Towards Constraint Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Defeasible Conditionals using Answer Set Programming
di: Dennison, Racquel, et al.
Pubblicazione: (2026)

Answer Set Programming for Flexible Payroll Management
di: Callewaert, Benjamin, et al.
Pubblicazione: (2024)

A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)

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

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

Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

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

A Simple Formal Language for Probabilistic Decision Problems
di: Di Lavore, Elena, et al.
Pubblicazione: (2024)

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