Keyword:Temporal Answer Set Programming

Papers
Temporal Answer Set Programming on Finite Traces Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann EasyChair Preprint no. 199