HeKatE rule runtime and design framework

CEUR Workshop Proceedings

Volumn 511, Issue , 2009, Pages 21-30

  Nalepa, Grzegorz J ^a   Ligȩza, Antoni ^a   Kaczor, Krzysztof ^a   Furmasńka, Weronika T ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN AND IMPLEMENTATIONS; DESIGN ENVIRONMENT; DESIGN FRAMEWORKS; HIERARCHICAL DESIGN; PHYSICAL DESIGN; RULE BASIS; RUNTIME ENVIRONMENTS; SPECIFIC KNOWLEDGE;

KNOWLEDGE REPRESENTATION;

DESIGN;

EID: 84891473022     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Giarratano, J.C., Riley, G.D.: Expert Systems. Thomson (2005).
2. van Harmelen, F., Lifschitz, V., Porter, B., eds.: Handbook of Knowledge Representation. Elsevier Science (2007).
3. Ligȩza, A.: Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg (2006).
4. Nalepa, G.J., Ligȩza, A.: A graphical tabular model for rule-based logic programming and verification. Systems Science 31(2) (2005) 89-95.
5. Nalepa, G.J., Ligȩza, A.: Hekate methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2009) accepted for publication.
6. Ross, R.G.: Principles of the Business Rule Approach. 1 edn. Addison-Wesley Professional (2003).
7. Ligȩza, A., Nalepa, G.J.: Knowledge representation with granular attributive logic for XTT-based expert systems. In Wilson, D.C., Sutcliffe, G.C.J., FLAIRS, eds.: FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007, Menlo Park, California, Florida Artificial Intelligence Research Society, AAAI Press (may 2007) 530-535.
8. Nalepa, G.J., Ligȩza, A.: Xtt+ rule design using the alsv(fd). In Giurca, A., Analyti, A., Wagner, G., eds.: ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008: Patras, 22 July 2008, Patras, University of Patras (2008) 11-15.
9. Nalepa, G.J., Ligȩza, A.: Conceptual modelling and automated implementation of rule-based systems. In: Software engineering : evolution and emerging technologies. Volume 130 of Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2005) 330-340.
10. Nalepa, G.J., Wojnicki, I.: Towards formalization of ARD+ conceptual design and refinement method. In Wilson, D.C., Lane, H.C., eds.: FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15-17 may 2008, Coconut Grove, Florida, USA, Menlo Park, California, AAAI Press (2008) 353-358.
11. Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1) (1982) 17-37.
12. Lukichev, S., Wagner, G.: Visual rules modeling. In: Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics, Novosibirsk, Russia, June 2006. LNCS, Springer (2005).