Elffers, J., Gocht, S., McCreesh, C. and Nordström, J. (2020) Justifying All Differences Using Pseudo-Boolean Reasoning. In: Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York, NY, USA, 07-12 Feb 2020, pp. 1486-1494.
|
Text
204158.pdf - Accepted Version 303kB |
Publisher's URL: https://aaai.org/Library/AAAI/aaai20contents-issue02.php
Abstract
No abstract available.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Mccreesh, Dr Ciaran |
Authors: | Elffers, J., Gocht, S., McCreesh, C., and Nordström, J. |
College/School: | College of Science and Engineering > School of Computing Science |
ISSN: | 2159-5399 |
Copyright Holders: | Copyright © 2020 Association for the Advancement of Artificial Intelligence |
Publisher Policy: | Reproduced in accordance with the copyright policy of the publisher |
Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record