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