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

Francesco Chiariello
November, 2023
Cite
Type
Conference paper
Publication
OVERLAY@AI*IA