{"type":"ScholarlyArticle","title":"An ASP Semantics for Default Reasoning with Constraints","authors":[{"name":"Pedro Cabalar","slug":"pedro-cabalar","given":"Pedro","family":"Cabalar","affiliation":""},{"name":"Roland Kaminski","slug":"roland-kaminski","given":"Roland","family":"Kaminski","affiliation":""},{"name":"Max Ostrowski","slug":"max-ostrowski","given":"Max","family":"Ostrowski","affiliation":""},{"name":"Torsten Schaub","slug":"torsten-schaub","given":"Torsten","family":"Schaub","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/148","pdf":"https://ijcai.org/proceedings/2016/0148.pdf","markdown":"https://ijcai.org/proceedings/2016/148.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/148","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":148,"pages":{"first":1015,"last":1020},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}