Stream Reasoning with Cycles

Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis

Abstract: Temporal specifications, such as those found in multi-agent systems, often include cyclic dependencies. Moreover, there is an increasing need to evaluate such specifications in an online manner, up...