Epistemic Updates on Algebras.

Alexander Kurz Alessandra Palmigiano

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

belief change
distributive lattices
epistemic logic
computation tree logic
information retrieval
spatial reasoning
logic program updates
data sets
databases
temporal logic
temporal reasoning