Login / Signup
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