A forward internal calculus for model generation in S4.

Camillo Fiorentini Mauro Ferrari

Published in: J. Log. Comput. (2021)

Keyphrases

internal and external
machine learning
databases
bi directional
real time
decision making
forward and backward
proof procedure
internal states