{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:15:40Z","timestamp":1725531340407},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006746"},{"type":"electronic","value":"9783642006753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00675-3_12","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T07:02:24Z","timestamp":1240210944000},"page":"178-194","source":"Crossref","is-referenced-by-count":1,"title":["Visual Generalized Rule Programming Model for Prolog with Hybrid Operators"],"prefix":"10.1007","author":[{"given":"Grzegorz J.","family":"Nalepa","sequence":"first","affiliation":[]},{"given":"Igor","family":"Wojnicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","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)"},{"key":"12_CR2","volume-title":"A Guide to Intelligent Systems","author":"M. Negnevitsky","year":"2002","unstructured":"Negnevitsky, M.: Artificial Intelligence. In: A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002)"},{"volume-title":"The Handbook of Applied Expert Systems","year":"1998","key":"12_CR3","unstructured":"Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)"},{"key":"12_CR4","volume-title":"Introduction to Expert Systems","author":"P. Jackson","year":"1999","unstructured":"Jackson, P.: Introduction to Expert Systems, 3rd edn. Addison Wesley, Reading (1999)","edition":"3"},{"key":"12_CR5","unstructured":"Giarratano, J.C., Riley, G.D.: Expert Systems. Thomson (2005)"},{"volume-title":"Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice","year":"1999","key":"12_CR6","unstructured":"Vermesan, A., Coenen, F. (eds.): Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher, Boston (1999)"},{"key":"12_CR7","first-page":"89","volume":"31","author":"G.J. Nalepa","year":"2005","unstructured":"Nalepa, G.J., Lig\u0119za, A.: A graphical tabular model for rule-based logic programming and verification. Systems Science\u00a031, 89\u201395 (2005)","journal-title":"Systems Science"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A.: The knowledge level. Artificial Intelligence\u00a018(1), 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"key":"12_CR9","first-page":"426","volume-title":"FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference","author":"G.J. Nalepa","year":"2006","unstructured":"Nalepa, G.J., Lig\u0119za, A.: Prolog-based analysis of tabular rule-based systems with the \u201dXTT\u201d approach. In: Sutcliffe, G.C.J., Goebel, R.G. (eds.) FLAIRS 2006: proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference, Melbourne Beach, Florida, Artificial Intelligence Research Society, May 11\u201313, 2006, pp. 426\u2013431. AAAI Press, Menlo Park (2006)"},{"key":"12_CR10","volume-title":"Prolog programming in depth","author":"M.A. Covington","year":"1996","unstructured":"Covington, M.A., Nute, D., Vellino, A.: Prolog programming in depth. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Fisher, J.R., Tran, L.: A visual logic. In: Symposium on Applied Computing, pp. 17\u201321 (1996)","DOI":"10.1145\/331119.331130"},{"key":"12_CR12","unstructured":"Nalepa, G.J., Wojnicki, I.: Visual software modelling with extended rule-based model: a knowledge-based programming solution for general software design. In: Gonzalez-Perez, C., Maciaszek, L.A. (eds.) ENASE 2007: proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain, July 23\u201325, 2007, pp. 41\u201347. INSTICC Press (2007)"},{"key":"12_CR13","unstructured":"Burbeck, S.: Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc). Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign (1992)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00675-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:43:11Z","timestamp":1558266191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00675-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006746","9783642006753"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00675-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}