Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.

Yih-Kuen Tsay Bow-Yaw Wang

Published in: CIAA (2008)

Keyphrases

desirable properties
semi automated
knowledge base
data model
semi automatic
qualitative reasoning
data structure
knowledge representation
semantic web
structural properties
model based diagnosis
meta level
automated analysis
model based reasoning
reasoning mechanisms