Vol-3628⫷ Vol-3629 ⫸Vol-3630
urn:nbn:de:0074-3629-0


Vol-3629/paper5⫷Vol-3629/paper6⫸Vol-3629/paper7

Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining information