Listar por autor "Schaub, Torsten"

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 ...

    • Metric dynamic equilibrium logic 

      Becker, Arvid; Cabalar, Pedro; Diéguez Lodeiro, Martín; Farinas del Cerro, Luis; Schaub, Torsten; Schuhmann, Anna (Taylor and Francis Ltd., 2023)
      [Abstract]: In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behaviour of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it ...

    • 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 ...