Efficient Solving of Time-dependent Answer Set Programs.

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock

Browse the full ICLP paper archive.