Copertina

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Molick, Sanderson, Belle, Vaishak
Natura:	Preprint
Pubblicazione:	2026
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

Counterfactual Explanations as Plans
di: Belle, Vaishak
Pubblicazione: (2025)

Complexity of Faceted Explanations in Propositional Abduction
di: Schmidt, Johannes, et al.
Pubblicazione: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
di: Upreti, Nijesh, et al.
Pubblicazione: (2026)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
di: Mendez-Lucero, Miguel Angel, et al.
Pubblicazione: (2024)

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

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
di: Zhang, Maifang, et al.
Pubblicazione: (2026)

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

A Primer for Preferential Non-Monotonic Propositional Team Logics
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2024)

Abduction of Domain Relationships from Data for VQA
di: Chowdhury, Al Mehdi Saadat, et al.
Pubblicazione: (2025)

Distributed Knowing How
di: Liu, Bin, et al.
Pubblicazione: (2025)

Feasibility Preservation under Monotone Retrieval Truncation
di: Plummer, Sean
Pubblicazione: (2026)

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

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
di: Katz, Jediah, et al.
Pubblicazione: (2024)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
di: Cabral, Rafael, et al.
Pubblicazione: (2025)

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

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

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)

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

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

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

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)

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

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

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
di: Goertzel, Ben
Pubblicazione: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
di: Gonzalez, Salwa Tabet, et al.
Pubblicazione: (2024)

Complexity of Abduction in Łukasiewicz Logic
di: Inoue, Katsumi, et al.
Pubblicazione: (2025)

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

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
di: King, Daragh, et al.
Pubblicazione: (2025)

Bilingual analogical proportions via hedges
di: Antić, Christian
Pubblicazione: (2023)

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

Static Analysis of Logic Programs via Boolean Networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
di: Ahmad, Faseeh, et al.
Pubblicazione: (2019)

Long-term Power Grid Planning via Answer Set Programming
di: Ielo, Antonio, et al.
Pubblicazione: (2026)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)