Pseudo equality algebras: revision.

Anatolij Dvurecenskij Omid Zahiri

Published in: Soft Comput. (2016)

Keyphrases

distributive lattices
belief revision
boolean algebra
information retrieval
knowledge base
belief change
data structure
belief functions
spatial reasoning
belief update
revision operators
topological spaces
clifford algebra
database
general theory