Content: Publications

Publications by Pedro Cabalar

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)

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Lower Bound Founded Logic of Here-and-There

the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'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)

Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

Temporal Answer Set Programming on Finite Traces

Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 406-420 (2018)

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

An ASP Semantics for Default Reasoning with Constraints

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)