Behavioural logics for configuration structures.

Paolo Baldan Daniele Gorla Tommaso Padoan Ivano Salvo

Published in: Theor. Comput. Sci. (2022)

Keyphrases

modal logic
expressive power
inference rules
real time
data mining
artificial intelligence
image segmentation
optimal configuration