Buchumschlag

Canonical Decision Diagrams Modulo Theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Michelutti, Massimo, Masina, Gabriele, Spallitta, Giuseppe, Sebastiani, Roberto
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
von: Civini, Emanuele, et al.
Veröffentlicht: (2026)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
von: Masina, Gabriele, et al.
Veröffentlicht: (2025)

On CNF Conversion for SAT and SMT Enumeration
von: Masina, Gabriele, et al.
Veröffentlicht: (2023)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2024)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Extending CDCL-based Model Enumeration with Weights
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
von: Rodríguez, Andoni, et al.
Veröffentlicht: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

Computing Short SAT Implicants via Ising/QUBO Encodings
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2026)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
von: Huang, Litian, et al.
Veröffentlicht: (2024)

A Uniform Language to Explain Decision Trees
von: Arenas, Marcelo, et al.
Veröffentlicht: (2023)

Automated planning with ontologies under coherence update semantics (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
von: Xu, Lyris, et al.
Veröffentlicht: (2025)

On the Boolean Network Theory of Datalog$^\neg$
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Abstracting Situation Calculus Action Theories
von: Banihashemi, Bita, et al.
Veröffentlicht: (2024)

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

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

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

Generalized Optimization Modulo Theories
von: Tsiskaridze, Nestan, et al.
Veröffentlicht: (2024)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Multi-Property Synthesis
von: Weinhuber, Christoph, et al.
Veröffentlicht: (2026)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)