SMT-Based Reasoning for Uncertain Hybrid Domains.

Fedor Shmarov Paolo Zuliani

Published in: AAAI Workshop: Planning for Hybrid Systems (2016)

Keyphrases

decision making
real world
application domains
artificial neural networks
cross domain
hybrid approaches
information systems
similarity measure
transfer learning
complex domains
blocks world