메뉴 건너뛰기




Volumn 381, Issue , 2011, Pages 57-66

Visual design of drools rule bases using the XTT2 method

Author keywords

[No Author keywords available]

Indexed keywords


EID: 80052318869     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-23418-7_6     Document Type: Article
Times cited : (13)

References (10)
  • 5
    • 77955448443 scopus 로고    scopus 로고
    • Proposal of a formal verification framework for the XTT2 rule bases
    • Tadeusiewicz, R., Ligȩza, A., Mitkowski, W., Szymkat, M. (eds.) , Krakow, Poland, Krakow, November 26-27. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne
    • Ligȩza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligȩza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Krakow, Poland, Krakow, November 26-27, pp. 105-110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne (2009)
    • (2009) CMS 2009: Computer Methods and Systems: 7th Conference , pp. 105-110
    • Ligȩza, A.1    Nalepa, G.J.2
  • 8
    • 77955442518 scopus 로고    scopus 로고
    • Architecture of the heaRT hybrid rule engine
    • Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. Springer, Heidelberg
    • 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. LNCS, vol. 6114, pp. 598-605. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6114 , pp. 598-605
    • Nalepa, G.J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.