{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:12:19Z","timestamp":1742386339239},"reference-count":20,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T00:00:00Z","timestamp":1636675200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2023,5]]},"abstract":"Abstract<\/jats:title>Knowledge-based AI typically depends on a knowledge engineer to construct a formal model of domain knowledge \u2013 but what if domain experts could do this themselves? This paper describes an extension to the Decision Model and Notation (DMN) standard, called Constraint Decision Model and Notation (cDMN). DMN is a user-friendly, table-based notation for decision logic, which allows domain experts to model simple decision procedures without the help of IT staff. cDMN aims to enlarge the expressiveness of DMN in order to model more complex domain knowledge, while retaining DMNs goal of being understandable by domain experts. We test cDMN by solving the most complex challenges posted on the DM Community website. We compare our own cDMN solutions to the solutions that have been submitted to the website and find that our approach is competitive. Moreover, cDMN is able to solve more challenges than any other approach.<\/jats:p>","DOI":"10.1017\/s1471068421000491","type":"journal-article","created":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T05:08:22Z","timestamp":1636693702000},"page":"535-558","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":3,"title":["Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning"],"prefix":"10.1017","volume":"23","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-7312-3675","authenticated-orcid":false,"given":"SIMON","family":"VANDEVELDE","sequence":"first","affiliation":[]},{"given":"BRAM","family":"AERTS","sequence":"additional","affiliation":[]},{"given":"JOOST","family":"VENNEKENS","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,11,12]]},"reference":[{"key":"S1471068421000491_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.01.010"},{"key":"S1471068421000491_ref1","doi-asserted-by":"crossref","unstructured":"Aerts, B. , Vandevelde, S. and Vennekens, J. 2020. Tackling the DMN challenges with cDMN: A tight integration of dmn and constraint reasoning. In Rules and Reasoning: Fourth International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings. Proceedings of RuleML+RR 2020, 23\u201338.","DOI":"10.1007\/978-3-030-57977-7_2"},{"key":"S1471068421000491_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.02.001"},{"key":"S1471068421000491_ref13","doi-asserted-by":"crossref","unstructured":"Hasi, F. , De Smedt, J. and Vanthienen, J. 2018. Augmenting processes with decision intelligence: Principles for integrated modelling. Decision Support Systems 107, 1\u201312.","DOI":"10.1016\/j.dss.2017.12.008"},{"key":"S1471068421000491_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000479"},{"key":"S1471068421000491_ref14","unstructured":"Object Management Group. 2020. Decision Model and Notation."},{"key":"S1471068421000491_ref15","unstructured":"OpenRules, Inc. 2017. Openrules."},{"key":"S1471068421000491_ref20","unstructured":"Wittocx, J. , Mari\u00ebn, M. and Denecker, M. 2008. The IDP system: A model expansion system for an extension of classical logic. Proceedings of the 2nd Workshop on Logic and Search, 153\u2013165."},{"key":"S1471068421000491_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-019-01416-4"},{"key":"S1471068421000491_ref8","unstructured":"Carbonnelle, P. , Aerts, B. , Deryck, M. , Vennekens, J. and Denecker, M. 2019. An interactive consultant. In Proceedings of the 31st Benelux Conference on Artificial Intelligence, K. Beuls, B. Bogaerts, G. Bontempi, P. Geurts, N. Harley, B. Lebichot, T. Lenaerts, G. Louppe, and P. V. Eecke, Eds. CEUR Workshop Proceedings, vol. 2491. CEUR-WS.org."},{"key":"S1471068421000491_ref3","doi-asserted-by":"crossref","unstructured":"Biard, T. , Le Mauff, A. , Bigand, M. and Bourey, J.-P. 2015. Separation of decision modeling from business process modeling using new \u201cDecision Model and Notation\u201d (DMN) for automating operational decision-making. In Risks and Resilience of Collaborative Networks, L. M. Camarinha-Matos, F. B\u00e9naben, and W. Picard, Eds. Springer International Publishing, Cham, 489\u2013496.","DOI":"10.1007\/978-3-319-24141-8_45"},{"key":"S1471068421000491_ref11","unstructured":"Hasic, F. , De Smedt, J. and Vanthienen, J. 2017. Towards assessing the theoretical complexity of the decision model and notation (DMN) research-in-progress. In CEUR Workshop Proceedings. Vol. 1859. CEUR Workshop Proceedings, 64\u201371. ISSN: 1613-0073."},{"key":"S1471068421000491_ref4","doi-asserted-by":"crossref","unstructured":"Bruynooghe, M. , BLOCKEEL, H. , BOGAERTS, B. , DE CAT, B. , DE POOTER, S. , JANSEN, J. , LABARRE, A. , RAMON, J. , DENECKER, M. and VERWER, S. 2015. Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3. Theory and Practice of Logic Programming 15, 783\u2013817.","DOI":"10.1017\/S147106841400009X"},{"key":"S1471068421000491_ref9","doi-asserted-by":"crossref","unstructured":"De Cat, B. , Bogaerts, B. , Bruynooghe, M. , Janssens, G. and Denecker, M. 2018. Predicate logic as a modeling language: The IDP system. In Declarative Logic Programming: Theory, Systems, and Applications. ACM Books, 279\u2013329.","DOI":"10.1145\/3191315.3191321"},{"key":"S1471068421000491_ref10","doi-asserted-by":"crossref","unstructured":"Deryck, M. , Aerts, B. and Vennekens, J. 2019. Adding constraint tables to the DMN standard: Preliminary results. In Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16\u201319, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11784, 171\u2013179.","DOI":"10.1007\/978-3-030-31095-0_12"},{"key":"S1471068421000491_ref18","first-page":"935","article-title":"Modeling a clinical pathway for contraception","volume":"5","author":"Sooter","year":"2019","journal-title":"Applied Clinical Informatics 10"},{"key":"S1471068421000491_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2018.07.024"},{"key":"S1471068421000491_ref17","unstructured":"Silver, B. 2018. DMN Method and Style: Business Practitioner\u2019s Guide to Decision Modeling, 2nd ed. ed. Cody-Cassidy Press, Altadena."},{"key":"S1471068421000491_ref19","unstructured":"Vandevelde, S. and Vennekens, J. 2020. A Multifunctional, Interactive DMN Decision Modelling Tool."},{"key":"S1471068421000491_ref16","unstructured":"Progress. 2019. Corticon."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068421000491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T03:07:58Z","timestamp":1684465678000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068421000491\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,12]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["S1471068421000491"],"URL":"https:\/\/doi.org\/10.1017\/s1471068421000491","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,12]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}