First Order Dynamic Logic with Decidable Proofs and Workable Model Theory.

Published in: FCT (1981)

Keyphrases

computational model
probabilistic model
high level
objective function
higher order
theoretical framework
formal model
bayesian networks
probability distribution
description logics
mathematical model
computational models