Cover Image

Abductive forgetting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Liberatore, Paolo
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Iterated belief revision: from postulates to abilities
by: Liberatore, Paolo
Published: (2025)

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

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

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

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)

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

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

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

Can we forget how we learned? Doxastic redundancy in iterated belief revision
by: Liberatore, Paolo
Published: (2024)

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

One head is better than two: a polynomial restriction for propositional definite Horn forgetting
by: Liberatore, Paolo
Published: (2020)

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

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

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

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Analogical proportions II
by: Antić, Christian
Published: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
by: Rodler, Patrick
Published: (2022)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

Proportoids
by: Antić, Christian
Published: (2022)

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

A Logic of Uncertain Interpretation
by: Bjorndahl, Adam
Published: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Approximate matrices of systems of max-min fuzzy relational equations
by: Baaj, Ismaïl
Published: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
by: Vanbesien, Linde, et al.
Published: (2025)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Partial Label Learning for Automated Theorem Proving
by: Zombori, Zsolt, et al.
Published: (2025)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
by: Hsu, Tzu-Han, et al.
Published: (2025)

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

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)