Cover Image

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meng, Qiaolan, Pu, Juhua, Niu, Hongting, Wang, Yuyi, Wang, Yuanhong, Kuželka, Ondřej
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Faster Lifting for Ordered Domains with Predecessor Relations
by: Zou, Kuncheng, et al.
Published: (2025)

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

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

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

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)

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

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
by: Lutz, Carsten, et al.
Published: (2024)

Model Change for Description Logic Concepts
by: Ozaki, Ana, et al.
Published: (2026)

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

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

Logic Synthesis with Generative Deep Neural Networks
by: Li, Xihan, et al.
Published: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Superposition with Delayed Unification
by: Bhayat, Ahmed, et al.
Published: (2024)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2008)

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
by: Khalil, Khurram, et al.
Published: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

A Logic of Uncertain Interpretation
by: Bjorndahl, Adam
Published: (2025)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

On the Logical Content of Knowledge Bases
by: Gheorghiu, Alexader V., et al.
Published: (2025)

Metric Dynamic Equilibrium Logic
by: Becker, Arvid, et al.
Published: (2024)

Existential Notation3 Logic
by: Arndt, Dörthe, et al.
Published: (2023)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
by: Liu, Yinhong, et al.
Published: (2024)

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

Logical Characterizations of GNNs with Mean Aggregation
by: Schönherr, Moritz, et al.
Published: (2025)

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

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Conditional Logical Message Passing Transformer for Complex Query Answering
by: Zhang, Chongzhi, et al.
Published: (2024)