Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.

Sonia M. Leach James J. Lu Neil V. Murray Erik Rosenthal

Published in: JELIA (1998)

Keyphrases

inference rules
valued logic
truth values
horn clauses
data mining
modal logic
neural network
proof search