-logic (NM-logic).

Hongjun Zhou Guojun Wang Wei Zhou

Published in: Int. J. Approx. Reason. (2006)

Keyphrases

logic programming
multi valued
neural network
classical logic
set theory
information retrieval
automated reasoning
computational properties
nonmonotonic logics
proof theory
delay insensitive
propositional dynamic logic