Toggle Main Menu Toggle Search

ePrints

SMT-based reasoning for uncertain hybrid domains

Lookup NU author(s): Fedor Shmarov, Dr Paolo Zuliani

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Shmarov F, Zuliani P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: AAAI Workshop - Technical Report

Year of Conference: 2016

Pages: 624-630

Online publication date: 29/03/2016

Acceptance date: 01/01/1900

Publisher: AI Access Foundation

URL: https://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12642

Library holdings: Search Newcastle University Library for this item

ISBN: 9781577357599


Actions

Link to this publication


Share