Proof Analysis in Deontic Logics.

Eugenio Orlandelli

Published in: DEON (2014)

Keyphrases

image analysis
statistical analysis
image processing
expressive power
quantitative analysis
neural network
machine learning
genetic algorithm
multiscale
classical logic