Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Abstract

Answer set programming languages have been extended to support linear constraints and objective functions. However, the variables allowed in the constraints and functions are restricted to integer and Boolean domains, respectively. In this paper, we generalize the domain of linear constraints to real numbers and that of objective functions to integers. Since these extensions are based on a translation from logic programs to mixed integer programs, we compare the translation-based answer set programming approach with the native mixed integer programming approach using a number of benchmark problems.

Details

Original languageEnglish
Title of host publicationInternational Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
EditorsMichael Hanus, Ricardo Rocha
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Applications of Declarative Programming and Knowledge Management - Kiel, Germany
Duration: 11 Sep 201313 Sep 2013
Conference number: 20

Publication series

NameLecture Notes in Computer Science
Volume8439 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Applications of Declarative Programming and Knowledge Management
Abbreviated titleINAP
CountryGermany
CityKiel
Period11/09/201313/09/2013

ID: 570571