Valuations in Nilpotent Minimum Logic.

Pietro Codara Diego Valota

Published in: ISMVL (2015)

Keyphrases

modal logic
real time
automated reasoning
multi valued
classical logic
predicate logic
square error
image sequences
computational properties
website
bayesian networks
logic programming
minimum cost
delay insensitive
logic synthesis