An ASP Semantics for Default Reasoning with Constraints
In Proc. Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16), pp. 1015-1021
| Authors: | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
|---|---|
| Type: | Article in Conference Proceedings |
| Publication Date: | July 2016 |
| Conference: | Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) |
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.
BibTeX@InProceedings{cakaossc16a-2016,
title = {{An ASP Semantics for Default Reasoning with Constraints}},
author = {Pedro Cabalar and Roland Kaminski and Max Ostrowski and Torsten Schaub},
booktitle = {Proc. of Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16)},
year = {2016},
pages = {1015-1021},
}