Image de couverture de livre

Numerical Considerations in Weighted Model Counting

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bryant, Randal E.
Format:	Preprint
Publié:	2025
Sujets:	Numerical Analysis Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
par: Dengler, Gabriel, et autres
Publié: (2024)

Time-Sensitive Importance Splitting
par: Dengler, Gabriel, et autres
Publié: (2025)

Automatic Verification of Floating-Point Accumulation Networks
par: Zhang, David K., et autres
Publié: (2025)

Finite element method. Detailed proofs to be formalized in Coq
par: Clément, François, et autres
Publié: (2024)

Model Counting in the Wild
par: Shaw, Arijit, et autres
Publié: (2024)

Bean: A Language for Backward Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2025)

Formally Certified Approximate Model Counting
par: Tan, Yong Kiam, et autres
Publié: (2024)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
par: Gorard, Jonathan, et autres
Publié: (2025)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
par: Bryant, Randal E., et autres
Publié: (2025)

Towards Practical First-Order Model Counting
par: Kidambi, Ananth K., et autres
Publié: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2024)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
par: Tao, Yichen, et autres
Publié: (2026)

Weighted Rules under the Stable Model Semantics
par: Lee, Joohyung, et autres
Publié: (2026)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Approximate SMT Counting Beyond Discrete Domains
par: Shaw, Arijit, et autres
Publié: (2025)

Compilation and Fast Model Counting beyond CNF
par: de Colnet, Alexis, et autres
Publié: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
par: Kabir, Mohimenul, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
par: Li, Jinzhao, et autres
Publié: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
par: Xiao, Shengping, et autres
Publié: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
par: Ben-Naim, Jonathan, et autres
Publié: (2024)

The Model Counting Competition 2020
par: Fichte, Johannes K., et autres
Publié: (2020)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

The Model Counting Competitions 2021-2023
par: Fichte, Johannes K., et autres
Publié: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approaches
par: Kodathala, Sai Varun, et autres
Publié: (2026)

A tensor network formalism for neuro-symbolic AI
par: Goessmann, Alex, et autres
Publié: (2026)

Large Language Model for OWL Proofs
par: Yang, Hui, et autres
Publié: (2026)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Can Large Language Models Autoformalize Kinematics?
par: Kabra, Aditi, et autres
Publié: (2025)