Listar por tema "answer set programming"

Mostrando ítems 1-3 de 3

    • Linear-Time Temporal Answer Set Programming 

      Aguado, Felicidad; Cabalar, Pedro; Diéguez Lodeiro, Martín; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción (Cambridge University Press, 2023)
      [Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ...

    • Model Explanation via Support Graphs 

      Cabalar, Pedro; Muñiz, Brais (Cambridge Univeristy Press, 2024-02)
      [Absctract]: In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom in the model, induces a proof ...

    • On the semantics of hybrid ASP systems based on Clingo 

      Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Wanko, Philipp (MDPI, 2023-03)
      [Abstract]: Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult ...