{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:44:40Z","timestamp":1742939080980,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031708923"},{"type":"electronic","value":"9783031708930"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-70893-0_1","type":"book-chapter","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:02:54Z","timestamp":1724929374000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Resolving Inconsistencies in\u00a0Qualitative Constraints Networks to\u00a0Identifying Robust Solutions: A Universal Encoding in\u00a0ASP"],"prefix":"10.1007","author":[{"given":"Moritz","family":"Bayerkuhnlein","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Schwartz","sequence":"additional","affiliation":[]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"issue":"11","key":"1_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"doi-asserted-by":"publisher","unstructured":"Barber, F., Salido, M.A.: Robustness, stability, recoverability, and reliability in constraint satisfaction problems. Knowl. Inf. Syst. 44(3), 719\u2013734 (2014). https:\/\/doi.org\/10.1007\/s10115-014-0778-3","key":"1_CR2","DOI":"10.1007\/s10115-014-0778-3"},{"issue":"5","key":"1_CR3","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1017\/S1471068420000198","volume":"20","author":"G Baryannis","year":"2020","unstructured":"Baryannis, G., Tachmazidis, I., Batsakis, S., Antoniou, G., Alviano, M., Papadakis, E.: A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Theory Pract. Log. Program. 20(5), 687\u2013702 (2020)","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s00453-004-1084-3","volume":"39","author":"A Berry","year":"2004","unstructured":"Berry, A., Blair, J.R., Heggernes, P., Peyton, B.W.: Maximum cardinality search for computing minimal triangulations of graphs. Algorithmica 39, 287\u2013298 (2004)","journal-title":"Algorithmica"},{"unstructured":"Brenton, C., Faber, W., Batsakis, S.: Answer set programming for qualitative spatio-temporal reasoning: methods and experiments. Dagstuhl (2016)","key":"1_CR5"},{"issue":"12","key":"1_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"doi-asserted-by":"publisher","unstructured":"Chmeiss, A., Condotta, J.F.: Consistency of triangulated temporal qualitative constraint networks. In: Proceedings of the 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), pp. 799\u2013802 (2011). https:\/\/doi.org\/10.1109\/ICTAI.2011.125","key":"1_CR7","DOI":"10.1109\/ICTAI.2011.125"},{"doi-asserted-by":"crossref","unstructured":"Cohn, A.G., Renz, J.: Qualitative spatial representation and reasoning. Found. Artif. Intell. 3, chap.\u00a013, 551\u2013596 (2008)","key":"1_CR8","DOI":"10.1016\/S1574-6526(07)03013-1"},{"doi-asserted-by":"crossref","unstructured":"Condotta, J.F., Mensi, A., Nouaouri, I., Sioutis, M., Said, L.B.: A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp. 445\u2013452. IEEE (2015)","key":"1_CR9","DOI":"10.1109\/ICTAI.2015.73"},{"issue":"1\u20133","key":"1_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. Intell. 24(1\u20133), 347\u2013410 (1984)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Dylla, F., et al.: A survey of qualitative spatial and temporal calculi: algebraic and computational properties. ACM Comput. Surv. 50 (2017). article 7","key":"1_CR11","DOI":"10.1145\/3038927"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-319-01790-7_28","volume-title":"Spatial Information Theory","author":"F Dylla","year":"2013","unstructured":"Dylla, F., Mossakowski, T., Schneider, T., Wolter, D.: Algebraic properties of qualitative spatio-temporal calculi. In: Tenbrink, T., Stell, J., Galton, A., Wood, Z. (eds.) COSIT 2013. LNCS, vol. 8116, pp. 516\u2013536. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-01790-7_28"},{"doi-asserted-by":"crossref","unstructured":"Freksa, C.: Qualitative spatial reasoning. Technical report (1990)","key":"1_CR13","DOI":"10.1007\/978-94-011-2606-9_20"},{"issue":"4\u20135","key":"1_CR14","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1017\/S1471068411000329","volume":"11","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Schaub, T.: Complex optimization in answer set programming. Theory Pract. Log. Program. 11(4\u20135), 821\u2013839 (2011)","journal-title":"Theory Pract. Log. Program."},{"doi-asserted-by":"publisher","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: PySAT: a python toolkit for prototyping with SAT oracles. In: SAT, pp. 428\u2013437 (2018). https:\/\/doi.org\/10.1007\/978-3-319-94144-8_26","key":"1_CR15","DOI":"10.1007\/978-3-319-94144-8_26"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/SAT190116","volume":"11","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: RC2: an efficient MaxSAT solver. J. Satisf. Boolean Model. Comput. 11(1), 53\u201364 (2019). https:\/\/doi.org\/10.3233\/SAT190116","journal-title":"J. Satisf. Boolean Model. Comput."},{"issue":"3","key":"1_CR17","first-page":"13","volume":"37","author":"T Janhunen","year":"2016","unstructured":"Janhunen, T., Nimel\u00e4, I.: The answer set programming paradigm. AI Mag. 37(3), 13\u201324 (2016)","journal-title":"AI Mag."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-46714-2_6","volume-title":"Declarative Programming and Knowledge Management","author":"T Janhunen","year":"2020","unstructured":"Janhunen, T., Sioutis, M.: Allen\u2019s interval algebra makes the difference. In: Hofstedt, P., Abreu, S., John, U., Kuchen, H., Seipel, D. (eds.) INAP\/WLP\/WFLP -2019. LNCS (LNAI), vol. 12057, pp. 89\u201398. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-46714-2_6"},{"doi-asserted-by":"publisher","unstructured":"Kuhlmann, I., Gessler, A., Laszlo, V., Thimm, M.: A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure. In: Dupin de Saint-Cyr, F., \u00d6zt\u00fcrk-Escoffier, M., Potyka, N. (eds.) Scalable Uncertainty Management. SUM 2022. LNCS, vol. 13562, pp. 139\u2013153. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-18843-5_10","key":"1_CR19","DOI":"10.1007\/978-3-031-18843-5_10"},{"doi-asserted-by":"crossref","unstructured":"Li, J.J.: Qualitative spatial and temporal reasoning with answer set programming. In: 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, vol.\u00a01, pp. 603\u2013609. IEEE (2012)","key":"1_CR20","DOI":"10.1109\/ICTAI.2012.87"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-28633-2_8","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"G Ligozat","year":"2004","unstructured":"Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., W. Guesgen, H., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, pp. 53\u201364. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28633-2_8"},{"unstructured":"Renz, J.: Maximal tractable fragments of the region connection calculus: a complete analysis. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 448\u2013455. Morgan Kaufmann (1999). http:\/\/ijcai.org\/Proceedings\/99-1\/Papers\/065..pdf","key":"1_CR22"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1613\/jair.872","volume":"15","author":"J Renz","year":"2001","unstructured":"Renz, J., Nebel, B.: Efficient methods for qualitative spatial reasoning. J. Artif. Intell. Res. (JAIR) 15, 289\u2013318 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"doi-asserted-by":"crossref","unstructured":"Salhi, Y., Sioutis, M.: Prime scenarios in qualitative spatial and temporal reasoning. In: 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2023)","key":"1_CR24","DOI":"10.1016\/j.ic.2024.105198"},{"doi-asserted-by":"publisher","unstructured":"Schwartz, T., Wolter, D.: Computing most likely scenarios of qualitative constraint networks. In: Seipel, D., Steen, A. (eds.) KI 2023: Advances in Artificial Intelligence. KI 2023. LNCS, vol. 14236, pp. 184\u2013197. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42608-7_15","key":"1_CR25","DOI":"10.1007\/978-3-031-42608-7_15"},{"doi-asserted-by":"crossref","unstructured":"Sioutis, M.: Triangulation versus graph partitioning for tackling large real-world qualitative spatial networks. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, pp. 194\u2013201. IEEE (2014)","key":"1_CR26","DOI":"10.1109\/ICTAI.2014.37"},{"unstructured":"Sioutis, M.: Embarrassingly greedy inconsistency resolution of qualitative constraint networks. In: 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2023)","key":"1_CR27"},{"doi-asserted-by":"crossref","unstructured":"Sioutis, M., Long, Z., Janhunen, T.: On robustness in qualitative constraint networks. In: Proceedings of the Twenty-Ninth International Conference on International Joint Conferences on Artificial Intelligence, pp. 1813\u20131819 (2021)","key":"1_CR28","DOI":"10.24963\/ijcai.2020\/251"},{"doi-asserted-by":"crossref","unstructured":"Sioutis, M., Wolter, D.: Dynamic branching in qualitative constraint networks via counting local models. In: 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2020)","key":"1_CR29","DOI":"10.1016\/j.ic.2021.104787"},{"doi-asserted-by":"publisher","unstructured":"Sioutis, M., Wolter, D.: Qualitative spatial and temporal reasoning: current status and future challenges. In: Zhou, Z.H. (ed.) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, pp. 4594\u20134601. International Joint Conferences on Artificial Intelligence Organization, August 2021. https:\/\/doi.org\/10.24963\/ijcai.2021\/624, survey Track","key":"1_CR30","DOI":"10.24963\/ijcai.2021\/624"},{"doi-asserted-by":"publisher","unstructured":"Wallgr\u00fcn, J.O., Frommberger, L., Wolter, D., Dylla, F., Freksa, C.: Qualitative spatial representation and reasoning in the sparq-toolbox. In: Barkowsky, T., Knauff, M., Ligozat, G., Montello, D.R. (eds.) Spatial Cognition V Reasoning, Action, Interaction. Spatial Cognition 2006. LNCS, vol. 4387, pp. 39\u201358. Springer, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75666-8_3","key":"1_CR31","DOI":"10.1007\/978-3-540-75666-8_3"},{"doi-asserted-by":"crossref","unstructured":"Wehner, J., Sioutis, M., Wolter, D.: On robust vs fast solving of qualitative constraints. J. Heuristics 1\u201325 (2023)","key":"1_CR32","DOI":"10.1007\/s10732-023-09517-8"},{"issue":"10","key":"1_CR33","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1108\/09600031211281411","volume":"42","author":"A Wieland","year":"2012","unstructured":"Wieland, A., Wallenburg, C.M.: Dealing with supply chain risks: linking risk management practices and strategies to performance. Int. J. Phys. Distrib. Logist. Manag. 42(10), 887\u2013905 (2012). https:\/\/doi.org\/10.1108\/09600031211281411","journal-title":"Int. J. Phys. Distrib. Logist. Manag."},{"doi-asserted-by":"crossref","unstructured":"Wotawa, F., Kaufmann, D.: Model-based reasoning using answer set programming. Appl. Intell. 1\u201319 (2022)","key":"1_CR34","DOI":"10.1007\/s10489-022-03272-2"}],"container-title":["Lecture Notes in Computer Science","KI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70893-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:03:16Z","timestamp":1724929396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70893-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031708923","9783031708930"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70893-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.informatik.uni-wuerzburg.de\/ki24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}