---
title: "An ASP Semantics for Default Reasoning with Constraints"
authors:
  - "Pedro Cabalar"
  - "Roland Kaminski"
  - "Max Ostrowski"
  - "Torsten Schaub"
doi: ""
url: "https://ijcai.org/proceedings/2016/148"
pdf: "https://ijcai.org/proceedings/2016/0148.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "1015-1020"
track: ""
keywords:
---

# An ASP Semantics for Default Reasoning with Constraints

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

*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.