Vol-2367⫷ Vol-2368 ⫸Vol-2369
urn:nbn:de:0074-2368-0


Vol-2368/invited2⫷Vol-2368/invited3⫸Vol-2368/invited4

Dynamic and Temporal Answer Set Programming on Linear Finite Traces