Buchumschlag

Faster Lifting for Ordered Domains with Predecessor Relations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zou, Kuncheng, Mai, Jiahao, Zhang, Yonggang, Wang, Yuyi, Kuželka, Ondřej, Wang, Yuanhong, Chang, Yi
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
von: Meng, Qiaolan, et al.
Veröffentlicht: (2025)

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)

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

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

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

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)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
von: Anders, Markus, et al.
Veröffentlicht: (2025)

Lifted Inference beyond First-Order Logic
von: Malhotra, Sagar, et al.
Veröffentlicht: (2023)

Weighted Rules under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

RvLLM: LLM Runtime Verification with Domain Knowledge
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

The Universal PDDL Domain
von: Haslum, Patrik, et al.
Veröffentlicht: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

Approximate SMT Counting Beyond Discrete Domains
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
von: Kim, Chang-Eop
Veröffentlicht: (2024)

Epistemic Skills: Reasoning about Knowledge and Oblivion
von: Liang, Xiaolong, et al.
Veröffentlicht: (2025)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

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

Distributed Knowing How
von: Liu, Bin, et al.
Veröffentlicht: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Logic Synthesis with Generative Deep Neural Networks
von: Li, Xihan, et al.
Veröffentlicht: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

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

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
von: An, Chenyang, et al.
Veröffentlicht: (2024)

Pearce's Characterisation in an Epistemic Domain
von: Su, Ezgi Iraz
Veröffentlicht: (2025)

Defeasible Reasoning on Concepts
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

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