Copertina

Structured d-DNNF Is Not Closed Under Negation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Vinall-Smeeth, Harry
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
di: Vinall-Smeeth, Harry
Pubblicazione: (2023)

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy
di: Berkholz, Christoph, et al.
Pubblicazione: (2025)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
di: Derkinderen, Vincent
Pubblicazione: (2024)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
di: Sundermann, Chico, et al.
Pubblicazione: (2025)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
di: Case, Denise M.
Pubblicazione: (2026)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
di: Spaans, Jeroen, et al.
Pubblicazione: (2025)

LTLf Synthesis Under Unreliable Input
di: Hagemeier, Christian, et al.
Pubblicazione: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
di: Majkic, Zoran
Pubblicazione: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
di: Li, Yitian, et al.
Pubblicazione: (2024)

Investigations into Proof Structures
di: Wernhard, Christoph, et al.
Pubblicazione: (2023)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
di: Hecher, Markus, et al.
Pubblicazione: (2024)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

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

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
di: Ben-Naim, Jonathan, et al.
Pubblicazione: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
di: Gladyshev, Maksim, et al.
Pubblicazione: (2025)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
di: Cramer, Marcos, et al.
Pubblicazione: (2026)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
di: Pant, Sangeeta, et al.
Pubblicazione: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
di: Miya, Shinobu
Pubblicazione: (2025)

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

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

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
di: Song, Zhuo-Yang
Pubblicazione: (2025)

Analogical proportions II
di: Antić, Christian
Pubblicazione: (2024)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
di: Santana, Manuel Alejandro Borroto, et al.
Pubblicazione: (2026)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
di: Li, Ying, et al.
Pubblicazione: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
di: Heyninck, Jesse
Pubblicazione: (2024)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
di: Liu, Chanjuan, et al.
Pubblicazione: (2024)