Search Results for author:
Found 2 papers, 0 papers with code
A New Approach for Revising Logic Programs
Belief revision has been studied mainly with respect to background logics that are monotonic in character.
Compositional Belief Update
We also explore other compositional belief change operators: erasure is developed as a dual operator to update; we show that a forget operator is definable in terms of update; and we give a definition of the compositional revision operator.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
