{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:39:05Z","timestamp":1725557945093},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132315"},{"type":"electronic","value":"9783642132322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13232-2_73","type":"book-chapter","created":{"date-parts":[[2010,6,17]],"date-time":"2010-06-17T10:12:01Z","timestamp":1276769521000},"page":"598-605","source":"Crossref","is-referenced-by-count":22,"title":["Architecture of the HeaRT Hybrid Rule Engine"],"prefix":"10.1007","author":[{"given":"Grzegorz J.","family":"Nalepa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Handbook of Knowledge Representation","year":"2007","key":"73_CR1","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)"},{"volume-title":"The Handbook of Applied Expert Systems","year":"1998","key":"73_CR2","unstructured":"Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)"},{"key":"73_CR3","volume-title":"Expert Systems. Principles and Programming","author":"J. Giarratano","year":"2005","unstructured":"Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005), ISBN 0-534-38447-1","edition":"4"},{"key":"73_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32446-1","volume-title":"Logical Foundations for Rule-Based Systems","author":"A. Lig\u0119za","year":"2006","unstructured":"Lig\u0119za, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)"},{"volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","year":"2009","key":"73_CR5","unstructured":"Giurca, A., Gasevic, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)"},{"key":"73_CR6","volume-title":"Principles of the Business Rule Approach","author":"R.G. Ross","year":"2003","unstructured":"Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Reading (2003)","edition":"1"},{"key":"73_CR7","unstructured":"Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning (2003)"},{"key":"73_CR8","unstructured":"Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)"},{"issue":"1","key":"73_CR9","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell.\u00a019(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"73_CR10","doi-asserted-by":"crossref","first-page":"596","DOI":"10.4018\/978-1-60566-402-6.ch025","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","author":"G.J. Nalepa","year":"2009","unstructured":"Nalepa, G.J.: Languages and tools for rule modeling. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 596\u2013624. IGI Global, Hershey (2009)"},{"key":"73_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.4018\/978-1-60566-402-6.ch012","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","author":"A. Lig\u0119za","year":"2009","unstructured":"Lig\u0119za, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273\u2013301. IGI Global, Hershey (2009)"},{"key":"73_CR12","doi-asserted-by":"crossref","unstructured":"Nalepa, G.J., Lig\u0119za, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2010) (accepted for publication)","DOI":"10.2478\/v10006-010-0003-9"},{"key":"73_CR13","first-page":"11","volume-title":"ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008","author":"G.J. Nalepa","year":"2008","unstructured":"Nalepa, G.J., Lig\u0119za, 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, July 22, pp. 11\u201315. University of Patras, Patras (2008)"},{"key":"73_CR14","unstructured":"Nalepa, G.J., Lig\u0119za, A., Kaczor, K., Furma\u0144ska, W.T.: HeKatE rule runtime and design framework. In: Adrian Giurca, G.W., Nalepa, G.J. (eds.) Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, pp. 21\u201330 (2009)"},{"key":"#cr-split#-73_CR15.1","unstructured":"Bobek, S., Gaw\u0119dzki, M.: Design and implementation of a runtime environment for the XTT2 rule representation method. Master\u2019s thesis, AGH University of Science and Technology (July 2009);"},{"key":"#cr-split#-73_CR15.2","unstructured":"Supervisor: G. J. Nalepa"},{"key":"73_CR16","unstructured":"Nalepa, G.J., Bobek, S., Gaw\u0119dzki, M., Lig\u0119za, A.: HeaRT Hybrid XTT2 rule engine design and implementation. Technical Report CSLTR 4\/2009, AGH University of Science and Technology (2009)"},{"key":"73_CR17","unstructured":"Lig\u0119za, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Lig\u0119za, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Krak\u00f3w, Poland, November 26\u201327, pp. 105\u2013110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne (2009)"},{"key":"73_CR18","volume-title":"Prolog Programming for Artificial Intelligence","author":"I. Bratko","year":"2000","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"73_CR19","volume-title":"Service-Oriented Architecture (SOA): Concepts, Technology and Design","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology and Design. Prentice Hall PTR, Englewood Cliffs (2005)"}],"container-title":["Lecture Notes in Computer Science","Artifical Intelligence and Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13232-2_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:03:13Z","timestamp":1606168993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13232-2_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132315","9783642132322"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13232-2_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}