{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T19:54:06Z","timestamp":1768766046308,"version":"3.49.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319453477","type":"print"},{"value":"9783319453484","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45348-4_13","type":"book-chapter","created":{"date-parts":[[2016,9,7]],"date-time":"2016-09-07T12:06:15Z","timestamp":1473249975000},"page":"217-233","source":"Crossref","is-referenced-by-count":23,"title":["Semantics and Analysis of DMN Decision Tables"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[]},{"given":"\u00dclari","family":"Laurson","sequence":"additional","affiliation":[]},{"given":"Fabrizio M.","family":"Maggi","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Irene","family":"Teinemaa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"13_CR1","unstructured":"Arge, L., Procopiuc, O., Ramaswamy, S., Suel, T., Vitter, J.S.: Scalable sweeping-based spatial join. In: VLDB (1998)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-319-19069-3_22","volume-title":"Advanced Information Systems Engineering","author":"K Batoulis","year":"2015","unstructured":"Batoulis, K., Meyer, A., Bazhenova, E., Decker, G., Weske, M.: Extracting decision logic from process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 349\u2013366. Springer, Heidelberg (2015)"},{"key":"13_CR3","unstructured":"CODASYL Decision Table Task Group: A modern appraisal of decision tables: a CODASYL report. ACM (1982)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"MA Hall","year":"2009","unstructured":"Hall, M.A., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. SIGKDD Explor. 11(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor."},{"issue":"3","key":"13_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0169-023X(03)00020-X","volume":"46","author":"R Hewett","year":"2003","unstructured":"Hewett, R., Leuchner, J.: Restructuring decision tables for elucidation of knowledge. Data Knowl. Eng. 46(3), 271\u2013290 (2003)","journal-title":"Data Knowl. Eng."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Hoover, D.N., Chen, Z.: Tablewise, a decision table tool. In: Proceedings of COMPASS, pp. 97\u2013108 (1995)","DOI":"10.1109\/CMPASS.1995.521890"},{"key":"13_CR8","unstructured":"Object Management Group: Decision Model and Notation (DMN) 1.0 (2015)"},{"key":"13_CR9","first-page":"85","volume":"33","author":"Z Pawlak","year":"1987","unstructured":"Pawlak, Z.: Decision tables - a rough set approach. Bull. EATCS 33, 85\u201395 (1987)","journal-title":"Bull. EATCS"},{"issue":"2","key":"13_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/356628.356630","volume":"6","author":"UW Pooch","year":"1974","unstructured":"Pooch, U.W.: Translation of decision tables. Compt. Surv. 6(2), 125\u2013151 (1974)","journal-title":"Compt. Surv."},{"issue":"2","key":"13_CR11","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1142\/S0218213094000133","volume":"3","author":"J Vanthienen","year":"1994","unstructured":"Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. Int. J. Artif. Intell. Tools 3(2), 267\u2013288 (1994)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"3","key":"13_CR12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/S0169-023X(98)80003-7","volume":"27","author":"J Vanthienen","year":"1998","unstructured":"Vanthienen, J., Mues, C., Aerts, A.: An illustration of verification and validation in the modelling phase of KBS development. Data Knowl. Eng. 27(3), 337\u2013352 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"13_CR13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0005-1098(96)00165-3","volume":"33","author":"AK Zaidi","year":"1997","unstructured":"Zaidi, A.K., Levis, A.H.: Validation and verification of decision making rules. Automatica 33(2), 155\u2013169 (1997)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45348-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T18:09:44Z","timestamp":1498327784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45348-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319453477","9783319453484"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45348-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}