Valuations in Nilpotent Minimum Logic.

Pietro Codara Diego Valota

Published in: CoRR (2015)

Keyphrases

multi valued
logic programming
asynchronous circuits
minimum cost
database
modal logic
classical logic
computational properties
databases
learning algorithm
multi agent
automated reasoning
predicate logic