Formalisation of Action with Durations in Answer Set Programming

Open in new window