Search Results for author: Marc Aiguier

Found 3 papers, 0 papers with code

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

no code implementations5 Mar 2018 Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino-Pérez

The aim of this paper is to introduce a new framework for defining abductive reasoning operators based on a notion of retraction in arbitrary logics defined as satisfaction systems.

Relaxation-based revision operators in description logics

no code implementations26 Feb 2015 Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot

In this paper we address both the generalization of the well-known AGM postulates, and the definition of concrete and well-founded revision operators in different DL families.

Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics

no code implementations8 Feb 2015 Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot

Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics.

Cannot find the paper you are looking for? You can Submit a new open access paper.