Automated Reasoning for City Infrastructure Maintenance Decision Support.
Lijun WeiDerek R. MageeVania DimitrovaBarry ClarkeHeshan DuQuratul-ain MahesarKareem Al AmmariAnthony G. CohnPublished in: IJCAI (2018)
Keyphrases
- automated reasoning
- decision support
- reasoning systems
- decision procedures
- smart city
- decision support system
- knowledge representation
- theorem proving
- reasoning tasks
- theorem prover
- automated verification
- data warehouse
- decision making
- probabilistic reasoning
- product configuration
- data warehousing
- business intelligence
- decision makers
- data mining
- knowledge discovery
- knowledge representation and reasoning
- cancer treatment
- machine learning
- constraint satisfaction
- databases
- knowledge management
- general purpose
- expert systems
- metadata