Justifying All Differences Using Pseudo-Boolean Reasoning

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.

[img]
Preview
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

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
300525Modelling and Optimisation with GraphsPatrick ProsserEngineering and Physical Sciences Research Council (EPSRC)EP/P026842/1Computing Science