The HeKatE methodology. Hybrid engineering of intelligent systems
By: Grzegorz Nalepa and Antoni Ligęza
Open Access
|Mar 2010References
- Ben-Ari, M. (2001)., Springer-Verlag, London.
- Bratko, I. (2000)., Addison Wesley, Harlow.
- Browne, P. (2009)., Packt Publishing, Birmingham.
- Brownston, L., Farrell, R., Kant, E. and Martin, N. (1985)., Addison-Wesley, Reading, MA/Menlo Park, CA.
- Burbeck, S. (1992). Applications programming in smalltalk-80(tm): How to use model-view-controller (MVC),, Department of Computer Science, University of Illinois, Urbana-Champaign, IL.
- Cheng, A. M. K. (2002)., John Wiley & Sons, Inc., Hoboken, NJ.
- Clark, J. (1999). Xsl transformations (xslt) version 1.0 w3c recommendation 16 November 1999,, World Wide Web Consortium (W3C).
- Connolly, T., Begg, C. and Strechan, A. (1999)., Addison-Wesley, Harlow/Reading, MA.
- Coenen, F.,(2000). Validation and verification of knowledge-based systems: Report on eurovav99,(2): 187-196.
- Forgy, C. (1982). Rete: A fast algorithm for the many patterns/many objects match problem,(1): 17-37.
- Friedman-Hill, E. (2003)., Manning, Greenwich, CT.
- Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1995)., Addison-Wesley Pub Co, Reading, MA.
- Genesereth, M. R. and Nilsson, N. J. (1987)., Morgan Kaufmann Publishers, Inc., Los Altos, CA.
- Giarratano, J. C. and Riley, G. D. (2005)., Thomson, Boston, MA.
- Giurca, A., Gasevic, D. and Taveter, K. (Eds) (2009)., Information Science Reference, Hershey, New York, NY.
- Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B. and Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML: W3C member submission 21 may 2004,, W3C.
- Jackson, P. (1999)., Addison-Wesley, Harlow.
- Kaczor, K. (2008)., M.Sc. thesis, AGH University of Science and Technology, Cracow.
- Kaczor, K. and Nalepa, G. J. (2008). Design and implementation of hqed, the visual editor for the xtt+ rule design method,, AGH University of Science and Technology, Cracow.
- Klösgen, W. and Żytkow, J. M. (Eds) (2002)., Oxford University Press, New York, NY.
- Laffey, T. (1988). Real-time knowledge-based systems,: 27-45.
- Liebowitz, J. (Ed.) (1998)., CRC Press, Boca Raton, FL.
- Ligęza, A. (1986). An expert systems approach to analysis and control in certain complex systems,, pp. 147-152.
- Ligęza, A. (1988). Expert systems approach to decision support,(1): 100-110.
- Ligęza, A. (1993). Logical foundations for knowledge-based control systems—Knowledge representation, reasoning and theoretical properties,(1529): 144.
- Ligęza, A. (1996). Logical support for design of rule-based systems. Reliability and quality issues,M. Rousset (Ed.),, Vol. W2, ECCAI (European Coordination Committee for Artificial Intelligence), Budapest, pp. 28-34.
- Ligęza, A. (1998). Towards logical analysis of tabular rule-based systems,, pp. 30-35.
- Ligęza, A. (1999)., Kluwer Academic Publishers, Boston, MA/Dordrecht/London, pp. 313-325.
- Ligęza, A. (2001). Toward logical analysis of tabular rulebased systems,(3): 333-360.
- Ligęza, A. (2005)., AGH University of Science and Technology Press, Cracow.
- Ligęza, A. (2006)., Springer-Verlag, Berlin/Heidelberg.
- Ligęza, A. and Nalepa, G. J. (2005). Visual design and on-line verification of tabular rule-based systems with XTT,K. P. Jantke, K.-P. Fähnrich and W. S. Wittig (Eds),, Lecture Notes in Informatics (LNI), Gesellschaft fur Informatik, Bonn, pp. 303-312.
- Ligęza, A. and Nalepa, G. J. (2007). Knowledge representation with granular attributive logic for XTT-based expert systems,D. C. Wilson, G. C. J. Sutcliffe and FLAIRS (Eds),, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 530-535.
- Ligęza, A. and Nalepa, G. J. (2008). Granular logic with variables for implementation of extended tabular trees,D. C. Wilson and H. C. Lane (Eds),, AAAI Press, Menlo Park, CA, pp. 341-346.
- Ligęza, A., Wojnicki, I. and Nalepa, G. J. (2001). Tab-trees: A case tool for design of extended tabular systems,H.C. Mayr, J. Lazansky, G. Quirchmayr and P. Vogel (Eds),, Lecture Notes in Computer Sciences, Vol. 2113, Springer-Verlag, Berlin, pp. 422-431.
- Ligęza, A. (1996).LAAS, Report No. 96170, Toulouse.
- Morgan, T. (2002)., Addison Wesley, Boston, MA.
- Nalepa, G. J. (2004)., PhD thesis, AGH University of Science and Technology, Institute of Automatics, Cracow.
- Nalepa, G. J. and Ligęza, A. (2005a). A graphical tabular model for rule-based logic programming and verification,(2): 89-95.
- Nalepa, G. J. and Ligęza, A. (2005b)., Frontiers in Artificial Intelligence and Applications, Vol. 130, IOS Press, Amsterdam, pp. 330-340.
- Nalepa, G. J. and Ligęza, A. (2005c). A visual edition tool for design and verification of knowledge in rule-based systems,(3): 103-109.
- Nalepa, G. J. and Ligęza, A. (2006). Prolog-based analysis of tabular rule-based systems with the "xtt" approach,G. C. J. Sutcliffe and R. G. Goebel (Eds),, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 426-431.
- Nalepa, G. J. and Ligęza, A. (2008). Xtt+ rule design using the alsv(fd),A. Giurca, A. Analyti and G. Wagner (Eds),, University of Patras, Patras, pp. 11-15.
- Nalepa, G. J., Ligęza, A., Kaczor, K. and Furmańska, W. T. (2009). Hekate rule runtime and design framework,G. W. Adrian Giurca and G.J. Nalepa (Eds),, BTU Cottbus, Cottbus, pp. 21-30.
- Pawlak, Z. (1991)., Kluwer Academic Publishers, Dordrecht/Boston, MA/London.
- Quinlan, J. R. (1987). Simplifying decision trees,(3): 221-234.
- Ross, R. G. (2003)., Addison-Wesley Professional, Reading, MA.
- Torsun, I. S. (1995)., Academic Press, London/San Diego, CA/New York, NY/Boston, MA/Sydney/Tokyo/Toronto.
- Tzafestas, S. and Ligęza, A. (1988). Expert control through decision making,(1): 43-51.
- Tzafestas, S. and Ligęza, A. (1989). Expert control through decision making,(4): 407-425.
- van Harmelen, F., Lifschitz, V. and Porter, B. (Eds) (2007)., Elsevier Science, Amsterdam.
- van Harmelen, F. (1996). Applying rule-based anomalies to kads inference structures,, pp. 41-46.
- von Halle, B. (2001)., Wiley, New York, NY.
Language: English
Page range: 35 - 53
Published on: Mar 25, 2010
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Related subjects:
© 2010 Grzegorz Nalepa, Antoni Ligęza, published by University of Zielona Góra
This work is licensed under the Creative Commons License.