Levi Contractions and AGM Contractions: a Comparison.

Sven Ove Hansson Erik J. Olsson

Published in: Notre Dame J. Formal Log. (1995)

Keyphrases

belief revision
belief change

databases

database systems

multi agent