Cover Image

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling

Fuente: arXiv

Saved in:

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

Similar Items

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

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)

Temporal Many-valued Conditional Logics: a Preliminary Report
by: Alviano, Mario, et al.
Published: (2024)

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

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

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2024)

TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

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

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
by: Rovai, Fabio
Published: (2026)

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

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
by: Wang, Zili, et al.
Published: (2025)

Formal Abductive Latent Explanations for Prototype-Based Networks
by: Soria, Jules, et al.
Published: (2025)

Stemming Hallucination in Language Models Using a Licensing Oracle
by: Emanuilov, Simeon, et al.
Published: (2025)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

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

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

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

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
by: Santacana, Andreu Ballus
Published: (2025)

CSSDM Ontology to Enable Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
by: Leiva, Mario, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Semantic Modeling for World-Centered Architectures
by: Mantsivoda, Andrei, et al.
Published: (2026)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
by: Wang, Shuai, et al.
Published: (2024)

Boolean Nearest Neighbor Language in the Knowledge Compilation Map
by: Čepek, Ondřej, et al.
Published: (2024)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

Do LLMs Truly Understand When a Precedent Is Overruled?
by: Zhang, Li, et al.
Published: (2025)

Ontology Learning with LLMs: A Benchmark Study on Axiom Identification
by: Bakker, Roos M., et al.
Published: (2025)

Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)