Treating Partiality in a Logic of Total Functions.

Olaf Müller Konrad Slind

Published in: Comput. J. (1997)

Keyphrases

modal logic
logic programming
data mining
machine learning
multi valued
predicate logic
data sets
databases
real world
artificial neural networks
computational properties
truth values
material handling