Automated Reasoning for City Infrastructure Maintenance Decision Support

Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du, Quratul-ain Mahesar, Kareem Al Ammari, Anthony G. Cohn. Automated Reasoning for City Infrastructure Maintenance Decision Support. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 5877-5879, ijcai.org, 2018. [doi]

Authors

Lijun Wei

This author has not been identified. Look up 'Lijun Wei' in Google

Derek R. Magee

This author has not been identified. Look up 'Derek R. Magee' in Google

Vania Dimitrova

This author has not been identified. Look up 'Vania Dimitrova' in Google

Barry Clarke

This author has not been identified. Look up 'Barry Clarke' in Google

Heshan Du

This author has not been identified. Look up 'Heshan Du' in Google

Quratul-ain Mahesar

This author has not been identified. Look up 'Quratul-ain Mahesar' in Google

Kareem Al Ammari

This author has not been identified. Look up 'Kareem Al Ammari' in Google

Anthony G. Cohn

This author has not been identified. Look up 'Anthony G. Cohn' in Google