(aside image)

ASP(LC) Extended with Real Variables

This is an extension of answer set programming (ASP) where rules and linear constraints over reals are used together for modeling.

Prototype Implementation

Simple Example

Related Articles

G. Liu, T. Janhunen, and I. Niemelš: Introducing Real Variables and MIP Objective Functions to Answer Set Programming. Submitted for publication.