Logo des Repositoriums

Auflistung nach Autor:in "Romero, Javier"

1 - 3 von 3
  • Journal
    Advanced Solving Technology for Dynamic and Reactive Applications
    (KI - Künstliche Intelligenz: Vol. 32, No. 2-3, 2018) Brewka, Gerhard; Ellmauthaler, Stefan; Kern-Isberner, Gabriele; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schieweck, Steffen
  • 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.
  • Journal
    The Potsdam Answer Set Solving Collection 5.0
    (KI - Künstliche Intelligenz: Vol. 32, No. 2-3, 2018) Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Lühne, Patrick; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schellhorn, Sebastian; Wanko, Philipp