Content: Publications

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},
}