Formal Description and Verification of Hybrid Rule/Frame-Based Expert Systems

Author： Orton J.D.   Narang U.   Anderson G.P.   Ligler F.S.   Burans J.   Shiu S.C.K.   Liu J.N.K.   Yeung D.S.  

Publisher： Elsevier

ISSN： 0957-4174

Source： Expert Systems with Applications, Vol.13, Iss.3, 1997-10, pp. : 215-230

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Modeling and formal verification of embedded systems based on a Petri net representation

By Cortes L.A.   Eles P.   Peng Z.  

Journal of Systems Architecture, Vol. 49, Iss. 12, 2003-12 ,pp. : 571-598

Elsevier

Access to resources Recommend Favorite

Formal verification of component-based designs

By Karlsson Daniel  

Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. : 49-90

Springer Publishing Company

Access to resources Recommend Favorite

Rule selections in fuzzy expert systems

By Yen V.C.  

Expert Systems with Applications, Vol. 16, Iss. 1, 1999-01 ,pp. : 79-84

Elsevier

Access to resources Recommend Favorite

Improving medical rule-based expert systems comprehensibility: fuzzy association rule mining approach

By Oladipupo Olufunke O.  

International Journal of Artificial Intelligence and Soft Computing, Vol. 3, Iss. 1, 2012-07 ,pp. : 29-38

Inderscience Publishers

Access to resources Recommend Favorite

Rule-based verification of Web sites

By Alpuente M.   Ballis D.   Falaschi M.  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 565-585

Springer Publishing Company

Access to resources Recommend Favorite