Mortensen Logics.

Luis Estrada-González Fernando Cano-Jorge

Published in: NCL (2022)

Keyphrases

expressive power
modal logic
classical logic
inference rules
propositional calculus
real time
machine learning
database
conditional logic
proof theory
computer vision
artificial neural networks
special case
hidden markov models