SMT-based reasoning for uncertain hybrid domains

  1. Lookup NU author(s)
  2. Fedor Shmarov
  3. Dr Paolo Zuliani
Author(s)Shmarov F, Zuliani P
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference NameAAAI Workshop - Technical Report
Conference LocationPhoenix, Arizona USA
Year of Conference2016
Source Publication Date2016
VolumeWS-16-01 - WS-16-15
Pages624-630
ISBN9781577357599
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherAI Access Foundation
URLhttps://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12642
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item
Share