Buchumschlag

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kůla, Václav, Kuang, Qipeng, Wang, Yuyi, Wang, Yuanhong, Kuželka, Ondřej
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence 03C13, 68T27, 05-08 F.4.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

Bridging Weighted First Order Model Counting and Graph Polynomials
von: Kuang, Qipeng, et al.
Veröffentlicht: (2024)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
von: Sun, Shixin, et al.
Veröffentlicht: (2026)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
von: Wang, Yuanhong, et al.
Veröffentlicht: (2023)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
von: Wang, Yuanhong, et al.
Veröffentlicht: (2026)

On the relative asymptotic expressivity of inference frameworks
von: Koponen, Vera, et al.
Veröffentlicht: (2022)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

Generalization of terms via universal algebra
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2025)

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
von: Ham, Lucy, et al.
Veröffentlicht: (2022)

Domain size asymptotics for Markov logic networks
von: Koponen, Vera
Veröffentlicht: (2025)

Random expansions of trees with bounded height
von: Koponen, Vera, et al.
Veröffentlicht: (2024)

A convergence law for continuous logic and continuous structures with finite domains
von: Koponen, Vera
Veröffentlicht: (2025)

Probabilistic equational spectrum, primality and approximation in finite algebras
von: Cardó, Carles
Veröffentlicht: (2026)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
von: Meng, Qiaolan, et al.
Veröffentlicht: (2026)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
von: Brophy, Matthew E.
Veröffentlicht: (2025)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

Finite-Horizon First-Order Rank Profiles of Regular Languages
von: Bazarova, Madina, et al.
Veröffentlicht: (2026)

Hallucination, abstention, and computable inseparability
von: Imamura, Takuma
Veröffentlicht: (2026)

State Algebra for Propositional Logic
von: Lesnik, Dmitry, et al.
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

Constraint satisfaction problems, compactness and non-measurable sets
von: Tardif, Claude
Veröffentlicht: (2025)

Polynomial definability in constraint languages with few subpowers
von: Bulín, Jakub, et al.
Veröffentlicht: (2023)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation
von: Camlin, Jeffrey
Veröffentlicht: (2025)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
von: Aoki, Derek
Veröffentlicht: (2025)

Random expansions of finite structures with bounded degree
von: Koponen, Vera
Veröffentlicht: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Algebra of Self-Replication
von: Moss, Lawrence S.
Veröffentlicht: (2023)

Approximability of deep computations
von: Alva, Samson, et al.
Veröffentlicht: (2024)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Obligations and permissions on selfextensional logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
von: Pardal, Nina, et al.
Veröffentlicht: (2024)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
von: Barto, Libor, et al.
Veröffentlicht: (2024)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)