Cover Image

Abductive Reasoning in a Paraconsistent Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bienvenu, Meghyn, Inoue, Katsumi, Kozhemiachenko, Daniil
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

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

Probabilistic Abduction in a Fuzzy Logic Framework
by: Flaminio, Tommaso, et al.
Published: (2026)

Paraconsistent Constructive Modal Logic
by: Gao, Han, et al.
Published: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
by: Kozhemiachenko, Daniil
Published: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
by: Kozhemiachenko, Daniil, et al.
Published: (2026)

Abductive forgetting
by: Liberatore, Paolo
Published: (2022)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
by: Junior, Arnaldo de Carvalho, et al.
Published: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Non-distributive relatives of ETL and NFL
by: Kozhemiachenko, Daniil
Published: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
by: Kozhemiachenko, Daniil, et al.
Published: (2025)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

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

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Paraconsistent Relations as a Variant of Kleene Algebras
by: Cunha, Juliana, et al.
Published: (2025)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

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

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

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

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

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

Non-contingecy in a paraconsistent setting
by: Kozhemiachenko, Daniil, et al.
Published: (2024)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
by: Vitali, Fabio
Published: (2025)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
by: Averkov, Daniil, et al.
Published: (2024)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
by: Bhat, Vishak K, et al.
Published: (2026)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
by: Guasch, Antoni, et al.
Published: (2025)

Filter-induced entailment relations in paraconsistent Gödel logics
by: Frittella, Sabine, et al.
Published: (2024)

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

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)