A Family of Strict/Tolerant Logics.

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

Keyphrases

expressive power
modal logic
computer vision
decision trees
machine learning
decision making
artificial neural networks
multiresolution
probabilistic model
default logic
decision procedures
proof theory
propositional dynamic logic