(In)consistency Operators on Quasi-Nelson Algebras.

Umberto Rivieccio Aldo Figallo Orellano

Published in: WoLLIC (2024)

Keyphrases

temporal reasoning
consistency checking
interval algebra
totally ordered
building blocks
morphological operators
path consistency
global consistency
image processing
multiscale
global constraints
constraint networks
belief base
temporal consistency