An ASP Semantics for Default Reasoning with Constraints
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1015-1020.
Abstract
We introduce the logic of Here-and-There with Constraints in order to capture constraint theories in the non-monotonic setting known from Answer Set Programming (ASP). This allows for assigning default values to constraint variables or to leave them undefined. Also, it provides us with a semantic framework integrating ASP and Constraint Processing in a uniform way. We put some emphasis on logic programs dealing with linear constraints on integer variables, where we further introduce a directional assignment operator. We elaborate upon the formal relation and implementation of these programs in terms of Constraint ASP, sketching an existing system.
@inproceedings{ijcai2016p148,
title = {An ASP Semantics for Default Reasoning with Constraints},
author = {Cabalar, Pedro and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1015--1020},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/148},
}
TY - CPAPER TI - An ASP Semantics for Default Reasoning with Constraints AU - Cabalar, Pedro AU - Kaminski, Roland AU - Ostrowski, Max AU - Schaub, Torsten T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1015 EP - 1020 UR - https://ijcai.org/proceedings/2016/148 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
