Logo des Repositoriums

P266 - BTW2017 - Datenbanksysteme für Business, Technologie und Web - Workshopband

https://dl.gi.de/handle/20.500.12116/21091
Auflistung nach:

Auflistung P266 - BTW2017 - Datenbanksysteme für Business, Technologie und Web - Workshopband nach Schlagwort "Answer Set Programming"

1 - 1 von 1
  • Konferenzbeitrag
    asprin: Answer Set Programming with Preferences
    (Datenbanksysteme für Business, Technologie und Web (BTW 2017) - Workshopband, 2017) Romero, Javier
    Answer Set Programming (ASP) is a well established approach to declarative problem solving, combining a rich yet simple modeling language with high-performance solving capacities. In this talk we present asprin, a general, flexible and extensible framework for preferences in ASP. asprin is general and captures many of the existing approaches to preferences. It is flexible, because it allows for the combination of different types of preferences. It is also extensible, allowing for an easy implementation of new approaches to preferences. Since it is straightforward to capture propositional theories and constraint satisfaction problems in ASP, the framework is also relevant to optimization in Satisfiability Testing and Constraint Processing.