(NM-logic).

Hongjun Zhou Guojun Wang

Published in: Fuzzy Sets Syst. (2008)

Keyphrases

logic programming
classical logic
modal logic
automated reasoning
asynchronous circuits
proof theory
knowledge representation
computational properties
nonmonotonic logics
predicate logic
formal theory