Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.

Yih-Kuen Tsay Bow-Yaw Wang

Published in: Int. J. Found. Comput. Sci. (2009)

Keyphrases

automated reasoning
structural properties
desirable properties
knowledge base
fully automated
data sets
neural network
machine learning
case based reasoning
spatial reasoning
semi automated
reasoning process
topological properties
rule based reasoning
deductive reasoning