Overview of knowledge formalization with XTT2 rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6826 LNCS, Issue , 2011, Pages 329-336

  Nalepa, Grzegorz J ^a   Ligȩza, Antoni ^a   Kaczor, Krzysztof ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84865363656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22546-8_26     Document Type: Conference Paper

References (6)

1. Ligȩza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)
2. Ligȩza, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273-301. IGI Global, Hershey (2009)
3. Nalepa, G.J.: Architecture of the HeaRT hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010, Part II. LNCS Vol. 6114, pp. 598-605. Springer, Heidelberg (2010)
4. Nalepa, G.J., Ligȩza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35-53 (2010)
5. Vanthienen, J., Mues, C., Aerts, A., Wets, G.: A modularization approach to the verification of knowledge based systems. In: 14th International Joint Conference on Artificial Intelligence (IJCAI 1995) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada (August 20-25, 1995), http://eprints.soton.ac.uk/36413/
6. Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. In: ICTAI, pp. 198-205 (1993)