The HeKatE methodology. Hybrid engineering of intelligent systems

Ben-Ari, M. (2001). Mathematical Logic for Computer Science, Springer-Verlag, London.10.1007/978-1-4471-0335-6Search in Google Scholar

Bratko, I. (2000). Prolog Programming for Artificial Intelligence, 3rd Edn, Addison Wesley, Harlow.Search in Google Scholar

Browne, P. (2009). JBoss Drools Business Rules, Packt Publishing, Birmingham.Search in Google Scholar

Brownston, L., Farrell, R., Kant, E. and Martin, N. (1985). Programming Expert Systems in OPS5, Addison-Wesley, Reading, MA/Menlo Park, CA.Search in Google Scholar

Burbeck, S. (1992). Applications programming in smalltalk-80(tm): How to use model-view-controller (MVC), Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign, IL.Search in Google Scholar

Cheng, A. M. K. (2002). Real-Time Systems. Scheduling, Analysis and Verification, John Wiley & Sons, Inc., Hoboken, NJ.10.1002/0471224626Search in Google Scholar

Clark, J. (1999). Xsl transformations (xslt) version 1.0 w3c recommendation 16 November 1999, Technical report, World Wide Web Consortium (W3C).Search in Google Scholar

Connolly, T., Begg, C. and Strechan, A. (1999). Database Systems. A Practical Approach to Design, Implementation, and Management, 2nd Edn, Addison-Wesley, Harlow/Reading, MA.Search in Google Scholar

Coenen, F., et al. (2000). Validation and verification of knowledge-based systems: Report on eurovav99, The Knowledge Engineering Review 15(2): 187-196.10.1017/S0269888900002010Search in Google Scholar

Forgy, C. (1982). Rete: A fast algorithm for the many patterns/many objects match problem, Artificial Intelligence 19(1): 17-37.10.1016/0004-3702(82)90020-0Search in Google Scholar

Friedman-Hill, E. (2003). Jess in Action, Rule Based Systems in Java, Manning, Greenwich, CT.Search in Google Scholar

Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1995). Design Patterns, 1st Edn, Addison-Wesley Pub Co, Reading, MA.Search in Google Scholar

Genesereth, M. R. and Nilsson, N. J. (1987). Logical Foundations for Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Los Altos, CA.Search in Google Scholar

Giarratano, J. C. and Riley, G. D. (2005). Expert Systems, Thomson, Boston, MA.Search in Google Scholar

Giurca, A., Gasevic, D. and Taveter, K. (Eds) (2009). Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, Information Science Reference, Hershey, New York, NY.10.4018/978-1-60566-402-6Search in Google Scholar

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, Technical report, W3C.Search in Google Scholar

Jackson, P. (1999). Introduction to Expert Systems, 3rd Edn, Addison-Wesley, Harlow.Search in Google Scholar

Kaczor, K. (2008). Design and implementation of a unified rule base editor, M.Sc. thesis, AGH University of Science and Technology, Cracow.Search in Google Scholar

Kaczor, K. and Nalepa, G. J. (2008). Design and implementation of hqed, the visual editor for the xtt+ rule design method, Technical Report CSLTR 02/2008, AGH University of Science and Technology, Cracow.Search in Google Scholar

Klösgen, W. and Żytkow, J. M. (Eds) (2002). Handbook of Data Mining and Knowledge Discovery, Oxford University Press, New York, NY.Search in Google Scholar

Laffey etal, T. (1988). Real-time knowledge-based systems, AI Magazine Spring: 27-45.Search in Google Scholar

Liebowitz, J. (Ed.) (1998). The Handbook of Applied Expert Systems, CRC Press, Boca Raton, FL.Search in Google Scholar

Ligęza, A. (1986). An expert systems approach to analysis and control in certain complex systems, Preprints of the 4-th IFAC/IFIP Symposium on Software for Computer Control SOCOCO'86, Graz, Austria, pp. 147-152.Search in Google Scholar

Ligęza, A. (1988). Expert systems approach to decision support, European Journal of Operational Research 37(1): 100-110.10.1016/0377-2217(88)90284-6Search in Google Scholar

Ligęza, A. (1993). Logical foundations for knowledge-based control systems—Knowledge representation, reasoning and theoretical properties, Scientific Bulletins of AGH: Automatics 63(1529): 144.Search in Google Scholar

Ligęza, A. (1996). Logical support for design of rule-based systems. Reliability and quality issues, in M. Rousset (Ed.), ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems, Vol. W2, ECCAI (European Coordination Committee for Artificial Intelligence), Budapest, pp. 28-34.Search in Google Scholar

Ligęza, A. (1998). Towards logical analysis of tabular rule-based systems, Proceedings of the Ninth European International Workshop on Database and Expert Systems Applications, Vienna, Austria, pp. 30-35.Search in Google Scholar

Ligęza, A. (1999). Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Kluwer Academic Publishers, Boston, MA/Dordrecht/London, pp. 313-325.Search in Google Scholar

Ligęza, A. (2001). Toward logical analysis of tabular rulebased systems, International Journal of Intelligent Systems 16(3): 333-360.10.1002/1098-111X(200103)16:3<333::AID-INT1011>3.0.CO;2-RSearch in Google Scholar

Ligęza, A. (2005). Logical Foundations for Rule-Based Systems, AGH University of Science and Technology Press, Cracow.Search in Google Scholar

