Publications by Martın Dieguez
Towards Dynamic Answer Set Programming over Finite Traces
the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19) (2019)
Introducing Temporal Stable Models for Linear Dynamic Logic
the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018)