Keyword:Temporal Answer Set Programming

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