Ligęza, A. (2006). Logical Foundations for Rule-Based Systems, Springer-Verlag, Berlin/Heidelberg.10.1007/3-540-32446-1Search in Google Scholar

Ligęza, A. and Nalepa, G. J. (2005). Visual design and on-line verification of tabular rule-based systems with XTT, in K. P. Jantke, K.-P. Fähnrich and W. S. Wittig (Eds), Marktplatz Internet: Von e-Learning bis e-Payment: 13. Leipziger Informatik-Tage, LIT 2005, Lecture Notes in Informatics (LNI), Gesellschaft fur Informatik, Bonn, pp. 303-312.Search in Google Scholar

Ligęza, A. and Nalepa, G. J. (2007). Knowledge representation with granular attributive logic for XTT-based expert systems, in D. C. Wilson, G. C. J. Sutcliffe and FLAIRS (Eds), FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida, May 7-9, 2007, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 530-535.Search in Google Scholar

Ligęza, A. and Nalepa, G. J. (2008). Granular logic with variables for implementation of extended tabular trees, in D. C. Wilson and H. C. Lane (Eds), FLAIRS-21: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society conference: 15-17 May 2008, Coconut Grove, Florida, USA, AAAI Press, Menlo Park, CA, pp. 341-346.Search in Google Scholar

Ligęza, A., Wojnicki, I. and Nalepa, G. J. (2001). Tab-trees: A case tool for design of extended tabular systems, in H.C. Mayr, J. Lazansky, G. Quirchmayr and P. Vogel (Eds), Database and Expert Systems Applications, Lecture Notes in Computer Sciences, Vol. 2113, Springer-Verlag, Berlin, pp. 422-431.10.1007/3-540-44759-8_42Search in Google Scholar

Ligęza, A. (1996). Logical Support for Design of Rule-Based Systems. Reliability and Quality Issues LAAS, Report No. 96170, Toulouse.Search in Google Scholar

Morgan, T. (2002). Business Rules and Information Systems. Aligning IT with Business Goals, Addison Wesley, Boston, MA.Search in Google Scholar

Nalepa, G. J. (2004). Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems, PhD thesis, AGH University of Science and Technology, Institute of Automatics, Cracow.Search in Google Scholar

Nalepa, G. J. and Ligęza, A. (2005a). A graphical tabular model for rule-based logic programming and verification, Systems Science 31(2): 89-95.Search in Google Scholar

Nalepa, G. J. and Ligęza, A. (2005b). Software Engineering: Evolution and Emerging Technologies, Frontiers in Artificial Intelligence and Applications, Vol. 130, IOS Press, Amsterdam, pp. 330-340.Search in Google Scholar

Nalepa, G. J. and Ligęza, A. (2005c). A visual edition tool for design and verification of knowledge in rule-based systems, Systems Science 31(3): 103-109.Search in Google Scholar

Nalepa, G. J. and Ligęza, A. (2006). Prolog-based analysis of tabular rule-based systems with the "xtt" approach, in G. C. J. Sutcliffe and R. G. Goebel (Eds), FLAIRS 2006: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference: Melbourne Beach, Florida, May 11-13, 2006, Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, CA, pp. 426-431.Search in Google Scholar

Nalepa, G. J. and Ligęza, A. (2008). Xtt+ rule design using the alsv(fd), in A. Giurca, A. Analyti and G. Wagner (Eds), ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based Applications, RuleApps2008: Patras, 22 July 2008, University of Patras, Patras, pp. 11-15.Search in Google Scholar

Nalepa, G. J., Ligęza, A., Kaczor, K. and Furmańska, W. T. (2009). Hekate rule runtime and design framework, in G. W. Adrian Giurca and G.J. Nalepa (Eds), Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009), Cottbus, Germany, September 21, 2009, BTU Cottbus, Cottbus, pp. 21-30.Search in Google Scholar

Pawlak, Z. (1991). Rough Sets. Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht/Boston, MA/London.10.1007/978-94-011-3534-4Search in Google Scholar

Quinlan, J. R. (1987). Simplifying decision trees, International Journal of Man-Machine Studies 27(3): 221-234.10.1016/S0020-7373(87)80053-6Search in Google Scholar

Ross, R. G. (2003). Principles of the Business Rule Approach, 1st Edn, Addison-Wesley Professional, Reading, MA.Search in Google Scholar

Torsun, I. S. (1995). Foundations of Intelligent Knowledge-Based Systems, Academic Press, London/San Diego, CA/New York, NY/Boston, MA/Sydney/Tokyo/Toronto.Search in Google Scholar

Tzafestas, S. and Ligęza, A. (1988). Expert control through decision making, Foundations of Control Engineering 13(1): 43-51.Search in Google Scholar

Tzafestas, S. and Ligęza, A. (1989). Expert control through decision making, Journal of Intelligent and Robotic Systems 1(4): 407-425.10.1007/BF00126469Search in Google Scholar

van Harmelen, F., Lifschitz, V. and Porter, B. (Eds) (2007). Handbook of Knowledge Representation, Elsevier Science, Amsterdam.Search in Google Scholar

van Harmelen, F. (1996). Applying rule-based anomalies to kads inference structures, ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, Budapest, Hungary, pp. 41-46.Search in Google Scholar

von Halle, B. (2001). Business Rules Applied: Building Better Systems Using the Business Rules Approach, Wiley, New York, NY.Search in Google Scholar