Content: Publications

Publications by Martın Dieguez

Pedro Cabalar, Martın Dieguez, Torsten Schaub

Towards Dynamic Answer Set Programming over Finite Traces

the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19) (2019)

Anne-Gwenn Bosser, Pedro Cabalar, Martın Dieguez, Torsten Schaub

Introducing Temporal Stable Models for Linear Dynamic Logic

the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018)