{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T10:04:45Z","timestamp":1760609085643},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:p>We present an interactive decision support system for assisting city infrastructure inter-asset management. It combines real-time site specific data retrieval, a knowledge base co-created with domain experts and an inference engine capable of predicting potential consequences and risks resulting from the available data and knowledge. The system can give explanations of each consequence, cope with incomplete and uncertain data by making assumptions about what might be the worst case scenario, and making suggestions for further investigation. This demo\u00a0presents multiple real-world scenarios, and demonstrates how modifying assumptions (parameter values) can lead to different consequences.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/868","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:49:10Z","timestamp":1530755350000},"page":"5877-5879","source":"Crossref","is-referenced-by-count":3,"title":["Automated Reasoning for City Infrastructure Maintenance Decision Support"],"prefix":"10.24963","author":[{"given":"Lijun","family":"Wei","sequence":"first","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]},{"given":"Derek R.","family":"Magee","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]},{"given":"Vania","family":"Dimitrova","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]},{"given":"Barry","family":"Clarke","sequence":"additional","affiliation":[{"name":"School of Civil Engineering, University of Leeds, United Kingdom"}]},{"given":"Heshan","family":"Du","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"},{"name":"School of Computer Science, University of Nottingham Ningbo China"}]},{"given":"Quratul-ain","family":"Mahesar","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]},{"given":"Kareem","family":"Al Ammari","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]},{"given":"Anthony G.","family":"Cohn","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:56:34Z","timestamp":1530755794000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/868"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/868","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}