Dynamic and Temporal Answer Set Programming on Linear Finite Traces

By Pedro Cabalar and Torsten Schaub,
University of Corunna, Spain and University of Potsdam, Germany

Download Paper