Search Results for author: Nicolas Schwind

Found 2 papers, 0 papers with code

Characterization of Logic Program Revision as an Extension of Propositional Revision

no code implementations30 Jun 2015 Nicolas Schwind, Katsumi Inoue

In this paper, a constructive characterization of all rational LP revision operators is given in terms of orderings over propositional interpretations with some further conditions specific to SE interpretations.

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