Automated reasoning for city infrastructure maintenance decision support

Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du, Mahesar Quratulain, Kareem Al Ammari, Anthony G. Cohn

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Automated reasoning for city infrastructure maintenance decision support'. Together they form a unique fingerprint.

Keyphrases

Computer Science