Login / Signup
The expressivity of update logics.
Louwe B. Kuijer
Published in:
J. Log. Comput. (2015)
Keyphrases
</>
computational properties
expressive power
modal logic
classical logic
propositional calculus
artificial intelligence
decision trees
probabilistic model
decision procedures