Listar Information Retrieval Lab (IRlab) por autor "Farinas del Cerro, Luis"
Mostrando ítems 1-1 de 1
-
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 ...