{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:11:18Z","timestamp":1760710278456,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030501426"},{"type":"electronic","value":"9783030501433"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50143-3_27","type":"book-chapter","created":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T21:03:01Z","timestamp":1591390981000},"page":"354-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dempster-Shafer Theory: \u0397ow Constraint Programming Can Help"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9430-5304","authenticated-orcid":false,"given":"Alexandros","family":"Kaltsounidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6675-8373","authenticated-orcid":false,"given":"Isambo","family":"Karali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,5]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.ijar.2016.07.009","volume":"79","author":"G Shafer","year":"2016","unstructured":"Shafer, G.: A mathematical theory of evidence turns 40. Int. J. Approx. Reasoning 79, 7\u201325 (2016)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"1","key":"27_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D Dubois","year":"2001","unstructured":"Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: a clarification. Ann. Math. Artif. Intell. 32(1), 35\u201366 (2001)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J Pearl","year":"1986","unstructured":"Pearl, J.: Fusion, propagation, and structuring in belief networks. Artif. Intell. 29(3), 241\u2013288 (1986)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"27_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D McDermott","year":"1980","unstructured":"McDermott, D., Doyle, J.: Non-monotonic logic I. Artif. Intell. 13(1\u20132), 41\u201372 (1980)","journal-title":"Artif. Intell."},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"AP Dempster","year":"1967","unstructured":"Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. Ann. Math. Stat. 38(2), 325\u2013339 (1967)","journal-title":"Ann. Math. Stat."},{"key":"27_CR6","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"issue":"5\u20136","key":"27_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0888-613X(90)90012-Q","volume":"4","author":"G Shafer","year":"1990","unstructured":"Shafer, G.: Perspectives on the theory and practice of belief functions. Int. J. Approximate Reasoning 4(5\u20136), 323\u2013362 (1990)","journal-title":"Int. J. Approximate Reasoning"},{"key":"27_CR8","doi-asserted-by":"publisher","DOI":"10.1142\/2895","volume-title":"Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems","author":"LA Zadeh","year":"1996","unstructured":"Zadeh, L.A.: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems. World Scientific Press, Singapore (1996)"},{"issue":"3","key":"27_CR9","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"27_CR10","unstructured":"World Wide Web Consortium. Semantic Web. https:\/\/www.w3.org\/standards\/semanticweb\/ . Accessed 13 Feb 2020"},{"key":"27_CR11","unstructured":"Laskey, K.J., Laskey, K.B., Costa, P.C.G., Kokar, M.M., Martin, T., Lukasiewicz, T.: Uncertainty reasoning for the world wide web. W3C Incubator Group Report, Technical report (2008)"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.ijar.2015.12.009","volume":"79","author":"G Shafer","year":"2016","unstructured":"Shafer, G.: Dempster\u2019s rule of combination. Int. J. Approx. Reasoning 79, 26\u201340 (2016)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"4","key":"27_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Web Semant. 6(4), 291\u2013308 (2008)","journal-title":"Web Semant."},{"key":"27_CR14","unstructured":"Ortega, F.B.: Managing vagueness in ontologies. Ph.D. dissertation, Universidad de Granada (2008)"},{"key":"27_CR15","unstructured":"Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: uncertainty and the semantic web. In: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland (2005)"},{"issue":"5","key":"27_CR16","doi-asserted-by":"publisher","first-page":"3016","DOI":"10.1109\/TFUZZ.2018.2796552","volume":"26","author":"L Karanikola","year":"2018","unstructured":"Karanikola, L., Karali, I.: Towards a Dempster-Shafer fuzzy description logic - handling imprecision in the semantic web. IEEE Trans. Fuzzy Syst. 26(5), 3016\u20133026 (2018)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"27_CR17","unstructured":"Karanikola, L., Karali, I.: Semantic web and ignorance: Dempster-Shafer description logics. In: FLAIRS Conference 2017, pp. 68\u201373 (2017)"},{"issue":"2","key":"27_CR18","first-page":"86","volume":"7","author":"LA Zadeh","year":"1986","unstructured":"Zadeh, L.A.: A simple view of the Dempster-Shafer theory of evidence and its implications for the rule of combination. AI Mag. 7(2), 86\u201390 (1986)","journal-title":"AI Mag."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Pei, W.: A defect in Dempster-Shafer theory. In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, Seattle, pp. 560\u2013566 (1994)","DOI":"10.1016\/B978-1-55860-332-5.50076-6"},{"issue":"23","key":"27_CR20","doi-asserted-by":"publisher","first-page":"5187","DOI":"10.3390\/s19235187","volume":"19","author":"N Khan","year":"2019","unstructured":"Khan, N., Anwar, S.: Time-domain data fusion using weighted evidence and Dempster-Shafer combination rule: application in object classification. Sensors (Basel) 19(23), 5187 (2019). https:\/\/doi.org\/10.3390\/s19235187","journal-title":"Sensors (Basel)"},{"key":"27_CR21","doi-asserted-by":"publisher","unstructured":"S. Mckeever, J. Ye, A Comparison of Evidence Fusion Rules for Situation Recognition in Sensor-Based Environments. In: Communications in Computer and Information Science. pp. 163\u2013175 (2013). https:\/\/doi.org\/10.1007\/978-3-319-04406-4_16","DOI":"10.1007\/978-3-319-04406-4_16"},{"issue":"1\u20132","key":"27_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0004-3702(90)90103-7","volume":"44","author":"P Orponnen","year":"1990","unstructured":"Orponnen, P.: Dempster\u2019s rule of combination is #P-complete. Artif. Intell. 44(1\u20132), 245\u2013253 (1990)","journal-title":"Artif. Intell."},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-94-017-1737-3_10","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"N Wilson","year":"2000","unstructured":"Wilson, N.: Algorithms for Dempster-Shafer theory. In: Kohlas, J., Moral, S. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, pp. 421\u2013475. Springer, Dordrecht (2000). https:\/\/doi.org\/10.1007\/978-94-017-1737-3_10"},{"issue":"5","key":"27_CR24","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1016\/S0020-7373(89)80032-X","volume":"30","author":"F Voorbraak","year":"1989","unstructured":"Voorbraak, F.: A computationally efficient approximation of Dempster-Shafer theory. Int. J. Man Mach. Stud. 30(5), 525\u2013536 (1989)","journal-title":"Int. J. Man Mach. Stud."},{"issue":"2","key":"27_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0004-3702(93)90072-J","volume":"61","author":"B Tessem","year":"1993","unstructured":"Tessem, B.: Approximations for efficient computation in the theory of evidence. Artif. Intell. 61(2), 315\u2013329 (1993)","journal-title":"Artif. Intell."},{"key":"27_CR26","unstructured":"Lowrance, J.D., Garvey, T.D., Strat, T.M.: A framework for evidential-reasoning systems. In: 5th National Conference on Artificial Intelligence, Menlo Park, California, pp. 896\u2013903 (1986)"},{"issue":"2\u20133","key":"27_CR27","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0888-613X(97)00013-3","volume":"17","author":"M Bauer","year":"1997","unstructured":"Bauer, M.: Approximation algorithms and decision making in the Dempster-Shafer theory of evidence \u2013 an empirical study. Int. J. Approximate Reasoning 17(2\u20133), 217\u2013237 (1997)","journal-title":"Int. J. Approximate Reasoning"},{"key":"27_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-85983-0","volume-title":"Constraint Programming","author":"B Mayoh","year":"1993","unstructured":"Mayoh, B., Tyugu, E., Penjam, J.: Constraint Programming. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-3-642-85983-0"},{"key":"27_CR29","unstructured":"The ECLiPSe Constraint Programming System. https:\/\/eclipseclp.org\/ . Accessed 13 Feb 2020"},{"key":"27_CR30","unstructured":"Gervet, C: Conjunto: constraint logic programming with finite set domains. In: ILPS (1994)"},{"key":"27_CR31","unstructured":"Eclipse conjunto libray. http:\/\/eclipseclp.org\/doc\/bips\/lib\/conjunto\/index.html . Accessed 13 Feb 2020"},{"issue":"5","key":"27_CR32","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/0888-613X(91)90001-3","volume":"5","author":"J Kohlas","year":"1991","unstructured":"Kohlas, J., Monney, P.-A.: Propagating belief functions through constraint systems. Int. J. Approximate Reasoning 5(5), 433\u2013461 (1991)","journal-title":"Int. J. Approximate Reasoning"},{"key":"27_CR33","doi-asserted-by":"crossref","unstructured":"Rouahi, A., Ben Salah, K., Gh\u00e9dira, K.: Belief constraint satisfaction problems. In: 12th International Conference of Computer Systems and Applications (AICCSA), Marrakech, pp. 1\u20134 (2015)","DOI":"10.1109\/AICCSA.2015.7507108"},{"key":"27_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0049320","volume-title":"Computer Science Logic","author":"A Aiken","year":"1994","unstructured":"Aiken, A., Kozen, D., Vardi, M., Wimmers, E.: The complexity of set constraints. In: B\u00f6rger, E., Gurevich, Y., Meinke, K. (eds.) CSL 1993. LNCS, vol. 832, pp. 1\u201317. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0049320"},{"key":"27_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, Heidelberg (1984). https:\/\/doi.org\/10.1007\/978-3-642-96826-6"},{"key":"27_CR36","volume-title":"Philippe Roussel et Robert Pasero, Un syst\u00e8me de communication homme-machine en Fran\u00e7ais, rapport de recherche","author":"A Colmerauer","year":"1973","unstructured":"Colmerauer, A., Kanoui, H.: Philippe Roussel et Robert Pasero, Un syst\u00e8me de communication homme-machine en Fran\u00e7ais, rapport de recherche. Groupe de recherche en Intelligence Artificielle, Marseille (1973)"},{"key":"27_CR37","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Munch, West Germany, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"27_CR38","volume-title":"Constraint Satisfaction in Logic Programming","author":"P Van Hentenryck","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"key":"27_CR39","unstructured":"Kennes, R., Smets, P.: Computational aspects of the Mobius transformation. In: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, pp. 401\u2013416. Elsevier Science Inc., USA (1990)"},{"key":"27_CR40","doi-asserted-by":"crossref","unstructured":"Kennes, R., Smets, P.: Fast algorithms for Dempster-Shafer theory. In: Uncertainty in Knowledge Bases. IPMU 1990, Paris, France, pp. 14-26 (1990)","DOI":"10.1007\/BFb0028102"},{"key":"27_CR41","doi-asserted-by":"crossref","unstructured":"Chaveroche, M., Davoine, F., Cherfaoui, V.: Efficient M\u00f6bius transformations and their applications to D-S theory. In: 13th International Conference on Scalable Uncertainty Management, Compi\u00e8gne, France, pp. 390\u2013403 (2019)","DOI":"10.1007\/978-3-030-35514-2_29"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50143-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,26]],"date-time":"2022-10-26T21:38:05Z","timestamp":1666820285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-50143-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030501426","9783030501433"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50143-3_27","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"5 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IPMU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ipmu2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ipmu2020.inesc-id.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"213","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"146","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The IPMU 2020 was held virtually due to the coronavirus pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}