Logic Calculation Based on Two-Domain DNA Strand Displacement.

Xiaobiao Wang Changjun Zhou Xuedong Zheng Qiang Zhang

Published in: ISNN (1) (2017)

Keyphrases

domain specific
logic programming
optical flow
modal logic
automated reasoning
classical logic
machine learning
domain knowledge
domain experts
domain ontology
domain independent
cross domain