The Downward Transfer of Elementary Satisfiability of Partition Logics.

Enshao Shen Yijia Chen

Published in: Math. Log. Q. (2000)

Keyphrases

decision procedures
computational properties
modal logic
satisfiability problem
expressive power
np complete
computational complexity
inference rules
database
phase transition
terminological reasoning
partitioning algorithm
knowledge transfer
theorem proving
transfer learning
cross domain
neural network