Cover Image

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kuang, Qipeng, Kůla, Václav, Kuželka, Ondřej, Wang, Yuanhong, Wang, Yuyi
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence 03C13, 68T27 F.4.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
by: Kůla, Václav, et al.
Published: (2025)

Bridging Weighted First Order Model Counting and Graph Polynomials
by: Kuang, Qipeng, et al.
Published: (2024)

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

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
by: Wang, Yuanhong, et al.
Published: (2023)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
by: Wang, Yuanhong, et al.
Published: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
by: Meng, Qiaolan, et al.
Published: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
by: Kuijer, Louwe, et al.
Published: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

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

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

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
by: Meng, Qiaolan, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
by: Brophy, Matthew E.
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

Finite-Horizon First-Order Rank Profiles of Regular Languages
by: Bazarova, Madina, et al.
Published: (2026)

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
by: Alexandru, Baltag, et al.
Published: (2025)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

Courcelle's Theorem Without Logic
by: Filmus, Yuval, et al.
Published: (2025)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

Forcing with Symmetric Systems of Models of Two Types
by: Gallart, Curial
Published: (2022)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation
by: Camlin, Jeffrey
Published: (2025)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
by: Inoué, Takao
Published: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Constraint satisfaction problems, compactness and non-measurable sets
by: Tardif, Claude
Published: (2025)